[r2006-01-04 16:56:02 by beppe] Empty log message

Original author: beppe
Date: 2006-01-04 16:56:02+00:00

web/tralala_paris06.xml

@@ -30,17 +30,17 @@ 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> Orateur 1 <i>Talk 1</i></li>
-   <li><b>[11:00] </b> Orateur 2 <i>Talk 2</i> </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><p/><b>Djeuner</b><p/></li>
-   <li><b>[14:00] </b>Cosimo Laneve (Universit di Bologna) <i>TBA</i>  </li>
-   <li><b>[15:00] </b></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>
 </ol>
 <p><b>Vendredi 27 janvier</b></p>
 <ol>
-   <li><b>[10:00] </b></li>
-   <li><b>[11:00] </b> <i>Discussion et organisation gnrale</i> (planification, prochaines runions, coordination, etc.)</li>
+   <li><b>[10:00] </b>Cosimo Laneve (Universit di Bologna) <i>TBA</i></li>
+   <li><b>[11:00] </b> </li>
    <li><p/><b>Djeuner</b><p/></li>
    <li><b>[14:00]</b></li>
    <li><b>[15:00]</b></li>