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

Past Milner Lectures

Year
Speaker
Title
2012
 Marta Kwiatkowska, University of Oxford TBA
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
And Logic Begat Computer Science: When Giants Roamed the Earth
2008
Rajeev Alur, University of Pennsylvania
Software Model Checking
2007
Ronald Fagin, IBM (Almaden)
Finite Model Theory - How It All Began
2006
Shafi Goldwasser, MIT 
On the Impossibility of Obfuscation
2005
Gérard Huet, INRIA
Design of a computational linguistics platform
2004
Mihalis Yannakakis, Columbia University
Testing, Optimization, and Games
2003
Frank Kelly, University of Cambridge
Fairness of Internet Protocols
2002
Martín Abadi, Santa Cruz
Security Protocols: Principles and Calculi (Streaming video: QuickTime, Windows Media.)
2001
Christos Papadimitriou, Berkeley
 Algorithmic Problems Related to the Internet, (Streaming video: rm.)
2000
Joseph Halpern, Cornell University
 Knowledge and Common Knowledge in Multi-Agent Systems, (Streaming video: rm.)
1999
Butler Lampson, Microsoft Research
Computer Security in the Real World
1998
Amir Pnueli, Weizmann Institute
Temporal Logic for Verification of Reactive Systems
1997
Les Valiant, Harvard University
 Cognitive Computation
1996
Gerard Berry & Sophia-Antipolis, Ecole des Mines and INRIA
Synchronous Programming of Reactive Systems

 

Document Actions