FLIRTS

Sessions

Maps between logical frameworks

Thursday 26 afternoon; speakers Andrzej Tarlecki on Moving between logical systems and Maura Cerioli on Mapping logical systems

Alternative formalisms

Friday 27 morning (and beginning of afternoon); speakers Cristina Sernadas on Signature morphisms considered harmful: adjunctions between logics and Uwe Wolter on Are there reasons for a concept like Institutional Frames?

Which new FLIES are needed to FLIRTS? Syntax-driven methods

Friday 27 afternoon; speakers Till Mossakowski on Is there a common notion of FLIRTS? and José Luiz Fiadeiro on Mapping between categories of theories in different institutions

Constructions of logical frameworks (part I)

Saturday 28 morning; speakers Elena Zucca on Building institutions of dynamic data-types and Gianna Reggio on Operations for Modularly Defining Institutions

Constructions of logical frameworks (part II)

Saturday 28 afternoon; speaker Wieslaw Pawlowski on Institutions with Contexts