Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Roberto Di Cosmo
[go: Go Back, main page]

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


Membre de la Section 27 du CNU.

Les formations:

Quelques conférences et groupes de travail:

  • 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

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