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
FLIRTS mailing list
For discussion of FLIRTS-related topics, see the mailing
The first FLIRTS workshop has been held at
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.
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.