Logic List Mailing Archive

Symposium "Processes, terms and cycles", December 2005, Amsterdam (NL)

On Monday December 19, 2005, there is a one-day symposium

   Processes, terms, and cycles: steps on the road to infinity

in honour of Jan Willem Klop. The symposium celebrates Jan Willem's 60th
birthday, and the 25th anniversary of his connection with the CWI.

The following renowned national and international friends of Jan Willem
will lecture on his symposium:

Zena Ariola, Arvind, Henk Barendregt, Jan Bergstra, Nachum Dershowitz,
Marianiola Dezani, Roger Hindley, Jean-Jacques Levy, Ronan Sleep.

The complete program and the registration form can be found via:

   http://www.cwi.nl/events/2005/jwklop/

Please register before December 1, 2005.

organizers: Susanne van Dam, Jaco van de Pol (CWI) Femke van Raamsdonk,
Roel de Vrijer (VU) Vincent van Oostrom (UU) Aart Middeldorp (Innsbruck)