Homepage of Ralph Matthes, Chargé de Recherche au CNRS

(Before 31st August 2005: Wissenschaftlicher Assistent (C1) at the chair for theoretical computer science, Ludwig-Maximilian-University, Munich )
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".

A reasonably recent photo: A
 picture of me

Published and unpublished work

Talks

Teaching (in German)

Events

Workshop Fixed Points in Computer Science 2010 (FICS 2010) on August 21/22 in Brno, a satellite of MFCS & CSL'10. I am PC member and 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 am 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.

Workshop Fixed Points in Computer Science 2009 (FICS 2009) on September 12/13 in Coimbra, a satellite of CSL'09. I was program co-chair.

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.


Birthdays of mathematicians
Ralph Matthes
http://www.irit.fr/~Ralph.Matthes/

Last modified: Thu Feb 25 11:38:22 CET 2010