14 March 2008
Utrecht, The Netherlands
Dear colleagues, Friday March 14, 2008 we will have the next national Dutch NVTI Theory day. NVTI is the "Nederlandse Vereniging voor Theoretische Informatica". The symposium will be held in Hoog Brabant at Utrecht Central station. We are proud that we can announce the following scientific speakers from The Netherlands and abroad: Christos Papadimitriou (Berkeley) Colin Stirling (University of Edinburgh) Marielle Stoelinga (University of Twente) Ronald de Wolf (Centrum voor Wiskunde en Informatica) More details will follow later For now, just mark this date in your agenda! Kind regards, Jaco van de Pol. -- Prof.dr. J.C. van de Pol, chair Formal Methods and Tools Universiteit Twente, P.O. Box 217, 7500 AE Enschede, The Netherlands mailto:vdpol@cs.utwente.nl, http://www.cs.utwente.nl/~vdpol tel: +31 53 489 3017 fax: +31 53 489 3247 secr: +31 53 489 3767