[r2004-10-23 18:51:57 by beppe] Empty log message

Original author: beppe
Date: 2004-10-23 18:51:57+00:00

web/tralala_1st.xml

@@ -29,8 +29,10 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
     en face du batiment 6, marque par un triangle rouge.</p>
 <ol>
    <li>Kim Nguyen (LRI): <i>Itrateurs pour XML</i>.</li>
-   <li>Lucia Acciai (LIF): <i>XPi: a typed process calculus for XML messaging"</i></li>
-   <li> 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> Silvano Dal-Zilio (LIF): <i>ASTuce, une restriction de CDuce pour la
+                            manipulation des grands documents XML</i></li>
    <li>Cdric Miachon (ENS): <i> CQL: A Full Pattern-based Paradigm for
                                  XML Query Processing.</i></li>
    <li>Andrei Arion (INRIA): <i>Optimisation gnrique de