Monday 16th April 2012

Georges Gonthier —

Types in mathematical proofs

John Harrison —

Interactive theorem proving in industry

David MacQueen —

Higher-order modules revisited

Robert Harper —

Defining a programming languge

Tuesday 17th April 2012

Xavier Leroy —

The continuation of functional programming by other means

Benjamin Pierce —

Types à la Milner

Kim Larsen —

Quantitative modal transition systems

Joachim Parrow —

The pi-calculus: Origin and recent developments

Davide Sangiorgi —

Some remarks on bisimulation and coinduction

Jan Rutten —

Coalgebraic bisimulation

Peter Sewell —

False concurrency and the foundations of computer science

Wednesday 18th April 2012

Kohei Honda and Nobuko Yoshida —

Understanding communication and concurrency through types

Gordon Plotkin —

An algebraic view of bigraphs

Samson Abramsky —

Information dynamics