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


Quelques commentaires sur les textes concernant la mise en place du LMD en France.
Les formations: Quelques conférences et groupes de travail:

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