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

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 9 of them. 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).

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 2015

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 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.

Workshop (journées d'études) on Proofs, justifications and certificates, June 3 and 4, 2016, Toulouse, part of the trimester CIPPMI. I was member of the scientific organizing committee (consisting of 4 scientists).

22nd International Conference on Types for Proofs and Programs (TYPES 2016), May 23-26, 2016 in Novi Sad, Serbia. I have been member of the steering committee and I have been member of the management committee of the embedded meeting of the EUTypes COST action.

15th Workshop Proof, Computation, Complexity 2016 (PCC 2016) on May 5 and 6 in Munich, Germany. I have been PC co-chair and one of the organizers.

Trimester "Current Issues in the philosophy of practice of mathematics & informatics (CIPPMI) from April 4 to July 1st 2016 in Toulouse. I was member of the scientific organizing committee (consisting of 8 scientists).

10th Workshop Fixed Points in Computer Science 2015 (FICS 2015) on September 11 and 12 in Berlin, Germany, a satellite of CSL 2015. I chaired the steering committee and I was 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.

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): jeu. juil. 8 16:23:15 CEST 2021