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


Les formations:

Quelques conférences et groupes de travail:

  • The 18th conference on Rewriting Techniques and Applications (RTA '06)
  • 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!