From flirts@mail.informatik.uni-bremen.de Fri Apr 26 14:26:51 2002 From: flirts@mail.informatik.uni-bremen.de (Till Mossakowski) Date: Fri, 26 Apr 2002 15:26:51 +0200 Subject: [Flirts] Initial test of the FLIRTS list Message-ID: <3CC9559B.287E8E97@tzi.de> Initial test of the FLIRTS list -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From flirts@mail.informatik.uni-bremen.de Thu May 9 09:54:03 2002 From: flirts@mail.informatik.uni-bremen.de (Till Mossakowski) Date: Thu, 09 May 2002 10:54:03 +0200 Subject: [Flirts] 3rd FLIRTS workshop, 24th to 27th September 2002 Message-ID: <3CDA392B.7443CC7E@tzi.de> FORMALISMS, LOGICS, INSTITUTIONS - RELATING, TRANSLATING, STRUCTURING 3rd FLIRTS Workshop, as part of WADT, 24th to 27th September 2002 BACKGROUND The notion of institution and similar meta-notions try to capture the essence of what a logical system is. With this, it is possible to develop concepts for the strucuring of specifications, parameterization, implementation, refinement, development, proof calculi and even tools in a way completely independent of the underlying logical system. There are also morphisms that allow to relate and translate logical systems. Important applications of this are re-use of logical structure (also called borrowing), heterogeneous specification and combination of logics. FLIRTS home page, bibliography and mailing list: http://www.tzi.de/flirts AIMS AND SCOPE The FLIRTS workshops on Formalisms, Logics, Institutions - Relating, Translating, Structuring aims at bringing together researchers working on foundations as well as researches who want to apply the theory to specific institutions. Topics include (but are not limited to): Formalizing particular logics as institutions Institution-independent model theory for structured specification, refinement, etc. Institution-independent proof theory Metaformalisms and metatheorems Morphisms and borrowing of logical structure Combination of institutions/logics Heterogeneous specification LOCATION AND DATE The 3rd FLIRTS workshop will be part of the 16th International Workshop on Algebraic Development Techniques (WADT), 24th to 27th September 2002, near Munich, Germany. See http://www.pst.informatik.uni-muenchen.de/wadt2002/ SUBMISSION Just submit your abstracts to the WADT, indicate that it is FLIRTS-relevant, and then the FLIRTS-relevants talks will be collected into a special track. You have to sumbit a 2-page abstract, deadline is 31 May, 2002. After the workshop, authors of selected abstracts will be invited to submit a full paper for the refereed proceedings, which will be published as a volume of Springer Lecture Notes in Computer Science. FURTHER INFO: http://www.tzi.de/flirts -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From flirts@mail.informatik.uni-bremen.de Thu May 9 10:09:38 2002 From: flirts@mail.informatik.uni-bremen.de (Amilcar Sernadas) Date: Thu, 09 May 2002 10:09:38 +0100 Subject: [Flirts] 3rd FLIRTS workshop, 24th to 27th September 2002 In-Reply-To: <3CDA392B.7443CC7E@tzi.de> Message-ID: <5.1.0.14.0.20020509100859.02e87008@pop.math.ist.utl.pt> hi! we shall be there... best amilcar (on behalf of the Lisbon-FLIRTS crowd) At 10:54 09-05-2002 +0200, you wrote: >FORMALISMS, LOGICS, INSTITUTIONS - RELATING, TRANSLATING, STRUCTURING > >3rd FLIRTS Workshop, as part of WADT, 24th to 27th September 2002 > >BACKGROUND > >The notion of institution and similar meta-notions try to capture the >essence of what a logical system is. With this, it is possible to >develop concepts for the strucuring of specifications, >parameterization, implementation, refinement, development, proof >calculi and even tools in a way completely independent of the >underlying logical system. There are also morphisms that allow to >relate and translate logical systems. Important applications of this >are re-use of logical structure (also called borrowing), heterogeneous >specification and combination of logics. >FLIRTS home page, bibliography and mailing list: http://www.tzi.de/flirts > >AIMS AND SCOPE > >The FLIRTS workshops on Formalisms, Logics, Institutions - Relating, >Translating, Structuring aims at bringing together researchers working >on foundations as well as researches who want to apply the theory to >specific institutions. Topics include (but are not limited to): > > Formalizing particular logics as institutions > Institution-independent model theory for structured specification, > refinement, etc. > Institution-independent proof theory > Metaformalisms and metatheorems > Morphisms and borrowing of logical structure > Combination of institutions/logics > Heterogeneous specification > >LOCATION AND DATE > >The 3rd FLIRTS workshop will be part of the 16th International >Workshop on Algebraic Development Techniques (WADT), >24th to 27th September 2002, near Munich, Germany. >See http://www.pst.informatik.uni-muenchen.de/wadt2002/ > >SUBMISSION > >Just submit your abstracts to the WADT, indicate that it is >FLIRTS-relevant, and then the FLIRTS-relevants talks will be collected >into a special track. >You have to sumbit a 2-page abstract, deadline is 31 May, 2002. >After the workshop, authors of selected abstracts will be invited to >submit a full paper for the refereed proceedings, which will be >published as a volume of Springer Lecture Notes in Computer Science. > >FURTHER INFO: http://www.tzi.de/flirts > >-- >Till Mossakowski Phone +49-421-218-4683 >Dept. of Computer Science Fax +49-421-218-3054 >University of Bremen till@tzi.de >P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till >_______________________________________________ >Flirts mailing list >Flirts@mail.informatik.uni-bremen.de >http://www.informatik.uni-bremen.de/mailman/listinfo/flirts ++++++++++++++++++++++++++++++++++++++++++++++++++ Amilcar Sernadas Departamento de Matematica Instituto Superior Tecnico Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL tel: 351-21-8417150 fax: 351-21-8417598 e-mail: acs@math.ist.utl.pt www: http://www.cs.math.ist.utl.pt/cs/acs.html ++++++++++++++++++++++++++++++++++++++++++++++++++ From flirts@mail.informatik.uni-bremen.de Wed Jul 24 09:45:52 2002 From: flirts@mail.informatik.uni-bremen.de (Till Mossakowski) Date: Wed, 24 Jul 2002 10:45:52 +0200 Subject: [Flirts] Special FLIRTS track at WADT Message-ID: <3D3E6940.BBFA09A6@tzi.de> Dear FLIRTS friends, as the first event of the FLIRTS revival, there will be a special FLIRTS track at the WADT'02, consisting of nine talks ! The WADT takes place on September 24-27, 2002, at Frauenchiemsee, Germany. For Program & Registration Information see http://www.pst.informatik.uni-muenchen.de/wadt2002/ Hoping to see many of you in Frauenchiemsee, Till Talks of the special FLIRTS track ---------------------------------- Module Composition over Inclusive Institutions J. Goguen (University of California at San Diego) and G. Rosu (University of Illinois at Urbana-Champaign) Using an Institution Encoding for Proving Consequeces of Structured COL-Specifications M. Bidoit (CNRS & ENS de Cachan) and R. Hennicker (Ludwig-Maximilians-Universität München) Graph Colouring Institutions G. Scollo (Università di Verona) The General Logic of Multialgebras Y. Lamo and M. Walicki (University of Bergen) Translating Logics for Coalgebras D. Pattinson (Ludwig-Maximilians-Universität München) and A. Kurz (CWI, Amsterdam) An Institution for Mixed Specifications M. Aiguier, F. Barbier and P. Poizat (Université d'Évry Val d'Essonne) Foundations of Heterogeneous CASL T. Mossakowski (University of Bremen) Completeness Results for Fibred Parchments: Beyond the Propositional-Base C. Caleiro and J. Ramos (CLC, Lisbon) Presenting and Combining Inference Systems W. Pawlowski (Polish Academy of Sciences) -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From flirts@mail.informatik.uni-bremen.de Wed Jul 24 09:47:30 2002 From: flirts@mail.informatik.uni-bremen.de (Amilcar Sernadas) Date: Wed, 24 Jul 2002 09:47:30 +0100 Subject: [Flirts] CombLog'04 very early announcement Message-ID: <5.1.0.14.0.20020724094410.00b19cf0@pop.math.ist.utl.pt> If you are interested in the topic do not hesitate to contact us! http://www.cs.math.ist.utl.pt/comblog04/ Amilcar %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CombLog'04 Workshop on Combination of Logics: Theory and Applications Preliminary announcement Department of Mathematics, IST, Lisbon, Portugal July 28-30, 2004 Topics · Fibring, fusion, splicing, splitting, synchronization, temporalization · Transference results · Logics for software specification · Logics for security · Logics for formal ethics Executive Committee · Walter A. Carnielli · Marcelo E. Coniglio · Paulo Mateus · Amílcar Sernadas (chair) Publication · Electronic publication of extended abstracts · International publication of volume with selected full papers Sponsors · CLC: Center for Logic and Computation, IST, Lisbon, Portugal · CLE: Centre for Logic, Epistemology and the History of Science, UNICAMP, Campinas, Brazil Follow-up · Keynote speakers and call for contributions to be announced by October 2003 http://www.cs.math.ist.utl.pt/comblog04/ For further information contact: acs@math.ist.utl.pt ++++++++++++++++++++++++++++++++++++++++++++++++++ Amilcar Sernadas Departamento de Matematica Instituto Superior Tecnico Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL tel: 351-21-8417150 fax: 351-21-8417598 e-mail: acs@math.ist.utl.pt www: http://www.cs.math.ist.utl.pt/cs/acs.html ++++++++++++++++++++++++++++++++++++++++++++++++++ From flirts@mail.informatik.uni-bremen.de Thu Sep 5 22:52:55 2002 From: flirts@mail.informatik.uni-bremen.de (Till Mossakowski) Date: Thu, 05 Sep 2002 23:52:55 +0200 Subject: [Flirts] Paper: Implementing logics: from genericity to heterogeneity Message-ID: <3D77D237.F3B888BE@tzi.de> Dear friends, I would like to announce to you the new paper (jointly with Klaus Luettich) Implementing logics: from genericity to heterogeneity avaibale at http://www.informatik.uni-bremen.de/~till/publications.html Greetings, Till Abstract We show how to write an abstract interface corresponding to Meseguer's concept of general logic in Haskell. Based on this, we develop a tool set for structured specifications that are based on such logics, consisting of a parser, a static analysis and a theorem prover. While with Standard ML functors, it is only possible to be generic over an arbitrary logic, we show how true heterogeneity (i.e. for specifications involving simultaneously different logics) is achieved in Haskell. Concerning genericity, it is folklore that Standard ML functors can be simulated in Haskell using multiparameter type classes with functional dependencies. On top of this, heterogeneity is achieved using existential and dynamic types. -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From till at tzi.de Fri Apr 26 15:26:51 2002 From: till at tzi.de (Till Mossakowski) Date: Thu Aug 18 10:12:46 2005 Subject: [Flirts] Initial test of the FLIRTS list Message-ID: <3CC9559B.287E8E97@tzi.de> Initial test of the FLIRTS list -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From till at tzi.de Thu May 9 10:54:03 2002 From: till at tzi.de (Till Mossakowski) Date: Thu Aug 18 10:12:46 2005 Subject: [Flirts] 3rd FLIRTS workshop, 24th to 27th September 2002 Message-ID: <3CDA392B.7443CC7E@tzi.de> FORMALISMS, LOGICS, INSTITUTIONS - RELATING, TRANSLATING, STRUCTURING 3rd FLIRTS Workshop, as part of WADT, 24th to 27th September 2002 BACKGROUND The notion of institution and similar meta-notions try to capture the essence of what a logical system is. With this, it is possible to develop concepts for the strucuring of specifications, parameterization, implementation, refinement, development, proof calculi and even tools in a way completely independent of the underlying logical system. There are also morphisms that allow to relate and translate logical systems. Important applications of this are re-use of logical structure (also called borrowing), heterogeneous specification and combination of logics. FLIRTS home page, bibliography and mailing list: http://www.tzi.de/flirts AIMS AND SCOPE The FLIRTS workshops on Formalisms, Logics, Institutions - Relating, Translating, Structuring aims at bringing together researchers working on foundations as well as researches who want to apply the theory to specific institutions. Topics include (but are not limited to): Formalizing particular logics as institutions Institution-independent model theory for structured specification, refinement, etc. Institution-independent proof theory Metaformalisms and metatheorems Morphisms and borrowing of logical structure Combination of institutions/logics Heterogeneous specification LOCATION AND DATE The 3rd FLIRTS workshop will be part of the 16th International Workshop on Algebraic Development Techniques (WADT), 24th to 27th September 2002, near Munich, Germany. See http://www.pst.informatik.uni-muenchen.de/wadt2002/ SUBMISSION Just submit your abstracts to the WADT, indicate that it is FLIRTS-relevant, and then the FLIRTS-relevants talks will be collected into a special track. You have to sumbit a 2-page abstract, deadline is 31 May, 2002. After the workshop, authors of selected abstracts will be invited to submit a full paper for the refereed proceedings, which will be published as a volume of Springer Lecture Notes in Computer Science. FURTHER INFO: http://www.tzi.de/flirts -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From acs at math.ist.utl.pt Thu May 9 11:09:38 2002 From: acs at math.ist.utl.pt (Amilcar Sernadas) Date: Thu Aug 18 10:12:46 2005 Subject: [Flirts] 3rd FLIRTS workshop, 24th to 27th September 2002 In-Reply-To: <3CDA392B.7443CC7E@tzi.de> Message-ID: <5.1.0.14.0.20020509100859.02e87008@pop.math.ist.utl.pt> hi! we shall be there... best amilcar (on behalf of the Lisbon-FLIRTS crowd) At 10:54 09-05-2002 +0200, you wrote: >FORMALISMS, LOGICS, INSTITUTIONS - RELATING, TRANSLATING, STRUCTURING > >3rd FLIRTS Workshop, as part of WADT, 24th to 27th September 2002 > >BACKGROUND > >The notion of institution and similar meta-notions try to capture the >essence of what a logical system is. With this, it is possible to >develop concepts for the strucuring of specifications, >parameterization, implementation, refinement, development, proof >calculi and even tools in a way completely independent of the >underlying logical system. There are also morphisms that allow to >relate and translate logical systems. Important applications of this >are re-use of logical structure (also called borrowing), heterogeneous >specification and combination of logics. >FLIRTS home page, bibliography and mailing list: http://www.tzi.de/flirts > >AIMS AND SCOPE > >The FLIRTS workshops on Formalisms, Logics, Institutions - Relating, >Translating, Structuring aims at bringing together researchers working >on foundations as well as researches who want to apply the theory to >specific institutions. Topics include (but are not limited to): > > Formalizing particular logics as institutions > Institution-independent model theory for structured specification, > refinement, etc. > Institution-independent proof theory > Metaformalisms and metatheorems > Morphisms and borrowing of logical structure > Combination of institutions/logics > Heterogeneous specification > >LOCATION AND DATE > >The 3rd FLIRTS workshop will be part of the 16th International >Workshop on Algebraic Development Techniques (WADT), >24th to 27th September 2002, near Munich, Germany. >See http://www.pst.informatik.uni-muenchen.de/wadt2002/ > >SUBMISSION > >Just submit your abstracts to the WADT, indicate that it is >FLIRTS-relevant, and then the FLIRTS-relevants talks will be collected >into a special track. >You have to sumbit a 2-page abstract, deadline is 31 May, 2002. >After the workshop, authors of selected abstracts will be invited to >submit a full paper for the refereed proceedings, which will be >published as a volume of Springer Lecture Notes in Computer Science. > >FURTHER INFO: http://www.tzi.de/flirts > >-- >Till Mossakowski Phone +49-421-218-4683 >Dept. of Computer Science Fax +49-421-218-3054 >University of Bremen till@tzi.de >P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till >_______________________________________________ >Flirts mailing list >Flirts@mail.informatik.uni-bremen.de >http://www.informatik.uni-bremen.de/mailman/listinfo/flirts ++++++++++++++++++++++++++++++++++++++++++++++++++ Amilcar Sernadas Departamento de Matematica Instituto Superior Tecnico Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL tel: 351-21-8417150 fax: 351-21-8417598 e-mail: acs@math.ist.utl.pt www: http://www.cs.math.ist.utl.pt/cs/acs.html ++++++++++++++++++++++++++++++++++++++++++++++++++ From till at tzi.de Wed Jul 24 10:45:52 2002 From: till at tzi.de (Till Mossakowski) Date: Thu Aug 18 10:12:46 2005 Subject: [Flirts] Special FLIRTS track at WADT Message-ID: <3D3E6940.BBFA09A6@tzi.de> Dear FLIRTS friends, as the first event of the FLIRTS revival, there will be a special FLIRTS track at the WADT'02, consisting of nine talks ! The WADT takes place on September 24-27, 2002, at Frauenchiemsee, Germany. For Program & Registration Information see http://www.pst.informatik.uni-muenchen.de/wadt2002/ Hoping to see many of you in Frauenchiemsee, Till Talks of the special FLIRTS track ---------------------------------- Module Composition over Inclusive Institutions J. Goguen (University of California at San Diego) and G. Rosu (University of Illinois at Urbana-Champaign) Using an Institution Encoding for Proving Consequeces of Structured COL-Specifications M. Bidoit (CNRS & ENS de Cachan) and R. Hennicker (Ludwig-Maximilians-Universit?t M?nchen) Graph Colouring Institutions G. Scollo (Universit? di Verona) The General Logic of Multialgebras Y. Lamo and M. Walicki (University of Bergen) Translating Logics for Coalgebras D. Pattinson (Ludwig-Maximilians-Universit?t M?nchen) and A. Kurz (CWI, Amsterdam) An Institution for Mixed Specifications M. Aiguier, F. Barbier and P. Poizat (Universit? d'?vry Val d'Essonne) Foundations of Heterogeneous CASL T. Mossakowski (University of Bremen) Completeness Results for Fibred Parchments: Beyond the Propositional-Base C. Caleiro and J. Ramos (CLC, Lisbon) Presenting and Combining Inference Systems W. Pawlowski (Polish Academy of Sciences) -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From acs at math.ist.utl.pt Wed Jul 24 10:47:30 2002 From: acs at math.ist.utl.pt (Amilcar Sernadas) Date: Thu Aug 18 10:12:46 2005 Subject: [Flirts] CombLog'04 very early announcement Message-ID: <5.1.0.14.0.20020724094410.00b19cf0@pop.math.ist.utl.pt> If you are interested in the topic do not hesitate to contact us! http://www.cs.math.ist.utl.pt/comblog04/ Amilcar %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CombLog'04 Workshop on Combination of Logics: Theory and Applications Preliminary announcement Department of Mathematics, IST, Lisbon, Portugal July 28-30, 2004 Topics ? Fibring, fusion, splicing, splitting, synchronization, temporalization ? Transference results ? Logics for software specification ? Logics for security ? Logics for formal ethics Executive Committee ? Walter A. Carnielli ? Marcelo E. Coniglio ? Paulo Mateus ? Am?lcar Sernadas (chair) Publication ? Electronic publication of extended abstracts ? International publication of volume with selected full papers Sponsors ? CLC: Center for Logic and Computation, IST, Lisbon, Portugal ? CLE: Centre for Logic, Epistemology and the History of Science, UNICAMP, Campinas, Brazil Follow-up ? Keynote speakers and call for contributions to be announced by October 2003 http://www.cs.math.ist.utl.pt/comblog04/ For further information contact: acs@math.ist.utl.pt ++++++++++++++++++++++++++++++++++++++++++++++++++ Amilcar Sernadas Departamento de Matematica Instituto Superior Tecnico Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL tel: 351-21-8417150 fax: 351-21-8417598 e-mail: acs@math.ist.utl.pt www: http://www.cs.math.ist.utl.pt/cs/acs.html ++++++++++++++++++++++++++++++++++++++++++++++++++ From till at tzi.de Thu Sep 5 23:52:55 2002 From: till at tzi.de (Till Mossakowski) Date: Thu Aug 18 10:12:46 2005 Subject: [Flirts] Paper: Implementing logics: from genericity to heterogeneity Message-ID: <3D77D237.F3B888BE@tzi.de> Dear friends, I would like to announce to you the new paper (jointly with Klaus Luettich) Implementing logics: from genericity to heterogeneity avaibale at http://www.informatik.uni-bremen.de/~till/publications.html Greetings, Till Abstract We show how to write an abstract interface corresponding to Meseguer's concept of general logic in Haskell. Based on this, we develop a tool set for structured specifications that are based on such logics, consisting of a parser, a static analysis and a theorem prover. While with Standard ML functors, it is only possible to be generic over an arbitrary logic, we show how true heterogeneity (i.e. for specifications involving simultaneously different logics) is achieved in Haskell. Concerning genericity, it is folklore that Standard ML functors can be simulated in Haskell using multiparameter type classes with functional dependencies. On top of this, heterogeneity is achieved using existential and dynamic types. -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From till at tzi.de Fri Apr 26 15:26:51 2002 From: till at tzi.de (Till Mossakowski) Date: Tue Aug 30 15:43:11 2005 Subject: [Flirts] Initial test of the FLIRTS list Message-ID: <3CC9559B.287E8E97@tzi.de> Initial test of the FLIRTS list -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From till at tzi.de Thu May 9 10:54:03 2002 From: till at tzi.de (Till Mossakowski) Date: Tue Aug 30 15:43:11 2005 Subject: [Flirts] 3rd FLIRTS workshop, 24th to 27th September 2002 Message-ID: <3CDA392B.7443CC7E@tzi.de> FORMALISMS, LOGICS, INSTITUTIONS - RELATING, TRANSLATING, STRUCTURING 3rd FLIRTS Workshop, as part of WADT, 24th to 27th September 2002 BACKGROUND The notion of institution and similar meta-notions try to capture the essence of what a logical system is. With this, it is possible to develop concepts for the strucuring of specifications, parameterization, implementation, refinement, development, proof calculi and even tools in a way completely independent of the underlying logical system. There are also morphisms that allow to relate and translate logical systems. Important applications of this are re-use of logical structure (also called borrowing), heterogeneous specification and combination of logics. FLIRTS home page, bibliography and mailing list: http://www.tzi.de/flirts AIMS AND SCOPE The FLIRTS workshops on Formalisms, Logics, Institutions - Relating, Translating, Structuring aims at bringing together researchers working on foundations as well as researches who want to apply the theory to specific institutions. Topics include (but are not limited to): Formalizing particular logics as institutions Institution-independent model theory for structured specification, refinement, etc. Institution-independent proof theory Metaformalisms and metatheorems Morphisms and borrowing of logical structure Combination of institutions/logics Heterogeneous specification LOCATION AND DATE The 3rd FLIRTS workshop will be part of the 16th International Workshop on Algebraic Development Techniques (WADT), 24th to 27th September 2002, near Munich, Germany. See http://www.pst.informatik.uni-muenchen.de/wadt2002/ SUBMISSION Just submit your abstracts to the WADT, indicate that it is FLIRTS-relevant, and then the FLIRTS-relevants talks will be collected into a special track. You have to sumbit a 2-page abstract, deadline is 31 May, 2002. After the workshop, authors of selected abstracts will be invited to submit a full paper for the refereed proceedings, which will be published as a volume of Springer Lecture Notes in Computer Science. FURTHER INFO: http://www.tzi.de/flirts -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From acs at math.ist.utl.pt Thu May 9 11:09:38 2002 From: acs at math.ist.utl.pt (Amilcar Sernadas) Date: Tue Aug 30 15:43:11 2005 Subject: [Flirts] 3rd FLIRTS workshop, 24th to 27th September 2002 In-Reply-To: <3CDA392B.7443CC7E@tzi.de> Message-ID: <5.1.0.14.0.20020509100859.02e87008@pop.math.ist.utl.pt> hi! we shall be there... best amilcar (on behalf of the Lisbon-FLIRTS crowd) At 10:54 09-05-2002 +0200, you wrote: >FORMALISMS, LOGICS, INSTITUTIONS - RELATING, TRANSLATING, STRUCTURING > >3rd FLIRTS Workshop, as part of WADT, 24th to 27th September 2002 > >BACKGROUND > >The notion of institution and similar meta-notions try to capture the >essence of what a logical system is. With this, it is possible to >develop concepts for the strucuring of specifications, >parameterization, implementation, refinement, development, proof >calculi and even tools in a way completely independent of the >underlying logical system. There are also morphisms that allow to >relate and translate logical systems. Important applications of this >are re-use of logical structure (also called borrowing), heterogeneous >specification and combination of logics. >FLIRTS home page, bibliography and mailing list: http://www.tzi.de/flirts > >AIMS AND SCOPE > >The FLIRTS workshops on Formalisms, Logics, Institutions - Relating, >Translating, Structuring aims at bringing together researchers working >on foundations as well as researches who want to apply the theory to >specific institutions. Topics include (but are not limited to): > > Formalizing particular logics as institutions > Institution-independent model theory for structured specification, > refinement, etc. > Institution-independent proof theory > Metaformalisms and metatheorems > Morphisms and borrowing of logical structure > Combination of institutions/logics > Heterogeneous specification > >LOCATION AND DATE > >The 3rd FLIRTS workshop will be part of the 16th International >Workshop on Algebraic Development Techniques (WADT), >24th to 27th September 2002, near Munich, Germany. >See http://www.pst.informatik.uni-muenchen.de/wadt2002/ > >SUBMISSION > >Just submit your abstracts to the WADT, indicate that it is >FLIRTS-relevant, and then the FLIRTS-relevants talks will be collected >into a special track. >You have to sumbit a 2-page abstract, deadline is 31 May, 2002. >After the workshop, authors of selected abstracts will be invited to >submit a full paper for the refereed proceedings, which will be >published as a volume of Springer Lecture Notes in Computer Science. > >FURTHER INFO: http://www.tzi.de/flirts > >-- >Till Mossakowski Phone +49-421-218-4683 >Dept. of Computer Science Fax +49-421-218-3054 >University of Bremen till@tzi.de >P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till >_______________________________________________ >Flirts mailing list >Flirts@mail.informatik.uni-bremen.de >http://www.informatik.uni-bremen.de/mailman/listinfo/flirts ++++++++++++++++++++++++++++++++++++++++++++++++++ Amilcar Sernadas Departamento de Matematica Instituto Superior Tecnico Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL tel: 351-21-8417150 fax: 351-21-8417598 e-mail: acs@math.ist.utl.pt www: http://www.cs.math.ist.utl.pt/cs/acs.html ++++++++++++++++++++++++++++++++++++++++++++++++++ From till at tzi.de Wed Jul 24 10:45:52 2002 From: till at tzi.de (Till Mossakowski) Date: Tue Aug 30 15:43:11 2005 Subject: [Flirts] Special FLIRTS track at WADT Message-ID: <3D3E6940.BBFA09A6@tzi.de> Dear FLIRTS friends, as the first event of the FLIRTS revival, there will be a special FLIRTS track at the WADT'02, consisting of nine talks ! The WADT takes place on September 24-27, 2002, at Frauenchiemsee, Germany. For Program & Registration Information see http://www.pst.informatik.uni-muenchen.de/wadt2002/ Hoping to see many of you in Frauenchiemsee, Till Talks of the special FLIRTS track ---------------------------------- Module Composition over Inclusive Institutions J. Goguen (University of California at San Diego) and G. Rosu (University of Illinois at Urbana-Champaign) Using an Institution Encoding for Proving Consequeces of Structured COL-Specifications M. Bidoit (CNRS & ENS de Cachan) and R. Hennicker (Ludwig-Maximilians-Universit?t M?nchen) Graph Colouring Institutions G. Scollo (Universit? di Verona) The General Logic of Multialgebras Y. Lamo and M. Walicki (University of Bergen) Translating Logics for Coalgebras D. Pattinson (Ludwig-Maximilians-Universit?t M?nchen) and A. Kurz (CWI, Amsterdam) An Institution for Mixed Specifications M. Aiguier, F. Barbier and P. Poizat (Universit? d'?vry Val d'Essonne) Foundations of Heterogeneous CASL T. Mossakowski (University of Bremen) Completeness Results for Fibred Parchments: Beyond the Propositional-Base C. Caleiro and J. Ramos (CLC, Lisbon) Presenting and Combining Inference Systems W. Pawlowski (Polish Academy of Sciences) -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From acs at math.ist.utl.pt Wed Jul 24 10:47:30 2002 From: acs at math.ist.utl.pt (Amilcar Sernadas) Date: Tue Aug 30 15:43:11 2005 Subject: [Flirts] CombLog'04 very early announcement Message-ID: <5.1.0.14.0.20020724094410.00b19cf0@pop.math.ist.utl.pt> If you are interested in the topic do not hesitate to contact us! http://www.cs.math.ist.utl.pt/comblog04/ Amilcar %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CombLog'04 Workshop on Combination of Logics: Theory and Applications Preliminary announcement Department of Mathematics, IST, Lisbon, Portugal July 28-30, 2004 Topics ? Fibring, fusion, splicing, splitting, synchronization, temporalization ? Transference results ? Logics for software specification ? Logics for security ? Logics for formal ethics Executive Committee ? Walter A. Carnielli ? Marcelo E. Coniglio ? Paulo Mateus ? Am?lcar Sernadas (chair) Publication ? Electronic publication of extended abstracts ? International publication of volume with selected full papers Sponsors ? CLC: Center for Logic and Computation, IST, Lisbon, Portugal ? CLE: Centre for Logic, Epistemology and the History of Science, UNICAMP, Campinas, Brazil Follow-up ? Keynote speakers and call for contributions to be announced by October 2003 http://www.cs.math.ist.utl.pt/comblog04/ For further information contact: acs@math.ist.utl.pt ++++++++++++++++++++++++++++++++++++++++++++++++++ Amilcar Sernadas Departamento de Matematica Instituto Superior Tecnico Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL tel: 351-21-8417150 fax: 351-21-8417598 e-mail: acs@math.ist.utl.pt www: http://www.cs.math.ist.utl.pt/cs/acs.html ++++++++++++++++++++++++++++++++++++++++++++++++++ From till at tzi.de Thu Sep 5 23:52:55 2002 From: till at tzi.de (Till Mossakowski) Date: Tue Aug 30 15:43:11 2005 Subject: [Flirts] Paper: Implementing logics: from genericity to heterogeneity Message-ID: <3D77D237.F3B888BE@tzi.de> Dear friends, I would like to announce to you the new paper (jointly with Klaus Luettich) Implementing logics: from genericity to heterogeneity avaibale at http://www.informatik.uni-bremen.de/~till/publications.html Greetings, Till Abstract We show how to write an abstract interface corresponding to Meseguer's concept of general logic in Haskell. Based on this, we develop a tool set for structured specifications that are based on such logics, consisting of a parser, a static analysis and a theorem prover. While with Standard ML functors, it is only possible to be generic over an arbitrary logic, we show how true heterogeneity (i.e. for specifications involving simultaneously different logics) is achieved in Haskell. Concerning genericity, it is folklore that Standard ML functors can be simulated in Haskell using multiparameter type classes with functional dependencies. On top of this, heterogeneity is achieved using existential and dynamic types. -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From till at tzi.de Fri Apr 26 15:26:51 2002 From: till at tzi.de (Till Mossakowski) Date: Sun Oct 9 15:15:53 2005 Subject: [Flirts] Initial test of the FLIRTS list Message-ID: <3CC9559B.287E8E97@tzi.de> Initial test of the FLIRTS list -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From till at tzi.de Thu May 9 10:54:03 2002 From: till at tzi.de (Till Mossakowski) Date: Sun Oct 9 15:15:54 2005 Subject: [Flirts] 3rd FLIRTS workshop, 24th to 27th September 2002 Message-ID: <3CDA392B.7443CC7E@tzi.de> FORMALISMS, LOGICS, INSTITUTIONS - RELATING, TRANSLATING, STRUCTURING 3rd FLIRTS Workshop, as part of WADT, 24th to 27th September 2002 BACKGROUND The notion of institution and similar meta-notions try to capture the essence of what a logical system is. With this, it is possible to develop concepts for the strucuring of specifications, parameterization, implementation, refinement, development, proof calculi and even tools in a way completely independent of the underlying logical system. There are also morphisms that allow to relate and translate logical systems. Important applications of this are re-use of logical structure (also called borrowing), heterogeneous specification and combination of logics. FLIRTS home page, bibliography and mailing list: http://www.tzi.de/flirts AIMS AND SCOPE The FLIRTS workshops on Formalisms, Logics, Institutions - Relating, Translating, Structuring aims at bringing together researchers working on foundations as well as researches who want to apply the theory to specific institutions. Topics include (but are not limited to): Formalizing particular logics as institutions Institution-independent model theory for structured specification, refinement, etc. Institution-independent proof theory Metaformalisms and metatheorems Morphisms and borrowing of logical structure Combination of institutions/logics Heterogeneous specification LOCATION AND DATE The 3rd FLIRTS workshop will be part of the 16th International Workshop on Algebraic Development Techniques (WADT), 24th to 27th September 2002, near Munich, Germany. See http://www.pst.informatik.uni-muenchen.de/wadt2002/ SUBMISSION Just submit your abstracts to the WADT, indicate that it is FLIRTS-relevant, and then the FLIRTS-relevants talks will be collected into a special track. You have to sumbit a 2-page abstract, deadline is 31 May, 2002. After the workshop, authors of selected abstracts will be invited to submit a full paper for the refereed proceedings, which will be published as a volume of Springer Lecture Notes in Computer Science. FURTHER INFO: http://www.tzi.de/flirts -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From acs at math.ist.utl.pt Thu May 9 11:09:38 2002 From: acs at math.ist.utl.pt (Amilcar Sernadas) Date: Sun Oct 9 15:15:54 2005 Subject: [Flirts] 3rd FLIRTS workshop, 24th to 27th September 2002 In-Reply-To: <3CDA392B.7443CC7E@tzi.de> Message-ID: <5.1.0.14.0.20020509100859.02e87008@pop.math.ist.utl.pt> hi! we shall be there... best amilcar (on behalf of the Lisbon-FLIRTS crowd) At 10:54 09-05-2002 +0200, you wrote: >FORMALISMS, LOGICS, INSTITUTIONS - RELATING, TRANSLATING, STRUCTURING > >3rd FLIRTS Workshop, as part of WADT, 24th to 27th September 2002 > >BACKGROUND > >The notion of institution and similar meta-notions try to capture the >essence of what a logical system is. With this, it is possible to >develop concepts for the strucuring of specifications, >parameterization, implementation, refinement, development, proof >calculi and even tools in a way completely independent of the >underlying logical system. There are also morphisms that allow to >relate and translate logical systems. Important applications of this >are re-use of logical structure (also called borrowing), heterogeneous >specification and combination of logics. >FLIRTS home page, bibliography and mailing list: http://www.tzi.de/flirts > >AIMS AND SCOPE > >The FLIRTS workshops on Formalisms, Logics, Institutions - Relating, >Translating, Structuring aims at bringing together researchers working >on foundations as well as researches who want to apply the theory to >specific institutions. Topics include (but are not limited to): > > Formalizing particular logics as institutions > Institution-independent model theory for structured specification, > refinement, etc. > Institution-independent proof theory > Metaformalisms and metatheorems > Morphisms and borrowing of logical structure > Combination of institutions/logics > Heterogeneous specification > >LOCATION AND DATE > >The 3rd FLIRTS workshop will be part of the 16th International >Workshop on Algebraic Development Techniques (WADT), >24th to 27th September 2002, near Munich, Germany. >See http://www.pst.informatik.uni-muenchen.de/wadt2002/ > >SUBMISSION > >Just submit your abstracts to the WADT, indicate that it is >FLIRTS-relevant, and then the FLIRTS-relevants talks will be collected >into a special track. >You have to sumbit a 2-page abstract, deadline is 31 May, 2002. >After the workshop, authors of selected abstracts will be invited to >submit a full paper for the refereed proceedings, which will be >published as a volume of Springer Lecture Notes in Computer Science. > >FURTHER INFO: http://www.tzi.de/flirts > >-- >Till Mossakowski Phone +49-421-218-4683 >Dept. of Computer Science Fax +49-421-218-3054 >University of Bremen till@tzi.de >P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till >_______________________________________________ >Flirts mailing list >Flirts@mail.informatik.uni-bremen.de >http://www.informatik.uni-bremen.de/mailman/listinfo/flirts ++++++++++++++++++++++++++++++++++++++++++++++++++ Amilcar Sernadas Departamento de Matematica Instituto Superior Tecnico Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL tel: 351-21-8417150 fax: 351-21-8417598 e-mail: acs@math.ist.utl.pt www: http://www.cs.math.ist.utl.pt/cs/acs.html ++++++++++++++++++++++++++++++++++++++++++++++++++ From till at tzi.de Wed Jul 24 10:45:52 2002 From: till at tzi.de (Till Mossakowski) Date: Sun Oct 9 15:15:54 2005 Subject: [Flirts] Special FLIRTS track at WADT Message-ID: <3D3E6940.BBFA09A6@tzi.de> Dear FLIRTS friends, as the first event of the FLIRTS revival, there will be a special FLIRTS track at the WADT'02, consisting of nine talks ! The WADT takes place on September 24-27, 2002, at Frauenchiemsee, Germany. For Program & Registration Information see http://www.pst.informatik.uni-muenchen.de/wadt2002/ Hoping to see many of you in Frauenchiemsee, Till Talks of the special FLIRTS track ---------------------------------- Module Composition over Inclusive Institutions J. Goguen (University of California at San Diego) and G. Rosu (University of Illinois at Urbana-Champaign) Using an Institution Encoding for Proving Consequeces of Structured COL-Specifications M. Bidoit (CNRS & ENS de Cachan) and R. Hennicker (Ludwig-Maximilians-Universit?t M?nchen) Graph Colouring Institutions G. Scollo (Universit? di Verona) The General Logic of Multialgebras Y. Lamo and M. Walicki (University of Bergen) Translating Logics for Coalgebras D. Pattinson (Ludwig-Maximilians-Universit?t M?nchen) and A. Kurz (CWI, Amsterdam) An Institution for Mixed Specifications M. Aiguier, F. Barbier and P. Poizat (Universit? d'?vry Val d'Essonne) Foundations of Heterogeneous CASL T. Mossakowski (University of Bremen) Completeness Results for Fibred Parchments: Beyond the Propositional-Base C. Caleiro and J. Ramos (CLC, Lisbon) Presenting and Combining Inference Systems W. Pawlowski (Polish Academy of Sciences) -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From acs at math.ist.utl.pt Wed Jul 24 10:47:30 2002 From: acs at math.ist.utl.pt (Amilcar Sernadas) Date: Sun Oct 9 15:15:54 2005 Subject: [Flirts] CombLog'04 very early announcement Message-ID: <5.1.0.14.0.20020724094410.00b19cf0@pop.math.ist.utl.pt> If you are interested in the topic do not hesitate to contact us! http://www.cs.math.ist.utl.pt/comblog04/ Amilcar %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CombLog'04 Workshop on Combination of Logics: Theory and Applications Preliminary announcement Department of Mathematics, IST, Lisbon, Portugal July 28-30, 2004 Topics ? Fibring, fusion, splicing, splitting, synchronization, temporalization ? Transference results ? Logics for software specification ? Logics for security ? Logics for formal ethics Executive Committee ? Walter A. Carnielli ? Marcelo E. Coniglio ? Paulo Mateus ? Am?lcar Sernadas (chair) Publication ? Electronic publication of extended abstracts ? International publication of volume with selected full papers Sponsors ? CLC: Center for Logic and Computation, IST, Lisbon, Portugal ? CLE: Centre for Logic, Epistemology and the History of Science, UNICAMP, Campinas, Brazil Follow-up ? Keynote speakers and call for contributions to be announced by October 2003 http://www.cs.math.ist.utl.pt/comblog04/ For further information contact: acs@math.ist.utl.pt ++++++++++++++++++++++++++++++++++++++++++++++++++ Amilcar Sernadas Departamento de Matematica Instituto Superior Tecnico Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL tel: 351-21-8417150 fax: 351-21-8417598 e-mail: acs@math.ist.utl.pt www: http://www.cs.math.ist.utl.pt/cs/acs.html ++++++++++++++++++++++++++++++++++++++++++++++++++ From till at tzi.de Thu Sep 5 23:52:55 2002 From: till at tzi.de (Till Mossakowski) Date: Sun Oct 9 15:15:54 2005 Subject: [Flirts] Paper: Implementing logics: from genericity to heterogeneity Message-ID: <3D77D237.F3B888BE@tzi.de> Dear friends, I would like to announce to you the new paper (jointly with Klaus Luettich) Implementing logics: from genericity to heterogeneity avaibale at http://www.informatik.uni-bremen.de/~till/publications.html Greetings, Till Abstract We show how to write an abstract interface corresponding to Meseguer's concept of general logic in Haskell. Based on this, we develop a tool set for structured specifications that are based on such logics, consisting of a parser, a static analysis and a theorem prover. While with Standard ML functors, it is only possible to be generic over an arbitrary logic, we show how true heterogeneity (i.e. for specifications involving simultaneously different logics) is achieved in Haskell. Concerning genericity, it is folklore that Standard ML functors can be simulated in Haskell using multiparameter type classes with functional dependencies. On top of this, heterogeneity is achieved using existential and dynamic types. -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till