Commit c7a4fdeb authored by Pietro Abate's avatar Pietro Abate

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

Original author: beppe
Date: 2007-01-10 14:40:28+00:00
parent dced65fa
......@@ -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>
......
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