3rd FLIRTS workshop, 24th to 27th September 2002


3rd FLIRTS Workshop, as part of WADT, 24th to 27th September 2002 


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


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 


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/


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