FLIRTS

Formalism Logic Institution - Relating, Translating and Structuring

5th FLIRTS meeting, University of Bremen, Germany, 1st and 2nd October 2005

Location: MZH, Room 8090
From the airport or the railway station, take tram number 6 direction "Universität", and go off at "Universität Zentralbereich".

Schedule

Friday, 30th September, 19h:

Informal dinner
Location: Maredo, Domshof 21. Map.Use tram number 4 or 6, stop "Schüsselkorb"

Saturday, 1st October (starting at 10h)

Joseph Goguen: Three Flirtations
Till Mossakowski, Joseph Goguen: An Institutional View on the Curry-Howard-Tait-Isomorphism slides paper
Florian Rabe: Abstract Proof Theory: Combining Institutions and LF slides

Lunch

Marius Petria: An institutional generalization of Gödel's Completeness Theorem slides
Andrzej Tarlecki: Software Specification and Development in Heterogeneous Environments slides
Christoph Lüth: PGIP as a prover-independent proof language slides

19h: FLIRTS dinner with a special performance by Ryoko Goguen
Location: Restaurant in the Speicher XI, Am Speicher XI.

Sunday, 2nd October (starting at 10h)

Till Mossakowski: The Heterogeneous Integration Framework Initiative, and some news about the Heterogeneous Tool Set slides Florian Rabe and Till Mossakowski: A Wiki of institutions

Closing and Lunch