annotating the internet

archivebay

Latest

Text

Home Teaching Publications

Service Software

Open Access Media Bio

WebLog Opinions Contact

SOCIAL

Twitter LinkedIn

Google+

BOOKS

Isomorphisms of types Le Hold Up

Planétaire Manifesto Art Internet

Professeur d'Informatique

Detaché chez Inria

Membre du Laboratoire PPS ,

maintenant part de l'IRIF

Université Paris Diderot

Ancien membre du feu LIENS

(Laboratoire d'Informatique de l' École Normale Supérieure)

-------------------------

Coordination scientifique:

* Directeur de l'initiative Software Heritage

* Directeur de l'Irill

* Vice-Président du groupe thématique Logiciel Libre de System@tic

* Membre du CA de l'IMDEA

Quelques conférences et groupes de travail:

* OSS 2017 (Conference on Open Source Systems)

* SPLC 2017 (Conference on Software Product Lines)

* ESOCC 2016 (European Conference on Service-Oriented and Cloud

Computing)

* OSS 2015 (Conference on Open Source Systems)

* OSS 2014 (Conference on Open Source Systems)

* OSS 2013 (Conference on Open Source Systems)

* OSS 2012 (Conference on Open Source Systems)

* OSS 2011 (Conference on Open Source Systems)

* ICALP 2009

* The 18th conference on Rewriting Techniques and Applications (RTA

'07)

* 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)

-------------------------

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:

* 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

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

-------------------------

Erdos number: 3 (Longo, Csiszar, Erdos)

-------------------------

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

.

via OSWD .

Source

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<title>Roberto Di Cosmo</title>

<div id="menu">
  <a href="index.html">Home</a> 

  <a href="teaching.html">Teaching</a>
  <a href="Publications/publi-by-year.html">Publications</a>
  <a href="Service/">Service</a>
  <a href="FreeSoftware/">Software</a>

  <a href="FSP/">Open Access</a>
  <a href="Media/">Media</a>
  <a href="bio.html">Bio</a>
  <a href="MyOpinions/">WebLog</a>

  <a href="Opinions/">Opinions</a>
  <a href="coordinates.html">Contact</a> 
 </div>

<div id="leftsidebar">
    <div class="submenu">
    <h1>Social</h1>
      <a href="http://www.twitter.com/rdicosmo">Twitter</a>
      <a href="http://fr.linkedin.com/pub/roberto-di-cosmo/2/640/284">LinkedIn</a><p></p>
      <a href="https://www.google.com/+RobertoDiCosmo">Google+</a><p></p>
   
    </div>
    <div class="submenu">
    <h1>Books</h1>
       <a href="Publications/ISOSBook.html">Isomorphisms of types</a>
       <a href="HoldUp/">Le Hold Up Planétaire</a>
       <a href="http://www.amazon.fr/Manifeste-Cr%C3%A9ation-Artistique-Libre-Internet/dp/1445795671">Manifesto Art Internet</a>
    </div>
    </div>

<p><font size="+1"> Professeur d'Informatique </font></p>

<p>Detaché chez <a href="http://www.inria.fr">Inria</a></p>

<p>Membre du Laboratoire
<a href="http://www.pps.univ-paris-diderot.fr">PPS</a>, maintenant part de l'<a href="http://www.irif.univ-paris-diderot.fr">IRIF</a>
</p>

<p></p>

<p><a href="http://www.univ-paris-diderot.fr">Université Paris Diderot</a></p>

<p>Ancien membre du feu <a href="http://web.archive.org/web/19990428034416/www.di.ens.fr/PRESENTATION/PRESENT01.html">LIENS</a><br> (Laboratoire d'Informatique de l'<a href="http://www.ens.fr/"> École Normale Supérieure)</a></p>

<hr>

<p>
Coordination scientifique: 
</p><ul>
<li>Directeur de l'initiative <a href="http://www.softwareheritage.org">Software Heritage</a>
</li><li>Directeur de l'<a href="http://www.irill.org">Irill</a>
</li><li>Vice-Président du <a href="http://www.systematic-paris-region.org/fr/groupe-thematique-logiciel-libre">groupe thématique Logiciel Libre de System@tic</a>
</li><li>Membre du CA de l'<a href="http://www.software.imdea.org">IMDEA</a>
</li></ul>
<p></p>

