[r2006-01-12 19:04:00 by beppe] Empty log message

Original author: beppe
Date: 2006-01-12 19:04:00+00:00

web/tralala_paris06.xml

@@ -36,7 +36,7 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
    <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 <i> Systeme de preuves par tableaux pour la logique multi-modale hybride</i></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>
 </ol>
 <p><b>Vendredi 27 janvier</b></p>