[r2004-11-04 11:11:57 by beppe] added slides

Original author: beppe
Date: 2004-11-04 11:11:58+00:00

web/tralala_1st.xml

@@ -43,10 +43,11 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
   <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.00-14.25]</b> Lucia Acciai (LIF): <i>XPi: a typed process calculus for XML messaging.</i> 
+             (<a href="http://www.cduce.org/tralala_documents/XPi.pdf">slides</a>).</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>
+                             trees and connection with the TQL logic.</i> (<a href="http://www.lifl.fr/~boneva/papers/tralala041103.pdf">slides</a>)</li>
    <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>

web/tralala_documents.xml

@@ -124,7 +124,7 @@ language for XML manipulation that is based on semantic subtyping.
 
 
 <li>	
-<slides file="http://www.cduce.org/tralala_documents/piduce.pdf">
+<slides file="http://www.cduce.org/tralala_documents/piduce_slides.pdf">
    <title>Path Sequence-Based XML Query Processing</title>
    <author>G. Castagna</author>
    <author>R. De Nicola</author>
@@ -137,9 +137,40 @@ language for XML manipulation that is based on semantic subtyping.
 </slides>
 </li>
 
+
+<li>
+<slides file="http://www.cduce.org/tralala_documents/XPi.pdf">
+  <title>XPi: a typed process calculus for XML messaging</title>
+  <author presenter="yes">L. Acciai</author>
+  <author>M. Boreale</author>
+  <comment>
+      Presentation donnée lors de la
+      <a href="http://www.cduce.org/tralala_1st.html">
+      première reunion</a> de Tralala.
+   </comment>
+ </slides>
+</li>
+
+
+<li>   
+<slides file="http://www.lifl.fr/~boneva/papers/tralala041103.pdf">
+   <title>A Class of Automata for Unranked Unordered Trees and Connection with the TQL,
+   MSO and PMSO Logics</title>
+   <author presenter="yes">I. Boneva</author>
+   <author>J.-M. Talbot</author>
+   <author>S. Tison</author>
+   <comment>
+       Presentation donnée lors de la
+      <a href="http://www.cduce.org/tralala_1st.html">
+      première reunion</a> de Tralala.
+   </comment>
+</slides>
+</li>
+
 </ul>
 </box>
 
+
 <box title="Documents" link="doc">
 <ul><li>
   <paper file="papers/tralala.pdf">