Skip to content

GitLab

C
cduce
Commit d1265413 authored by Pietro Abate's avatar Pietro Abate
Browse files
Options

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

Original author: beppe
Date: 2007-01-10 16:16:28+00:00
parent c7a4fdeb
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 4 deletions
web/tralala_nice07.xml
View file @ d1265413
...@@ -28,9 +28,6 @@ alt="Powered by CDuce"/></p> ...@@ -28,9 +28,6 @@ alt="Powered by CDuce"/></p>
<note> <note>
Il est possible/souhaitable s'enregistrer POPL et PLAN-X</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> <b>PROVISIONAL TALK LIST:</b>
<ol> <ol>
...@@ -46,7 +43,7 @@ for type-checking of regular expression types ...@@ -46,7 +43,7 @@ for type-checking of regular expression types
</i></li> </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>[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>[15:15] <b> Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison. </b> <i>Polynomial Time Fragments of XPath with Variables</i></li>
<li>[16:30] <b>Coffee break</b></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> <li>[17:00] Business meeting: project termination extension (proposed Dec 07), future projects, next meetings, ... </li>
</ol> </ol>
......
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