Commit a169a837 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2006-05-16 08:59:38 by beppe] Empty log message

Original author: beppe
Date: 2006-05-16 08:59:38+00:00
parent f039fd44
......@@ -63,7 +63,7 @@ b
<p><b>Mercredi 24 mai</b></p>
<ol>
<li><b>[09:00] </b> Denis Lugiez, Cosimo Laneve <i>Presburger modal
<li><b>[09:00] </b> Denis Lugiez <i>Presburger modal
logic is only PSPACE complete</i></li>
<li><b>[09h45] </b> Lucia Acciai <i>Responsiveness in Process
......@@ -79,7 +79,7 @@ b
<li>Kim Nguyen <i>Crawlers in CDuce -- Dmo</i></li>
<li>Nils Gesbert <i>ECDuce = CDuce + XHTML -- Dmo</i></li>
<li>Kim Nguyen <i>ECDuce = CDuce + XHTML -- Dmo</i></li>
</ol>
</li>
......
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