Logic and interactions 2012

CIRM, Marseille — 30 January – 2 March

Sponsors and supporting institutions

Academic institutions

CIRM
logoCNRS
logoENS de Lyon
logoGDR Informatique Mathématique
logoUniversité de la Méditerrannée / Université d’Aix-Marseille
Université Paris 13
Université Paris 7

Public structures

logoConseil général des Bouches du Rhône
Conseil régional PACA
Ville de Marseille

Research grants

logoANR Complice
logoANR Loci
logoANR Logoi
logoANR Panda
logoANR Récré
logoPEPS QuAND (CNRS INS2I 2011)
Contact
Home, Committees, Sponsors, Practical information.
Programme
Complexity, Logic and interaction, Proofs and programs, Quantitative approaches, Algebra and computation.
Registration
Pre-register or Login.