Roberto Di Cosmo

photo

Professeur

Membre du Laboratoire PPS

Université de Paris VII

Ancien membre du feu LIENS
(Laboratoire d'Informatique de l' École Normale Supérieure)

English Espanol


Les formations: l'Ecole Doctorale de Sciences Mathématiques de Paris Centre, le Master Parisien de Recherche en Informatique (MPRI), le Master de Paris 7

Coordination scientifique: le groupe thématique Logiciel Libre de System@tic, l'IMDEA

Quelques conférences et groupes de travail:

  • IWOCE 2009 (Open Component Ecosystems)
  • ICALP 2009
  • Mancoosi (Managing the COmplexity of the Open Source Infrastructure
  • FML
  • Workshop on Public Data about Software Development 2008
  • Research Room@FOSDEM 2008
  • Research Room@FOSDEM 2007
  • The 18th conference on Rewriting Techniques and Applications (RTA '07)
  • Moprosco: une ARC avec l'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)
  • First International on Free Software Development and Usage (LACFREE'03)
  • First internaitonal competition on Free Software
  • International Workshop on Isomorphisms of Types (WIT'02) Copie des slides ici
  • 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

  • Quelques interventions:

  • Technologies de l'information et de la communication : changement d'échelle et nouveaux défis, à Lille, le 11 décembre 2007, pour les 40 ans de l'INRIA

  • Une analyse accessible des enjeux technologiques et stratégiques dans la société de l'information:


    Quelques pointeurs.

    Open source links: Associacion Francophone d'Utilisateurs de Linux, LinuxFR, Linux Center, Source Funds, April, Free Software Foundation, GNU

    AntiTrust: Reimboursement Windows, Essential, EFF

    WebMemory: The WayBack machine

    Pourquoi vous ne devez pas m'envoyer des pièces jointes en Word: lire ici ou aussi ici.


    Valid HTML 4.0!