Formalism, Logic, Institution - Relating, Translating and Structuring

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 structuring 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.

The FLIRTS initiative intends to offer a forum for all people involved in research in this area.
If you are interested in joining the group, please send an e-mail to with your  www-page address.
The FLIRTS coordination now has been taken over by Till Mossakowski. Thanks to Maura Cerioli for initiating FLIRTS and organizing the first two meetings.

FLIRTS mailing list

For discussion of FLIRTS-related topics, see the mailing list .

FLIRTS workshops

The first FLIRTS workshop has been held at DISI, the Computer Science Dept. of University of Genova (Italy) in October 1995.

The second FLIRTS workshop has been held as an adjoint meeting of the WADT97, in Tarquinia (Italy) in May 1997.

The third FLIRTS workshop was part of the 16th International Workshop on Algebraic Development Techniques , 24th to 27th September near Munich in September 2002.

The fourth FLIRTS workshop was a part of CombLog 2004

The fifth FLIRTS workshop was held during Joseph Goguen's stay in Bremen on October 1st and October 2nd 2005.