Logic and interactions 2012

CIRM, Marseille — 30 January – 2 March

Elham Kashefi (Edinburgh, UK), Tutorial on quantum computing

Schedule

Feb. 20, 2012, 10:40 - 12:00
Feb. 21, 2012, 10:40 - 12:00

Attachments

Slides

Contact

Home, Committees, Sponsors, Practical information.

Programme

Complexity, Logic and interaction, Proofs and programs, Quantitative approaches (presentation, participants, talks & abstracts, schedule, time table), Algebra and computation.

Registration

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