| 28 |
<note> |
<note> |
| 29 |
Il est possible/souhaitable s'enregistrer à POPL et à PLAN-X</note> |
Il est possible/souhaitable s'enregistrer à POPL et à PLAN-X</note> |
| 30 |
|
|
|
Representation of XML |
|
|
types beyond regular and an optimized strategy |
|
|
for type-checking of regular expression types |
|
| 31 |
|
|
| 32 |
<b>PROVISIONAL TALK LIST:</b> |
<b>PROVISIONAL TALK LIST:</b> |
| 33 |
<ol> |
<ol> |
| 43 |
</i></li> |
</i></li> |
| 44 |
<li>[12:30] <b>Lunch </b></li> |
<li>[12:30] <b>Lunch </b></li> |
| 45 |
<li>[14:30] <b> Kim Nguyen. </b> <i>TBA</i></li> |
<li>[14:30] <b> Kim Nguyen. </b> <i>TBA</i></li> |
| 46 |
<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> |
| 47 |
<li>[16:30] <b>Coffee break</b></li> |
<li>[16:30] <b>Coffee break</b></li> |
| 48 |
<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> |
| 49 |
</ol> |
</ol> |
Parent Directory
| 
Revision Log
| 
Patch