Commit 44ea696a authored by Pietro Abate's avatar Pietro Abate

[r2005-03-31 14:26:14 by beppe] Empty log message

Original author: beppe
Date: 2005-03-31 14:26:15+00:00
parent 6ec46ab7
......@@ -33,8 +33,7 @@ Sur cette page:
<author>G. Castagna</author>
<author>R. De Nicola</author>
<author>D. Varacca</author>
<comment> <i>Unpublished manuscript</i>. </comment>
<comment> <i>LICS 2005, IEEE Symposium on Logic in Computer Science</i>. </comment>
<abstract> <p>
Subtyping relations for the pi-calculus are usually defined in a
syntactic way, by means of structural rules. We propose a semantic
......@@ -293,6 +292,35 @@ premi
</slides>
</li>
<li>
<slides file="http://www.lifl.fr/~niehren/tralala/automata-query-tutorial.pdf">
<title>Tree Automata and All That:
Node Selection Queries in Trees</title>
<author presenter="yes">Joachim Niehren</author>
<comment> Presented in March 2005 at the
<a href="http://www.cduce.org/tralala_marseille05.html">
second Tralala Meeting</a> in Marseille. These
slides are password protected: login name
and password are tralala.
</comment>
</slides>
</li>
<li>
<slides file="http://www.lifl.fr/~niehren/tralala/query-learning.pdf">
<title>Learning Node Selecting Tree Transducer from Completely Annotated Examples</title>
<author>Julien Carme</author>
<author>Arélien Lemay</author>
<author presenter="yes">Joachim Niehren</author>
<comment> Presented 2004 at the
<a href="http://www.cduce.org/tralala_1st.html">
first Tralala Meeting</a> in Paris.
These slides are password protected: login name
and password are tralala.
</comment>
</slides>
</li>
</ul>
</box>
......
......@@ -29,6 +29,7 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
<li> Joachim Niehren (LIFL): <i>Introduction aux automates d'arbres et relation avec les langages de requtes</i></li>
<li> Cdric Lhoussaine (LIFL): <i>Introduction au pi-calcul et relation avec les langages concurrents</i>.</li>
<li> Giuseppe Castagna (ENS): <i> Introduction au sous-typage smantique</i></li>
<li> Giuseppe Castagna (ENS): <i> Soutypage pour le pi-calcul</i></li>
<li> Luc Segoufin (INRIA): <i>Typage de documents XML: la perspective BD.</i></li>
</ol>
</box>
......@@ -36,7 +37,7 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
<p>
<b>Lille:</b> Anne-Ccile Caron, Sophie Tison, Joachim Niehren, Jean-Marc
Talbot, Cdric Lhoussaine, Iovka Boneva, Denis Debarbieux, Laurent Planque,
<b>Ens:</b> Giuseppe Castagna, Cdric Miachon, Daniele Varacca,
<b>Ens:</b> Giuseppe Castagna,
<b>Inria:</b> Ioana Manolescu, Andrei Arion, Luc Segoufin, Alain Frisch
<b>LRI:</b> Vronique Benzaken, Nicole Bidoit, Kim Nguyn, Matthieu
Objois, Marwan Burelle, Dario Colazzo <b>Marseille:</b> Silvano Dalzilio, Lucia Acciai,
......
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