Commit 55d20ebf authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2006-01-12 11:07:25 by beppe] Empty log message

Original author: beppe
Date: 2006-01-12 11:07:25+00:00
parent 3be55cb5
......@@ -37,16 +37,16 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
<li><b>[14:00] </b><i>Discussion et organisation gnrale</i> (planification, prochaines runions, coordination, etc.)</li>
<li><b>[15h30] </b> Nicole Bidoit <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> Ioana Manolescu <i> Uload, choosing the right storage for your XML applications - Demo </i></li>
</ol>
<p><b>Vendredi 27 janvier</b></p>
<ol>
<li><b>[10:00] </b>Cosimo Laneve (Universit di Bologna) <i>PiDuce: a calculus for experimenting web services technologies</i></li>
<li><b>[10:00] </b> Cosimo Laneve (Universit di Bologna) <i>PiDuce: a calculus for experimenting web services technologies</i></li>
<li><b>[10h45] </b> Lucia Acciai <i>A Typed Calculus for Querying Distributed XML Documents</i></li>
<li><b>[11:30] </b> Denis Debarbieux <i> Requetes graphes </i></li>
<li><p/><b>Djeuner</b><p/></li>
<li><b>[14:00]</b> Mathias Samuelides <i>tree walking automata with pebbles</i></li>
<li><b>[15:00]</b></li>
<li><b>[14:45]</b> Denis Lugiez <i> TBA </i></li>
</ol>
</box>
<box title="Participants" link="par">
......@@ -55,9 +55,9 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
Talbot, Iovka Boneva, Denis Debarbieux, Emmanuel Filiot
<b>Ens:</b> Giuseppe Castagna, Alain Frisch
<b>Inria:</b> Ioana Manolescu
<b>LRI:</b> Vronique Benzaken, Nicole Bidoit, Dario Colazzo, Cdric Miachon, Kim Nguyn,
<b>Marseille:</b> Lucia Acciai
<b>Paris 7:</b> Anca Muscholl, Mathias Samuelides,
<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.
</p>
</box>
......
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