[r2007-01-10 14:40:28 by beppe] Empty log message

Original author: beppe
Date: 2007-01-10 14:40:28+00:00

web/tralala_nice07.xml

@@ -34,21 +34,21 @@ for type-checking of regular expression types
 
 <b>PROVISIONAL TALK LIST:</b>
 <ol> 
-   <li>[08:50]<b>Accueil </b></li> 
+   <li>[08:50] <b>Accueil </b></li> 
    <li>[09:00] <b>Vincent Balat. </b> <i>Typed Web Programming in OCaml with Ocsigen.</i></li>
    <li>[09:45] <b> Dario Colazzo. </b> <i>An efficient algorithm for XML type
 projection.</i></li>
-   <li>[10:30]<b>Coffee break</b></li> 
+   <li>[10:30] <b>Coffee break</b></li> 
    <li>[11:00] <b> Alain Frisch and Haruo Hosoya. </b> <i>Towards Practical Typechecking for Macro Tree Transducers</i></li>
-   <li>[11:45]<b>Haiming Chen. </b> <i>Representation of XML
+   <li>[11:45] <b>Haiming Chen. </b> <i>Representation of XML
 types beyond regular and an optimized strategy
 for type-checking of regular expression types
 </i></li>
-   <li>[12:30]<b>Lunch </b></li> 
+   <li>[12:30] <b>Lunch </b></li> 
    <li>[14:30] <b> Kim Nguyen. </b> <i>TBA</i></li>
    <li>[15:15] <b> Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison. </b> <i>TBA</i></li>
-   <li>[16:30]<b>Coffee break</b></li> 
-    <li><b>[17:00] </b>Business meeting: project termination extension (proposed Dec 07), future projects, next meetings, ...  </li>
+   <li>[16:30] <b>Coffee break</b></li> 
+    <li>[17:00] Business meeting: project termination extension (proposed Dec 07), future projects, next meetings, ...  </li>
  </ol>
 </box>