Logic List Mailing Archive

Infinity Symposium: Vrije Universiteit Amsterdam, March 21-22, 2006

You are kindly invited to participate in the

            infinity symposium
            Tuesday March 21 and Wednesday March 22, 2006
            Faculty of Sciences, Vrije Universiteit Amsterdam
            room S111
            <http://infinity.few.vu.nl>

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@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@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@cs.vu.nl
Jan Willem Klop         jwk@cs.vu.nl
Elly Lammers            elly@cs.vu.nl
Femke van Raamsdonk     femke@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.