UvA Logo

LiB-Day in Amsterdam
ILLC, Amsterdam
June 30th, 2003

A Cooperative Effort of the Group LOGIC in BONN (LiB) and the Institute for Logic, Language and Computation (ILLC).
Organizer: Benedikt Löwe
Location: Room G202, Nieuwe Prinsengracht 130, 1018 VZ Amsterdam

The LiB-Day in Amsterdam is a joint effort of the logicians from mathematics, computer science, linguistics, and philosophy in Bonn and the researchers at ILLC in Amsterdam to inform each other about the research in logic done in the two places.

This day will mainly present research from Bonn to the people in Amsterdam; there will be a companion event, the ILLC-Day in Bonn during which researchers from Amsterdam present their research in Bonn. LiB and ILLC intend to develop an active research collaboration from these two meetings, potentially leading to a bilateral research program between Amsterdam and Bonn.

All researchers, graduate students and undergraduate students from Amsterdam are cordially invited to join us for the talks.

For further information, feel free to contact Benedikt Löwe.

1000-1100 Bernhard Schröder (IKP, Bonn) The Logic of Focus
1100-1200 Maarten Marx (ILLC, Amsterdam) Finite Trees and XML
1200-1400 LUNCH BREAK
1400-1500 Michael Möllerfeld (MI, Bonn) Recursion Theory of the mu-calculus
1500-1600 Johan van Benthem (ILLC, Amsterdam) Logic and Games
1600-1630 COFFEE BREAK
1630-1730 Patrick Braselmann, (MI, Bonn), Peter Koepke (MI, Bonn) Towards a Formal Proof of Gödel's Completeness Theorem
1730-1830 Bernhard Irrgang (MI, Bonn) Morass Constructions

LiB-Day is funded by the Beauftragter für die Pflege und Förderung der Beziehungen zwischen den Hochschulen des Landes Nordrhein-Westfalen, des Königreichs der Niederlande, des Königreichs Belgien und des Großherzogtums Luxemburg ("Benelux-Beauftragter NRW") and the ILLC.

Last changed: June 11th, 2003