Activities

Participations to conferences

  • From proof theory to theories theory (Gilles Dowek) in New Perspectives on Classical Logic and Axiomatics organisé par Jean-Baptiste Joinet à la Sorbonne - UFR de Philosophie

  • On the relation between size-based termination and semantic labelling (Cody Roux & Frederic Blanqui) in the 18th EACSL Annual Conference on Computer Science Logic.

  • Automating Theories in Intuitionistic Logic (Guillaume Burel) in the 7th International Symposium on Frontiers of Combining Systems.

  • A semantic method to prove strong normalization from weak normalization (Denis Cousineau) in Types for Proofs and Programs 2009.

  • Complete reducibility candidates (Denis Cousineau) in Proof Search in Type Theory 2009.