Logic and interactions 2012

CIRM, Marseille — 30 January – 2 March

Myriam Quatrini (Marseille, France), Controversies, Meaning and dialogues

Schedule

Feb. 10, 2012, 11:00 - 12:00

Attachments

slides

Contact

Home, Committees, Sponsors, Practical information.

Programme

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

Registration

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