FLIRTS
Formalism Logic Institution
Relating, Translating and Structuring
DISI, University of Genoa, Italy, 26-28 October 1995
Following some discussions at last FMTA (Poland), among Andrzej Tarlecki, Egidio
Astesiano and Jose' Fiadeiro, we have organized a sort of 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.
People contacted
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.
Schedule
The meeting has been organized in loose
sessions focusing
on a subject, during which talks, discussions and brain-storming took place
without tight schedule.
There was a session each morning/afternoon and in each session
two presentations.
Participants
A compressed postscript
file
containing the participant list is available through anonymous ftp
Abstract of Talks
Compressed files with the postscript or dvi version of the announced/actual talks
are available through anonymous ftp:
-
The talks that actually
took place, in dvi format at
ftp.disi.unige.it/person/CerioliM/actualtalks.dvi.Z (6957)
-
The talks that actually
took place, in postscript format at
ftp.disi.unige.it/person/CerioliM/actualtalks.ps.Z (34307)
-
The announced
talks, in dvi format at ftp.disi.unige.it/person/CerioliM/announcedtalks.dvi.Z (7508)
-
The announced
talks, in postscript format at ftp.disi.unige.it/person/CerioliM/announcedtalks.ps.Z (34974)
Please send suggestions and comments to:
Maura Cerioli cerioli@disi.unige.it
Last Updated: Monday 27 November 1995