Compiled list of speakers at the Theorydays of the NVTI from 1995 onwards

The speakers appear in a fixed format. There is the division along the lines of the A and B tracks of theoretical computer science, i.e., algorithms and complexity and semantics and logic. The other dividing line is between Dutch and foreign speakers.

alg. + compl.sem. en logica
1995
Dutch:Jan van LeeuwenJaco de Bakker
foreign:C. LengauerHoare
1996
Dutch:Joost KokHenk Barendregt
foreign:Emo WelzlWolfgang Thomas
1997
Dutch:M.H. OvermarsN.G. de Bruijn
foreign:T. B\"ackK.G. Larsen
1998
Dutch:E. AartsJ.A. Bergstra
foreign:A. ApostolicoM. Nielsen
1999
Dutch:H. BurhmanF. Vaandrager
foreign:I. DamgaardG. Plotkin
2000
Dutch:H. Te RieleE. Brinksma
foreign:S. MicaliA. Pnueli
2001
Dutch:Arno SiebesKrzysztof Apt
foreign:HarelMilner
2002
Dutch:Lex SchrijverBart Jacobs
foreign:Lane HemaspaandraJoe Halpern
2003
Dutch:Peter StevenhagenMaarten de Rijke
foreign:Lance FortnowMoshe Vardi
2004
Dutch:Peter GruenwaldJohan van Benthem
foreign:Uwe SchoeningSamson Abramsky
2005
Dutch:Arjen LenstraFrank van Harmelen
foreign:Ronald Cramer A. Rensink
2006
Dutch:Mark de Berg Wan Fokkink
foreign:Kurt MehlhornMartin Abadi
2007
Dutch:Gerard WoegingerRineke Verbrugge
foreign:Tom BallNitin Saxena
2008
Dutch:Ronald de WolfMarielle Stoelinga
foreign:Christos PapadimitriouColin Stirling
2009
Dutch:Paul VitányiFrank de Boer
foreign:Guido SchaeferE. Allen Emerson
2010
Dutch:Monique LaurentJan Friso Groote
foreign:Monika HenzingerGeorges Gonthier
2011
Dutch:Jos BaetenHans Bodlaender
foreign:S. Muthu MuthukrishnanTobias Nikpow
2012
Dutch:Jan RuttenNelly Litvak
foreign:Susanne AlbersVincent Danos
2013
Dutch:Wil van der AalstMark van Kreveld
foreign:Christel BaierBarbara Terhal