LiB-Day in 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.
SCHEDULE | ||
---|---|---|
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.