Logic and interactions 2012
CIRM
, Marseille — 30 January – 2 March
Week 4
Christine Tasson
d;f* = f*;d ?
Thomas Ehrhard
Alejandro Díaz-Caro
Daniele Varacca
Jean Goubault-Larrecq
Benoît Valiron
Geoff Cruttwell
Rick Blute
Robin Cockett
Home
,
Committees
,
Sponsors
,
Practical information
.
Programme
Complexity
,
Logic and interaction
,
Proofs and programs
,
Quantitative approaches
,
Algebra and computation
.
Registration
Pre-register
or
Login
.