[r2004-10-28 22:30:28 by beppe] programme

Original author: beppe
Date: 2004-10-28 22:30:28+00:00

web/tralala_1st.xml

@@ -30,22 +30,27 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
     en face du batiment 6, marque par un triangle rouge.</p>
 <p><b>Liste de talks (ordre non significatif)</b></p>
 <ol>
-   <li>Kim Nguyen (LRI): <i>Itrateurs pour XML</i>.</li>
-    <li>Cdric Miachon (ENS): <i> CQL: A Full Pattern-based Paradigm for
-                                 XML Query Processing.</i></li>
-   <li> Silvano Dal-Zilio (LIF): <i>ASTuce, une restriction de CDuce pour la
+   <li><b>[10.00-10.25]</b> Silvano Dal-Zilio (LIF): <i>ASTuce, une restriction de CDuce pour la
                             manipulation des grands documents XML</i></li>
-   <li>Lucia Acciai (LIF): <i>XPi: a typed process calculus for XML messaging.</i></li>
-   <li>Daniele Varacca (ENS):<i>Semantic subtyping for the pi-calculus.</i></li>
-   <li>Andrei Arion (INRIA): <i>Optimisation gnrique de 
+   <li><b>[10.25-10.50]</b> Kim Nguyen (LRI): <i>Itrateurs pour XML</i>.</li>
+   <li><b>[10.50-11.15]</b> Cdric Miachon (ENS): <i> CQL: A Full Pattern-based Paradigm for
+                                 XML Query Processing.</i>
+        <p/><b>[11.15-11.30] Pause</b><p/></li>
+  <li><b>[11.30-11.55]</b> Andrei Arion (INRIA): <i>Optimisation gnrique de 
                           requtes XQuery</i></li>
-   <li>Nicole Bidoit (LRI):  <i>Donnes semistricturees et logique 
+  <li><b>[11.55-12.20]</b> Nicole Bidoit (LRI):  <i>Donnes semistricturees et logique 
                                 modale hybride</i></li>
-   <li>Iovka Boneva (LIFL): <i>Class of automata for unranked unordered 
+  <li><b>[12.20-12.55]</b> Joachim Niehren (LIFL): <i>Learning node selecting tree 
+                        transducer from completely annotated examples</i>
+        <p/><b>[13.00-14.00] Repas (pot ENS)</b><p/></li>
+   <li><b>[14.00-14.25]</b> Lucia Acciai (LIF): <i>XPi: a typed process calculus for XML messaging.</i></li>
+   <li><b>[14.25-14.50]</b> Daniele Varacca (ENS):<i>Semantic subtyping for the pi-calculus.</i></li>  
+   <li><b>[14.50-15.15]</b> Iovka Boneva (LIFL): <i>Class of automata for unranked unordered 
                              trees and connection with the TQL logic.</i></li>
-   <li>Joachim Niehren (LIFL)(40 mn): <i>Learning node selecting tree 
-                        transducer from completely annotated examples</i></li>
-</ol>
+   <li><b>[15.15-15.40]</b> Anca Muscholl (LIAFA): <i>Automates avec des conditions Presburger.</i>
+        <p/><b>[15.40-16.00] Pause</b><p/></li>
+   <li> <b>[16.00-18.30]</b> <i> Discussion et organisation gnrale</i> (planification, prochaines runions, coordination, etc.)</li>
+ </ol>
 </box>
 <box title="Participants" link="par">
 <p>