Commit 088ff45b authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2006-01-17 13:37:24 by beppe] Empty log message

Original author: beppe
Date: 2006-01-17 13:37:24+00:00
parent a7d924da
......@@ -30,14 +30,14 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
<p><b>Jeudi 26 janvier</b></p>
<ol>
<li><b>[9:30] </b>Accueil</li>
<li><b>[10:00] </b> Alain Frisch <i>OCaml+(X+C)Duce </i></li>
<li><b>[10:45] </b> Kim Nguyn <i>Type projectors</i> </li>
<li><b>[11:30] </b> Francoise Gire <i>General structure constraints for XML documents</i> </li>
<li><b>[10:00] </b> Alain Frisch <i>OCaml+ XDuce </i></li>
<li><b>[10:45] </b> Francoise Gire <i>General structure constraints for XML documents</i> </li>
<li><b>[11:30] </b> Ioana Manolescu <i> Uload, choosing the right storage for your XML applications - Demo </i> </li>
<li><p/><b>Djeuner</b><p/></li>
<li><b>[14:00] </b><i>Discussion et organisation gnrale</i> (planification, prochaines runions, coordination, etc.)</li>
<li><b>[15h30] </b> Nicole Bidoit, Dario Colazzo <i> Systeme de preuves par tableaux pour la logique multi-modale hybride</i></li>
<li><b>[16:15] </b> Ioana Manolescu <i> Uload, choosing the right storage for your XML applications - Demo </i></li>
<li><b>[16:15] </b> Kim Nguyn <i>Type projectors</i></li>
</ol>
<p><b>Vendredi 27 janvier</b></p>
<ol>
......@@ -53,12 +53,12 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
<p>
<b>Lille:</b> Anne-Ccile Caron, Sophie Tison, Joachim Niehren, Jean-Marc
Talbot, Iovka Boneva, Denis Debarbieux, Emmanuel Filiot
<b>Ens:</b> Giuseppe Castagna, Alain Frisch
<b>Ens:</b> Giuseppe Castagna,
<b>Inria:</b> Ioana Manolescu
<b>LRI:</b> Vronique Benzaken, Nicole Bidoit, Dario Colazzo, Cdric Miachon, Kim Nguyn, Matthieu Objois,
<b>Marseille:</b> Lucia Acciai, Denis Lugiez
<b>Paris 7:</b> Claire David, Anca Muscholl, Mathias Samuelides,
<b>Invits :</b> Francoise Gire, Cosimo Laneve.
<b>Invits :</b> Alain Frisch, Francoise Gire, Cosimo Laneve.
</p>
</box>
</page>
......
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