21-22 March 2006, Infinity Symposium, Room S111, Faculty of Sciences, Vrije Universiteit Amsterdam

PROGRAMME:

Tuesday March 21:
9.30 coffee
10.00 Grigore Rosu, University of Illinois at Urbana-Champaign, USA: Tutorial
11.00 Jan Willem Klop, Vrije Universiteit Amsterdam: Infinitary normalization and productivity
12.00 lunch
13.00 Mariangiola Dezani, University of Torino, Italy: Infinite reductions are insensible to lambda-term identity or difference
14.00 Jakob Grue Simonsen, DIKU, Denmark: Modularity in infinitary rewriting
15.00 Zena Ariola, University of Oregon, USA: Equational graph rewriting
16.00 Stefan Blom, University of Innsbruck, Austria: Lifting Böhm trees from terms to term graphs
17.00 end
20.00 dinner

Wednesday March 22:
9.30 coffee
10.00 Grigore Rosu, University of Illinois at Urbana-Champaign, USA: Tutorial
11.00 Silvio Ghilardi, University of Milano, Italy: Bisimulation quantifiers: from Kripke semantics to model-theoretic, categorical and algebraic applications
12.00 lunch
13.00 Lawrence Moss, Indiana University, USA: Recursion and circularity
14.00 Alexander Kurz, University of Leicester, UK: Concrete dualities of algebras and coalgebras
15.00 Yde Venema, University of Amsterdam: From infinite to finite structures in modal logic
16.00 Johan van Benthem, University of Amsterdam: Modal Lindström theorems
17.00 end

PARTICIPATION & REGISTRATION:

Participation is free.

If you wish to join the organized lunch, please register by sending an email to Ms Elly Lammers, elly at cs.vu.nl, before Thursday March 16, at 12.00. The contribution for the lunch is 10 euro per person per lunch, to be paid in cash. Please note that it is also possible to have lunch in the canteen of the university.

If you wish to join the dinner on Tuesday March 21, please register by sending an email to Ms Elly Lammers, elly at cs.vu.nl, before Thursday March 16, at 12.00. (The price of the dinner will be announced later.)

HOW TO GET AT THE VRIJE UNIVERSITEIT:

Please see http://www.english.vu.nl/route for a description. Room S111 is best reached via entrance De Boelelaan 1081 (number 4 on the map).

ORGANIZATION:

If you have questions please do not hesitate to contact one of the organizers:

Dimitri Hendriks diem at cs.vu.nl
Jan Willem Klop jwk at cs.vu.nl
Elly Lammers elly at cs.vu.nl
Femke van Raamsdonk femke at cs.vu.nl

INFINITY PROJECT:

INFINITY is a cooperation project between the Vrije Unversiteit (Jan Willem Klop, Roel de Vrijer), Utrecht University (Vincent van Oostrom, Albert Visser), and CWI (Frank de Boer, Jan Rutten) in the period October 2005 - October 2008. INFINITY is a BRICKS project sponsored by NWO, and is concerned with infinite objects, computation, modeling, and reasoning.

For participants of the INFINITY project, the symposium is meant as an opportunity to learn about related work and meet people working in related fields. Most talks will be of a tutorial nature.