FLIRTS
Formalism Logic Institution
Relating, Translating and Structuring
The home page of this initiative has been moved to
http://www.informatik.uni-bremen.de/flirts/
.