• Ma page
• Recherche
• Programmation
• Enseignement
• Contact
• 

Comité de rédaction

• Je suis membre du comité éditorial du Journal of Functional Programming; vous soumissions sont les bienvenues.

Responsable du programme

• VSTTE 2009, avec Leo Freitas
• PLPV 2010, avec Cormac Flanagan
• La compétition 2nd Verified Software Competition (aka VSTTE 2012 Software Verification Competition), avec Andrei Paskevich et Aaron Stump, en novembre 2011. Voici mes transparents.

Comités de programme

• HaTT 2016
• SLATE'16
• VSTTE 2016

• AVoCS 2015
• NFM 2015
• SLATE'15
• TFP 2015

• JFLA 2014
• SLATE'14

• NFM 2013
• CPP 2013
• SLATE 2013
• VeriSure 2013
• VSTTE 2013

• APLAS 2012
• BOOGIE 2012
• NFM 2012
• SLATE 2012
• VSTTE 2012

• ACCA 2011
• INFORUM 2011
• ITP 2011

• AFM 2010
• GCVS 2010
• INFORUM 2010
• IWS 2010

• AFM 2009
• PLMMS 2009
• TPHOLs 2009

• AFM 2008
• JPLMMS 2008
• MSFP 2008
• TPHOLs 2008

• AFM 2007
• PLMMS 2007
• TPHOLs 2007