Logic and interactions 2012

CIRM, Marseille — 30 January – 2 March

Week 5

Group picture 1

Group picture 1

Group picture 2

Group picture 2

Tim Porter (and Squier's resolution)

Tim Porter (and Squier's resolution)

Michael Warren

Michael Warren

Contact

Home, Committees, Sponsors, Practical information.

Programme

Complexity, Logic and interaction, Proofs and programs, Quantitative approaches, Algebra and computation.

Registration

~~Pre-register~~ or ~~Login~~.