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