15 December 2009
Amsterdam, The Netherlands
The End of Infinity
a one-day symposium
Tuesday December 15, 2009
VU University Amsterdam
Location: VU Hoofdgebouw, room A.02.06
De Boelelaan 1105, 1081 HV Amsterdam
http://infinity.few.vu.nl/infinity/index.php/The_End_of_Infinity
-----------------------------------------------------------------------------
We invite you for the one-day symposium The End of Infinity.
The symposium marks the end of the NWO-FOCUS/BRICKS sponsored
research project Infinity, concerned with infinite objects, computation,
modeling, and reasoning.
In several talks participants of the Infinity project will report on
the results that have been obtained in the project, new insights and
challenges for ongoing research. There will be invited talks by
Larry Moss and Hans Zantema.
PROGRAM
* 09.45 coffee
* 10.15 Hans Zantema
Well-definedness and productivity of general infinite data structures
* 11.15 Dimitri Hendriks Proving
Productivity, part 1
* 12.00 lunch
* 13.30 Clemens Grabmayer
Proving Productivity, part 2
* 14.30 Clemens Kupke
Tableaux Games
* 15.30 Larry Moss
A Survey of Final Coalgebras
* 16.15 Jan Willem Klop
The End of Infinity
* 16.45 drinks
PARTICIPATION AND REGISTRATION
Please register for the symposium by sending an email to Caroline
Waij <cpwaij@few.vu.nl>, indicating whether you wish to join
the organized lunch and/or the drinks. Participation is free.