[r2007-01-10 14:26:43 by beppe] Empty log message

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

CHANGES

@@ -2,6 +2,8 @@ Since 0.4.1
 - Added int_of_char
 
 0.4.1
+=======
+
 
 - Tools:
    * Error message when using --mlstub without the built-in OCaml interface

TODO

+- Define a small library to pretty print xml documents
+  e.g.  pretty_dump_xml_to_file (shorter name of course)
+
+
 - Dans l'evaluateur, pour les appels en position terminale, essayer de réutiliser
   l'environnement (si c'est la bonne taille, réutiliser le bloc; si c'est les bonnes
   valeurs, juste utiliser le même bloc).

web/tralala_nice07.xml

@@ -28,17 +28,27 @@ alt="Powered by CDuce"/></p>
 <note>
 Il est possible/souhaitable s'enregistrer  POPL et   PLAN-X</note>
 
-
+Representation of XML
+types beyond regular and an optimized strategy
+for type-checking of regular expression types
 
 <b>PROVISIONAL TALK LIST:</b>
-<ol>
-   <li><b>[09:00] </b>Accueil</li> 
-   <li> <b>Vincent Balat. </b> <i>Typed Web Programming in OCaml with Ocsigen.</i></li>
-   <li> <b> Kohei Honda and Nobuko Yoshida. </b> <i>TBA</i></li>
-   <li> <b> Alain Frisch and Haruo Hosoya. </b> <i>Towards Practical Typechecking for Macro Tree Transducers</i></li>
-   <li> <b> Kim Nguyen. </b> <i>TBA</i></li>
-   <li> <b> Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison. </b> <i>TBA</i></li>
-    <li><b>[17:30] </b>Business meeting: project termination extension (proposed Dec 07), future projects, next meetings, ...  </li>
+<ol> 
+   <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>[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
+types beyond regular and an optimized strategy
+for type-checking of regular expression types
+</i></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>
  </ol>
 </box>
 
@@ -46,9 +56,9 @@ Il est possible/souhaitable s'enregistrer
 <p>
    <b>INRIA : </b > Alain Frisch ;  <b>Lille :  </b >Anne-Ccile Caron, 
   Emmanuel Filiot, Olivier Gauwin, Joachim Niehren, Sophie Tison ; <b>LRI : </b> Vronique Benzaken,
-  Nicole Bidoit, Dario Colazzo,  Nils Gesbert, Cdric Miachon, Kim Nguyn ;
+  Dario Colazzo,  Nils Gesbert, Cdric Miachon, Kim Nguyn ;
   <b>Marseille :  </b> Lucia Acciai, Clara Bertolissi, Silvano Dal Zilio, Jean-Marc Talbot ;
-  <b>Paris 7 : </b> Vincent Balat, Giuseppe Castagna, Jrme Vouillon ; <b>Invits : </b>Gavin Bierman (Microsoft Research), Haiming Chen (Chinese Accademy of Sciences), Franoise Gire (Universit Paris I - Sorbonne), Kohei Honda (Queen Mary and Westfield College, London), Haruo Hosoya, Kazuhiro Inaba (Tokyo University), Luca Padovani (Universit degli Studi di Urbino), Nobuko Yoshida (Imperial College, London).
+  <b>Paris 7 : </b> Vincent Balat, Giuseppe Castagna, Jrme Vouillon ; <b>Invits : </b>Gavin Bierman (Microsoft Research), Haiming Chen (Chinese Accademy of Sciences), Elena Giachino (Universit di Torino), Franoise Gire (Universit Paris I - Sorbonne), Haruo Hosoya, Kazuhiro Inaba (Tokyo University), Luca Padovani (Universit degli Studi di Urbino)
 </p>
 </box>
 </page>