[S3] ================================================ AMAST Links 02 08

FLIRTS: Formalism Logic Institution Relating, Translating & Structuring
           DISI, University of Genoa, I, 26-28 October 1995

  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:
 o  Maps between logical frameworks. Speakers: Andrzej Tarlecki on
    Moving between logical systems, and Maura Cerioli on Mapping
    logical systems.
 o  Alternative formalisms. Speakers: Cristina Sernadas on Signature
    morphisms considered harmful: adjunctions between logics, and Uwe
    Wolter on Are there reasons for a concept like Institutional Frame?
 o  Which new FLIES are needed to FLIRTS? - Syntax-driven methods.
    Speakers: Till Mossakowsky on Is there a common notion of FLIRTS?,
    and Jose' Luiz Fiadeiro on Mapping between categories of theories
    in different institutions.
 o  Constructions of logical frameworks (part I). Speakers: Elena Zucca
    on Building institutions of dynamic data-types, and Gianna Reggio
    on Operations for Modularly Defining Institutions.
 o  Constructions of logical frameworks (part II).
    Speaker: Wieslaw Pawlowski on Institutions with Contexts.
  More information about FLIRTS is available at URL:
http://www.disi.unige.it/staff/cerioli/www/flirtshome.html