Commit 0b99c870 authored by Pietro Abate's avatar Pietro Abate

[r2005-04-20 15:59:08 by beppe] Empty log message

Original author: beppe
Date: 2005-04-20 15:59:08+00:00
parent 24227744
......@@ -20,7 +20,6 @@ demo" name="proto"/>-->
<include file="demo.xml"/>
<include file="download.xml"/>
<include file="bench.xml"/>
<include file="ocaml.xml"/>
<include file="papers.xml"/>
<include file="stages.xml"/>
<include file="documentation.xml"/>
......
......@@ -15,33 +15,48 @@
</left>
<left>
<p> All pages of this site were automatically generated from an XML description of
the content by <a href="examples.html#site">the following CDuce program</a>.
</p><p><img src="img/cducepower.jpg" alt="Powered by CDuce"/></p>
<p> All pages of this site were automatically generated from an XML
description of the content by <a href="examples.html#site">the
following CDuce program</a>. </p><p><img src="img/cducepower.jpg"
alt="Powered by CDuce"/></p>
</left>
<box title="Programme provvisoire" link="pro">
<box title="Programme" link="pro">
<p>
Deuxime runion plenaire de Tralala, 10-11 mars 2005, Marseille.</p>
Deuxime runion plnire de Tralala, 10-11 mars 2005, salle des
thses, Universit de Provence (Aix-Marseille I), Facult des
sciences, 3 place Victor Hugo, Marseille..</p>
<p><b>Liste de talks</b></p>
<ol>
<li> Joachim Niehren (LIFL): <i>Introduction aux automates d'arbres et relation avec les langages de requtes</i></li>
<li> Cdric Lhoussaine (LIFL): <i>Introduction au pi-calcul et relation avec les langages concurrents</i>.</li>
<li> Giuseppe Castagna (ENS): <i> Introduction au sous-typage smantique</i></li>
<li> Giuseppe Castagna (ENS): <i> Soutypage pour le pi-calcul</i></li>
<li> Luc Segoufin (INRIA): <i>Typage de documents XML: la perspective BD.</i></li>
<li> Joachim Niehren (LIFL): <i>Introduction aux automates d'arbres
et relation avec les langages de requtes</i>.</li> <li> Giuseppe
Castagna (ENS): <i>Introduction au sous-typage smantique</i>.</li>
<li> Cdric Lhoussaine (LIFL): <i>Introduction au pi-calcul et
relation avec les langages concurrents</i>.</li> <li> Giuseppe
Castagna (ENS): <i> Sous-typage smantique pour le
pi-calcul</i>.</li> <li> Jacques Le Maitre (Univ. Toulon):
<i>Prsentation du projet ACI SemWeb</i>.</li> <li> Silvano Dal
Zilio (LIF): <i>Un calcul typ pour la manipulation des grands
documents XML</i>.</li> <li> Ioana Manolescu (INRIA): <i>valuation
de requtes sur des documents XML compresss</i>.</li> <li> Dario
Colazzo (LRI): <i>Validating XPath queries</i>.</li> <li> Andrei
Arion (INRIA) <i>Optimisation de requtes XML sous
contraintes</i>.</li>
</ol>
</box>
<box title="Participants prevus" link="par">
<box title="Participants" link="par">
<p>
<b>Lille:</b> Anne-Ccile Caron, Sophie Tison, Joachim Niehren, Jean-Marc
Talbot, Cdric Lhoussaine, Iovka Boneva, Denis Debarbieux, Laurent Planque,
<b>Ens:</b> Giuseppe Castagna,
<b>Inria:</b> Ioana Manolescu, Andrei Arion, Luc Segoufin, Alain Frisch
<b>LRI:</b> Vronique Benzaken, Nicole Bidoit, Kim Nguyn, Matthieu
Objois, Marwan Burelle, Dario Colazzo <b>Marseille:</b> Silvano Dalzilio, Lucia Acciai,
Denis Lugiez <b>Paris 7:</b> Anca Muscholl, Claire David, Mathias Samuelides.
<b>Lille:</b> Laurent Planque, Emmanuel Filliot, Iovka Boneva, Denis
Debarbieux, Joachim Niehren, Cdric Lhoussaine, Jean-Marc Talbot,
Sophie Tison, Anne-Cecile Caron, <b>Ens:</b> Giuseppe Castagna,
<b>INRIA:</b> Ioana Manolescu, Andrei Arion, <b>LRI:</b> Vronique
Benzaken, Dario Colazzo, Cdric Miachon, Kim Nguyn,
<b>Marseille:</b> Silvano Dal-Zilio, Lucia Acciai, Denis Lugiez,
Franois Denis, Roberto Amadio, Jacques Le Maitre, <b>Paris 7:</b>
Claire David, Mathias Samuelides.
</p>
</box>
</page>
</page>
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment