Logic and interactions 2012

CIRM, Marseille — 30 January – 2 March

Sponsors and supporting institutions

Academic institutions

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

Public structures

logoConseil général des Bouches du Rhône
logoConseil régional PACA
logoVille 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.