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).
12th Workshop Fixed Points in Computer Science 2024 (FICS 2024) on February 19 and 20 in Naples, Italy, a satellite of CSL 2024. I chaired the steering committee.
29th International Conference on Types for Proofs and Programs (TYPES 2023), 12-17 June 2023 in València, Spain. I was in the PC.
11th Workshop Fixed Points in Computer Science 2023 (FICS 2023) on February 17 in Warsaw, Poland, a satellite of CSL 2023. I chaired the steering committee and I was in the PC.
7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), August 2-8, 2022 in Haifa, Israel. I was in the PC.
School on Univalent Mathematics, July 17-23, 2022 in Cortona, Italy. I was one of the lecturers.
27th International Conference on Types for Proofs and Programs (TYPES 2021), 14 - 18 June 2021 virtually (online), hosted by Leiden University, The Netherlands. I was chair of the steering committee and I in the PC.
School and Workshop on Univalent Mathematics, July 27-31, 2020 in Cortona, Italy (cancelled because of the COVID-19 sanitary crisis). I would have been one of the lecturers/mentors.
26th International Conference on Types for Proofs and Programs (TYPES 2020), 2 - 5 March 2020 in Torino, Italy (cancelled only days before the conference because of the COVID-19 outbreak in Piedmont, with the whole programme already set up). I have chaired the steering committee, and I was in the PC.
18th Workshop Proof, Computation, Complexity 2019 (PCC 2019), July 15-19, 2019 in Djursholm close to Stockholm, Sweden at the Institut Mittag-Leffler. I was in the SC and co-organizer.
International Workshop Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'19), June 22, 2019 in Vancouver, Canada (affiliated with LICS 2019). I was in the PC.
25th International Conference on Types for Proofs and Programs (TYPES 2019), 11 - 14 June 2019 in Oslo, Norway. I have chaired the steering committee, and I was in the PC.
School and Workshop on Univalent Mathematics, April 1-5, 2019 in Birmingham, UK. I was one of the lecturers/mentors.
17th Workshop Proof, Computation, Complexity 2018 (PCC 2018) on July 19 and 20 in Bonn, Germany. I was in the PC and co-organizer.
24th International Conference on Types for Proofs and Programs (TYPES 2018), 18 - 21 June 2018 in Braga, Portugal. I have chaired the steering committee, and I was in the PC.
School and Workshop on Univalent Mathematics, December 11-15, 2017 in Birmingham, UK. I was one of the lecturers.
16th Workshop Proof, Computation, Complexity 2017 (PCC 2017) on July 26 and 27 in Göttingen, Germany. I was in the PC.
23rd International Conference on Types for Proofs and Programs (TYPES 2017), 29 May - 1 June 2017 in Budapest, Hungary. I was member of the steering committee.
To see also older events, please refer to the full list.
Last modified (date in French): mar. mars 12 18:38:47 CET 2024