Logic List Mailing Archive

"Mathematical Logic in the Netherlands"

25-26 May 2009
Nijmegen, The Netherlands

Dear logician,

hereby we invite you to take part in a 2-day symposium on Mathematical 
Logic in the Netherlands. The symposium will take place on May 25 and 26, 
2009, in Nijmegen (precise location to be announced). It is our intention 
to let this be the first meeting in a yearly series, with the aim of 
strengthening ties between logicians working in the Netherlands or close 
by. We welcome contributions of talks aimed at a general logical audience. 
In particular, PhD students are welcome to speak. We have secured the 
participation of the following invited speakers, who will give expository 
talks:

Bart Jacobs, ICIS, RU
Herman Geuvers, ICIS, RU
Ieke Moerdijk, Mathematics, UU
Bas Terwijn, ILLC, UvA
Jouko Vaananen, IILC, UvA

See also the web site of the symposium: 
http://www.math.ru.nl/~mgehrke/MLNL09/MLNL09-mainpage.htm

Please register with the local organization. If you'd like to speak, please 
send an e-mail to Bas Spitters:
spitters@cs.ru.nl .

Programme Committee: Mai Gehrke (IMAPP, RU), Rosalie Iemhoff (Philosophy, UU), 
Jaap van Oosten (Mathematics, UU), Bas Spitters (Mathematics and Computer 
Science, TUE), Yde Venema (ILLC, UvA)