Logic and interactions 2012

CIRM, Marseille — 30 January – 2 March

Login

Username:
Password:

Did you forget your password? You can reset it.

Contact

Home, Committees, Sponsors, Practical information.

Programme

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

Registration

~~Pre-register~~ or Login.