[Prev][Next][Index][Thread]

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




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