Commit 9df2bca8 authored by Pietro Abate's avatar Pietro Abate
Browse files

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

Original author: beppe
Date: 2006-01-07 12:25:30+00:00
parent ed65effb
......@@ -31,16 +31,18 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
<ol>
<li><b>[9:30] </b>Accueil</li>
<li><b>[10:00] </b> Alain Frisch <i>OCaml+(X+C)Duce </i></li>
<li><b>[11:00] </b> Kim Nguyn <i>Type projectors</i> </li>
<li><b>[10:45] </b> Kim Nguyn <i>Type projectors</i> </li>
<li><b>[11:30] </b> Francoise Gire <i>TBS</i> </li>
<li><p/><b>Djeuner</b><p/></li>
<li><b>[14:00] </b> Nicole Bidoit <i> Systeme de preuves par tableaux pour la logique multi-modale hybride</i></li>
<li><b>[15:00] </b><i>Discussion et organisation gnrale</i> (planification, prochaines runions, coordination, etc.)</li>
<li><b>[16:00] </b></li>
<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>
</ol>
<p><b>Vendredi 27 janvier</b></p>
<ol>
<li><b>[10:00] </b>Cosimo Laneve (Universit di Bologna) <i>TBA</i></li>
<li><b>[11:00] </b> </li>
<li><b>[11:00] </b>Mathias Samuelides <i>tree walking automata avec pebbles</i></li>
<li><p/><b>Djeuner</b><p/></li>
<li><b>[14:00]</b></li>
<li><b>[15:00]</b></li>
......
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