Personal tools
You are here: Home Events Milner Lectures Past Milner Lectures

Past Milner Lectures

Year
Speaker
Title
2015
Cynthia Dwork,  Microsoft Research
Privacy In the Land of Plenty
2014
Wolfgang Thomas, RWTH Aachen University
Finite Automata and the Infinite
Seminar: Video
Buchi Automata and Their Determinization
Infinite games
Automata on Infinite Trees
Decidability of Monadic Theories

2013
Eva Tardos, Cornell University

Games, Auctions, Learning, and the Price of Anarchy

Seminar: PDFVideo
2012
Marta Kwiatkowska, University of Oxford Sensing Everywhere: On Quantitative Verification for Ubiquitous Computing
Seminar: PDF / Video
2011
John Hughes, Chalmers University of Technology Finding Race Conditions in Industrial Erlang Code by Property-Based Testing
Seminar: Putting Property-Based Testing to Work 
2010
Stephen A. Cook, University of Toronto
Logic and Computational Complexity: A Personal Perspective
2009
Moshe Vardi, Rice University
2008
Rajeev Alur, University of Pennsylvania
2007
Ronald Fagin, IBM (Almaden)
2006
Shafi Goldwasser, MIT 
2005
Gérard Huet, INRIA
2004
Mihalis Yannakakis, Columbia University
2003
Frank Kelly, University of Cambridge
2002
Martín Abadi, Santa Cruz
2001
Christos Papadimitriou, Berkeley
2000
Joseph Halpern, Cornell University
1999
Butler Lampson, Microsoft Research
1998
Amir Pnueli, Weizmann Institute
1997
Les Valiant, Harvard University
 Cognitive Computation
1996
Gerard Berry & Sophia-Antipolis, Ecole des Mines and INRIA

 

Document Actions