3rd FLIRTS Workshop

Background

The notion of institution and similar meta-notions try to capture the essence of what a logical system is.
With this, it is possible to develop concepts for the structuring of specifications, parameterization, implementation, refinement, development, proof calculi and even tools in a way completely independent of the underlying logical system. There are also morphisms that allow to relate and translate logical systems. Important applications of this are re-use of logical structure (also called borrowing), heterogeneous specification and combination of logics.

Aims and scope

The FLIRTS workshops on Formalisms, Logics, Institutions - Relating, Translating, Structuring aims at bringing together researchers working on foundations as well as researches who want to apply the theory to specific institutions. Topics include (but are not limited to):

Formalizing particular logics as institutions
Institution-independent model theory for structured specification, refinement, etc.
Institution-independent proof theory
Metaformalisms and metatheorems
Morphisms and borrowing of logical structure
Combination of institutions/logics
Heterogeneous specification

Location and date

The 3rd FLIRTS workshop will be part of the 16th International Workshop on Algebraic Development Techniques (WADT) , 24th to 27th September near Munich.

Program

(the time schedule can be found here )

Module Composition over Inclusive Institutions
J. Goguen (University of California at San Diego) and G. Rosu (University of Illinois at Urbana-Champaign)

Using an Institution Encoding for Proving Consequeces of Structured COL-Specifications
M. Bidoit (CNRS & ENS de Cachan) and R. Hennicker (Ludwig-Maximilians-Universität München)

Graph Colouring Institutions
G. Scollo (Università di Verona)

The General Logic of Multialgebras
Y. Lamo and M. Walicki (University of Bergen)

Translating Logics for Coalgebras
D. Pattinson (Ludwig-Maximilians-Universität München) and A. Kurz (CWI, Amsterdam)

An Institution for Mixed Specifications
M. Aiguier, F. Barbier and P. Poizat (Université d'Évry Val d'Essonne)

Foundations of Heterogeneous CASL
T. Mossakowski (University of Bremen)

Completeness Results for Fibred Parchments: Beyond the Propositional-Base
C. Caleiro and J. Ramos (CLC, Lisbon)

Presenting and Combining Inference Systems
W. Pawlowski (Polish Academy of Sciences)

Till Mossakowski

Last modified: Wed July 24 09:28:16 CEST 2002