Homepage of Ralph Matthes, Chargé de Recherche au CNRS

email address: irit.fr, preceded by my family name and the @ sign

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!)

IRIT - Université Paul Sabatier
Ralph Matthes, Équipe ACADIE
118 route de Narbonne
F-31062 Toulouse Cedex 9
France

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 recent photo: A
 picture of me

Published and unpublished work

European Research Network on Formal Proofs EuroProofNet (formal information by COST association), October 11, 2021 - October 10, 2025 (action chair: Frédéric Blanqui, action vice chair: Sandra Alves).

I am member of the working groups WG3 (Program Verification), WG4 (Libraries of Formal Proofs) and WG6 (Type Theory).

The European research network on types for programming and verification (EUTYPES)

COST Action CA15123 (formal information by COST association), March 21, 2016 - March 20, 2020. I was a member of the management committee throughout the lifetime of the network (for the partner country France).

The TYPES conference series

See the permanent web site. The website of TYPES 2017 also lists the previous instalments, including functioning links to the web sites of 8 of them (before 2017). The TYPES conference series was connected to EUTYPES but not part of it. I was chairman of the steering committee from June 2017 to June 2021 (after TYPES 2017 - TYPES 2021) and had been an ordinary steering committee member before (after TYPES 2013 - TYPES 2017).

Univalent Mathematics

A unified approach to formalization of mathematical knowledge based on Univalent Foundations: the GitHub repository (I have properly contributed to the UniMath library and the additional TypeTheory library, and I am member of the UniMath Coordinating Committee - with six members as of December 2022).

Research project Climt

"Categorical and Logical Methods in Model Transformation", 2012-2016, financed by the French National Research Agency, no. ANR-11-BS02-016. I was the responsible for the Toulouse site (the other site was Grenoble, with project leader Rachid Echahed).

Talks

Teaching (in French in France 2012-presently)

Teaching (in German in Germany 1997-2005)

Events since 2017

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.


Former affiliation until 31st August 2005: Wissenschaftlicher Assistent (C1) at the chair for theoretical computer science, Ludwig-Maximilian-University, Munich
Birthdays of mathematicians
Ralph Matthes
https://www.irit.fr/~Ralph.Matthes/

Last modified (date in French): mar. mars 12 18:38:47 CET 2024