FLIRTS

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 till@tzi.de 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 new  mailing list .
 

FLIRTS workshops

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

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

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

The fourth FLIRTS workshop was a part of CombLog 2004

The program of the fifth FLIRTS workshop is now available! It will be held during Joseph Goguen's stay in Bremen on October 1st and October 2nd 2005. If you want to attend, please send a mail.

  There is also a new Heterogeneous Integration Framework Initiative (HiFi). Details will follow.

FLIRTS Bibliography

Here you can find a bibliography on FLIRTS-related topics with more than 150 entries. Comments, suggestions and new entries are welcome.

Please send suggestions and comments to:
Till Mossakowski till@tzi.de

Last Updated: 06 September 2005