I have a permanent CNRS research position at IRIT (Institute for Computer Science of Toulouse), located on the campus of the Technical University Toulouse. My postal address is (the first line is essential with both ingredients!)
I am member of the research group ACADIE that is the common successor to SVF and ZENO. The French acronym stands for "Assistance with the Certification of Distributed and Embedded Applications".
As a CNRS researcher, I belong to Section 6 of the National Committee of Scientific Research (after splitting the former 7 into 6 and 7).
A reasonably recent photo:
10th Workshop Fixed Points in Computer Science 2015 (FICS 2015) on September 11 and 12 in Berlin, Germany, a satellite of CSL 2015. I am chairing the steering committee and I am PC co-chair.
13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, within RDP'15. I was PC member.
14th Workshop Proof, Computation, Complexity 2015, PCC 2015, May 23-24, 2015, Oslo, Norway. I was PC member.
21st Conference Types for Proofs and Programs TYPES 2015, May 18-21, 2015, Tallinn, Estonia. I have been member of the steering committee and was in the PC.
39th Symposium on Mathematical Foundations in Computer Science, MFCS 2014, August 25-29 in Budapest, Hungary. I was PC member.
20th Conference Types for Proofs and Programs TYPES 2014, May 12-15 in Paris, France. I have been a member of the steering committee and was in the PC.
13th Workshop Proof, Computation, Complexity 2014 (PCC 2014), May 15-16, 2014, Paris, France, a satellite of TYPES 2014. I was co-chair of the PC.
9th Workshop Fixed Points in Computer Science 2013 (FICS 2013) on September 1st in Torino, Italy, a satellite of CSL 2013. I chaired the steering committee, I was a PC member, and I am one of the four editors of the special journal issue following the workshop.
19th Conference Types for Proofs and Programs (TYPES 2013), April 23-26, 2013, Toulouse, France. I was the main organizer and co-chair of the PC and am co-editor of the post-proceedings that appeared on July 25, 2014 as volume 26 of LIPIcs.
12th Workshop Proof, Computation, Complexity 2013 (PCC 2013), April 22-23, 2013, Toulouse, France. I was local organizer and co-chair of the PC.
8th Workshop Fixed Points in Computer Science 2012 (FICS 2012) on March 24 in Tallinn, Estonia, a satellite of ETAPS 2012. I was PC member and I have been also chair of the steering committee.
23rd European Summer School in Logic, Language and Information (ESSLLI 2011), August 1-12, 2011, Ljubljana, Slovenia. I was PC member.
Tenth International Conference on Typed Lambda Calculi and Applications (TLCA 2011), June 1-3, 2011, Novi Sad, Serbia. I was PC member.
7th Workshop Fixed Points in Computer Science 2010 (FICS 2010) on August 21/22 in Brno, Czech Republic, a satellite of MFCS & CSL'10. I was PC member and I have been also in the steering committee.
Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010) on July 15 in Edinburgh, a satellite of ITP'10 within FLoC'10. I was PC member.
Workshop on Computer Algebra Methods and Commutativity of Algebraic Diagrams CAM-CAD on October 16 and 17, 2009 in Toulouse. I was in the PC.
6th Workshop Fixed Points in Computer Science 2009 (FICS 2009) on September 12/13 in Coimbra, Portugal, a satellite of CSL'09. I was program co-chair.
4th Workshop Higher-Order Rewriting 2007 (HOR 2007) on June 25 in Paris, within RDP'07 (there is also a local website for the workshop). I was program chair.
Last modified (date in French): lun. juil. 6 12:37:11 CEST 2015