Laboratoire d'Informatique de Paris Nord Institut Galilée Université de Paris Nord
Maître de Conférences — Chaire CNRS Research group: "Logic, Reasoning, Computation"
Forthcoming events: Logic and Interactions 2012 (PC)
