Roberto Di Cosmo
Professeur
Membre du Laboratoire PPS
Ancien membre du feu LIENS
(Laboratoire d'Informatique de l' École Normale Supérieure)
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: l'Irill, le groupe thématique Logiciel Libre de System@tic, l'IMDEA Quelques conférences et groupes de travail:
- OSS 2012 (Conference on Open Source Systems)
- OSS 2011 (Conference on Open Source Systems)
- 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 international 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:
Une analyse accessible des enjeux technologiques et stratégiques dans la société de l'information:
- Un article sur l'Education du e-citoyen, paru dans le bulletin de Specif de Decembre 2004, est disponible en ligne ici; aussi dans le Flash Informatique de l'EPFL. Voir aussi la position de l'EPI, et l'entrée dans Wikipedia sur le système éléctoral à préférences multiples ordonnées. .
- Un article sur les brevets logiciels : Legal Tools to Protect Software: Choosing the Right One [copie locale] paru dans Upgrade. Voyez aussi ce qui en pense Henk Barendregt.
- Un article fondamental disponible en plusieures langues:
Chinese: CyberSnare (chinese)
Français: Piège dans le Cyberespace (PostScript Gzipped ici)
English: CyberSnare
Italiano: Trappola nel CyberSpazio (Poscript Gzipped qui)
Espanol: Trampa en el CyberEspacio (PostScript Gzipped aca)
Allemand: Falle Im Cyberspace - Un livre, pour plus de détail: Le Hold-up planetaire: la face cachée de Microsoft.
- Quelques informations complémentaires pour l'émission Sciences-Frictions sur France Culture du 11 Octobre 2003.
- des transparents de support pour séminaires
- quelques articles sur ce sujet dans la presse
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.
Linux pour tous