<p>Quelques conférences et groupes de travail:</p><p></p>

<div class="caroufredsel_wrapper" style="display: block; text-align: left; float: none; position: relative; inset: auto; z-index: auto; width: 680px; height: 96px; margin: 11.84px 0px; overflow: hidden;"><ul id="foo0" style="text-align: left; float: none; position: absolute; inset: 0px auto auto 0px; margin: 0px; height: 512px; width: 680px;">
        <li style="height: 16px;"><a href="http://oss2017.org/">OSS 2017 (Conference on Open Source Systems)</a>
        </li><li style="height: 16px;"><a href="http://congreso.us.es/splc2017/">SPLC 2017 (Conference on Software Product Lines)</a>
    </li><li style="height: 16px;"><a href="http://dblp.uni-trier.de/db/conf/esocc/esocc2016.html">ESOCC 2016 (European Conference on Service-Oriented and Cloud Computing)</a>
        </li><li style="height: 16px;"><a href="http://dblp.uni-trier.de/db/conf/oss/oss2015.html">OSS 2015 (Conference on Open Source Systems)</a>
        </li><li style="height: 16px;"><a href="http://dblp.uni-trier.de/db/conf/oss/oss2014.html">OSS 2014 (Conference on Open Source Systems)</a>
        </li><li style="height: 16px;"><a href="http://dblp.uni-trier.de/db/conf/oss/oss2013.html">OSS 2013 (Conference on Open Source Systems)</a>
        </li><li style="height: 16px;"><a href="http://dblp.uni-trier.de/db/conf/oss/oss2012.html">OSS 2012 (Conference on Open Source Systems)</a>
        </li><li style="height: 16px;"><a href="http://dblp.uni-trier.de/db/conf/oss/oss2011.html">OSS 2011 (Conference on Open Source Systems)</a>
        </li><li style="height: 16px;"><a href="http://dblp.uni-trier.de/db/conf/icalp/icalp2009-1.html">ICALP 2009</a>

        </li><li style="height: 16px;"><a href="http://www.lsv.ens-cachan.fr/rdp07/rta.html">The 18th conference on Rewriting Techniques and Applications (RTA '07)</a>
        </li><li style="height: 16px;"><a href="http://www.dicosmo.org/WRS05">International Workshop on Reduction Strategies in Rewriting and Programming (WRS'05)</a>
        </li><li style="height: 16px;"><a href="http://www2.informatik.hu-berlin.de/lics/lics04/">The conference on Logic in Computer Science (LICS'04)</a>
        </li><li style="height: 16px;"><a href="http://www.labri.fr/Perso/~igw/FOSSACS">Foundations of Software Science and Computation Structures (FOSSACS'04)</a>

</li></ul></div>

<hr>

<p>Quelques interventions: </p><p></p>

<p></p><menu>
    <li><a href="http://www.inria.fr/40ans/forum/video.fr.php#v2">Technologies de l'information et de la communication : changement d'échelle et nouveaux défis</a>, à Lille, le 11 décembre 2007, pour les 40 ans de l'<a href="http://www.inria.fr">INRIA</a>
</li></menu><p></p>

<hr>

<p>Une analyse accessible des enjeux technologiques et stratégiques dans la société de l'information:</p><p></p>

<li style="width: 360px;"> Un article sur l'<i>Education du e-citoyen</i>, paru dans le bulletin de Specif de Decembre 2004, est disponible <a href="http://www.dicosmo.org/Papers/Specif-3-3.pdf">en ligne ici</a>; aussi <a href="http://ditwww.epfl.ch/publications-spip/article.php3?id_article=813">dans le Flash Informatique de l'EPFL</a>. Voir aussi la position de l'<a href="http://www.epi.asso.fr/revue/docsom.htm">EPI</a>, et l'entrée dans <a href="http://fr.wikipedia.org">Wikipedia</a> sur le <a href="http://fr.wikipedia.org/wiki/Syst%C3%A8me_%C3%A9lectoral_%C3%A0_pr%C3%A9f%C3%A9rences_multiples_ordonn%C3%A9es">système éléctoral à préférences multiples ordonnées</a>.
.

</li><li style="width: 360px;"> Un article sur les <i> brevets logiciels</i> : <a href="http://www.upgrade-cepis.org/issues/2003/3/up4-3DiCosmo.pdf">Legal Tools to Protect Software: Choosing the Right One</a> [<a href="Papers/up4-3DiCosmo.pdf">copie locale</a>] paru dans <a href="http://www.upgrade-cepis.org/issues/2003/3/upgrade-vIV-3.html">Upgrade</a>. Voyez aussi <a href="http://www.cs.kun.nl/~henk/against.pdf">ce qui en pense Henk Barendregt</a>.
</li><li style="width: 360px;"> Un article fondamental <a href="Piege/cybersnare/">disponible en plusieures langues</a>:<br>
<p> 
 Chinese:  <a href="Piege/PiegeCN.html">CyberSnare (chinese)</a>
<br>
 Français: <a href="Piege/PiegeFR.html">Piège dans le Cyberespace</a> (PostScript Gzipped <a href="piege.ps.gz">ici</a>)
<br>
 English:  <a href="Piege/PiegeEN.html">CyberSnare</a>
<br>
 Italiano: <a href="Piege/PiegeIT.html">Trappola nel CyberSpazio</a> (Poscript Gzipped <a href="trappola.ps.gz">qui</a>)
<br>
 Espanol:  <a href="Piege/PiegeES.html">Trampa en el CyberEspacio</a> (PostScript Gzipped <a href="Piege/trampas.ps.gz">aca</a>)
<br>
 Allemand: <a href="Piege/PiegeDE.html">Falle Im Cyberspace</a>
</p>
</li><li style="width: 360px;"> Un livre, pour plus de détail: <a href="http://www.dicosmo.org/HoldUp/">Le Hold-up planetaire: la face cachée de Microsoft.</a>

</li><li style="width: 360px;"> <a href="radio-11-10-2003.html">Quelques informations complémentaires</a> pour l'émission Sciences-Frictions sur France Culture
du 11 Octobre 2003.
</li><li style="width: 360px;"> <a href="TALKS/">des transparents de support pour séminaires</a>
</li><li style="width: 360px;"> <a href="Presse/index.fr.html">quelques articles sur ce sujet dans la presse</a>
</li></ul></div>

<p> </p><hr>
 <p>Erdos number: 3 (Longo, Csiszar, Erdos) </p>
 <hr>
 <p>Quelques pointeurs. </p>
<p>Open source links:  <a href="http://www.aful.org">Associacion Francophone d'Utilisateurs de Linux</a>, <a href="http://www.linuxfr.org">LinuxFR</a>, <a href="http://www.linux-center.org">Linux Center</a>,
<a href="http://www.sourcefunds.org">Source Funds</a>, <a href="http://www.april.org">April</a>, <a href="http://www.fsf.org">Free Software Foundation</a>, <a href="http://www.gnu.org">GNU</a> </p>
<p>AntiTrust:  <a href="http://www.detaxewindows.org">Reimboursement Windows</a>, <a href="http://www.essential.org">Essential</a>, <a href="http://www.eff.org">EFF</a> </p>
<p>WebMemory:  <a href="http://webdev.archive.org">The WayBack machine</a></p>
<p>Pourquoi vous ne devez pas m'envoyer des pièces jointes en Word:  <a href="Stallman-Word-Attachment-AutoReply.html">lire ici</a> ou <a href="http://www.rfc1149.net/documents/whynotword">aussi ici</a>.</p><p></p>

</div>
 <div id="footer">

<div class="pagecopyright">
 <a name="pagecopyright"></a>
 (C) Roberto Di Cosmo
 </div>

Based on a CSS designed by <a href="http://www.sixshootermedia.com/">James Koster</a>
 via <a href="http://www.oswd.org/">OSWD</a>.
 </div>
 
 
 </div>

</body></html>