A really informal workshop to discuss together what's going on in the field of logical frameworks (institutions and similar formalisms), focusing on the use of the different kinds of arrows to relate, translate and combine logical components, has been held at DISI (University of Genova) last October.
The original "call for participation" has been sent (hopefully) to all people involved in research in the area of institutions and analogous metatheories, with encouragements to forward the message to other interested scientists. A second meeting on FLIRTS is planned for next year, although the organizative details have still to be fixed. If you are interested in receiving information about next FLIRTS (and were not contacted for the first) please send an email to cerioli@disi.unige.it.
The meeting has been organized in loose sessions focusing on a subject, during which talks, discussions and brain-storming took place without tight schedule. The sessions included:
More information about FLIRTS is available .