
Roberto Di Cosmo
Professor
Member of the PPS research laboratory
University of Paris VII
Former member of the ex LIENS
Computer Science Laboratory of the École normale supérieure (ENS)
Our graduate and undergraduate curricula:
Ecole Doctorale de Sciences Mathématiques de Paris Centre
Master Parisien de Recherche en Informatique
Master de Paris 7
Dea Programmation (now merged into the MPRI above)
Some conferences and working groups:
OSS 2011 (Conference on Open Source Systems)
IWOCE 2009 (Open Component Ecosystems)
ICALP 2009
FML
Workshop on Public Data about Software Development 2008
Research Room@FOSDEM 2007
The 18th conference on Rewriting Techniques and Applications (RTA '07)
Moprosco: an ARC project with INRIA
International Workshop on Reduction Strategies in Rewriting and Programming (WRS'05)
The conference on Logic in Computer Science (LICS'04)
Foundations of Software Science and Computation Structures (FOSSACS'04)
International Workshop on Reduction Strategies in Rewriting and Programming (WRS'03) (proceedings)
First International Conference on Free Software Development and Usage (LACFREE'03)
First international competition on Free Software
International Workshop on Isomorphisms of Types (WIT'02) slides here
International Workshop on Reduction Strategies in Rewriting and Programming (WRS'02)
School in Logic and Computation, Edinburgh 1999 Copie des slides ici
The conference on Logic in Computer Science (LICS'99)
Les journées francophones des langages applicatifs (JFLA'99)
The conference on Foundations of Software Science and Computation Structures (FOSSACS'99)
The 9th conference on Rewriting Techniques and Applications (RTA '98)
The GDR-AMI french working group on rewriting and logic
The french-italian Galileo joint effort on parallel functional programming
|