trunk/web/tralala_paris06.xml

<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<page name="tralala_paris06">

<title>Tralala: JournÃ©es du 26 et 27 janvier 2006</title>

<left>
<p style="font-size: 12pt; color: fuchsia">Available Pages</p>
<ul>
  <li><a href="tralala.html">Tralala</a> </li>
  <li><a href="tralala_partenaires.html">Partenaires</a> </li>
  <li><a href="tralala_documents.html">Documents</a> </li>
  <li><a href="tralala_reunions.html">RÃ©unions</a> </li>
  <li><a href="tralala_mailing.html">Listes de diffusion</a> </li>
</ul>
</left>

<left>
<p> All pages of this site were automatically generated from an XML description of
the content by <a href="examples.html#site">the following CDuce program</a>.
</p><p><img src="img/cducepower.jpg" alt="Powered by CDuce"/></p>
</left>


<box title="Programme" link="pro">
<p>
    QuatriÃ¨me rÃ©union de Tralala, 26 et 27 janvier 2006, Sous-marin, LIAFA, sixiÃ¨me 
    Ã©tage, 175 rue du Chevaleret.
    Pour  l'accÃ¨s Ã  Chevaleret consulter cette
    <a href="http://www.liafa.jussieu.fr/web9/acces/acces_fr.php">page</a> </p>
<p><b>Jeudi 26 janvier</b></p>
<ol>
   <li><b>[9:30] </b>Accueil</li>
   <li><b>[10:00] </b> Alain Frisch <i>OCaml+ XDuce </i></li>
   <li><b>[10:45] </b> Francoise Gire <i>General structure constraints for XML documents</i> </li>
   <li><b>[11:30] </b> Ioana Manolescu <i> Uload, choosing the right storage for your XML applications - Demo </i> </li>
   <li><p/><b>DÃ©jeuner</b><p/></li>
   
   <li><b>[14:00] </b><i>Discussion et organisation gÃ©nÃ©rale</i> (planification, prochaines rÃ©unions, coordination, etc.)</li>
<li><b>[15h30] </b>  Nicole Bidoit, Dario Colazzo <i> Systeme de preuves par tableaux pour la logique multi-modale hybride</i></li>
   <li><b>[16:15] </b> Kim NguyÃªn <i>Type projectors</i></li>
</ol>
<p><b>Vendredi 27 janvier</b></p>
<ol>
   <li><b>[10:00] </b> Cosimo Laneve (UniversitÃ¡ di Bologna) <i>PiDuce: a calculus for experimenting web services technologies</i></li>
<li><b>[10h45] </b> Lucia Acciai <i>A Typed Calculus for Querying Distributed XML Documents</i></li>
<li><b>[11:30] </b> Denis Debarbieux <i> Requetes graphes </i></li>
   <li><p/><b>DÃ©jeuner</b><p/></li>
   <li><b>[14:00]</b> Mathias Samuelides <i>tree walking automata with pebbles</i></li>
 </ol>
</box>
<box title="Participants" link="par">
<p>
  <b>Lille:</b> Anne-CÃ©cile Caron, Sophie Tison, Joachim Niehren, Jean-Marc
  Talbot, Iovka Boneva, Denis Debarbieux, Emmanuel Filiot
  <b>Ens:</b> Giuseppe Castagna,
  <b>Inria:</b>  Andrei Arion, Ioana Manolescu
  <b>LRI:</b> VÃ©ronique Benzaken, Nicole Bidoit, Dario Colazzo, CÃ©dric Miachon, Kim NguyÃªn, Matthieu Objois, 
  <b>Marseille:</b> Lucia Acciai
  <b>Paris 7:</b> Claire David, Mathias Samuelides,
  <b>InvitÃ©s :</b> Alain Frisch, Nils Gesbert, Francoise Gire, Cosimo Laneve.
</p>
</box>
</page>

1	<?xml version="1.0" encoding="utf-8" standalone="yes"?>
2	<page name="tralala_paris06">
3
4	<title>Tralala: JournÃ©es du 26 et 27 janvier 2006</title>
5
6	<left>
7	<p style="font-size: 12pt; color: fuchsia">Available Pages</p>
8	<ul>
9	<li><a href="tralala.html">Tralala</a> </li>
10	<li><a href="tralala_partenaires.html">Partenaires</a> </li>
11	<li><a href="tralala_documents.html">Documents</a> </li>
12	<li><a href="tralala_reunions.html">RÃ©unions</a> </li>
13	<li><a href="tralala_mailing.html">Listes de diffusion</a> </li>
14	</ul>
15	</left>
16
17	<left>
18	<p> All pages of this site were automatically generated from an XML description of
19	the content by <a href="examples.html#site">the following CDuce program</a>.
20	</p><p><img src="img/cducepower.jpg" alt="Powered by CDuce"/></p>
21	</left>
22
23
24	<box title="Programme" link="pro">
25	<p>
26	QuatriÃ¨me rÃ©union de Tralala, 26 et 27 janvier 2006, Sous-marin, LIAFA, sixiÃ¨me
27	Ã©tage, 175 rue du Chevaleret.
28	Pour l'accÃ¨s Ã Chevaleret consulter cette
29	<a href="http://www.liafa.jussieu.fr/web9/acces/acces_fr.php">page</a> </p>
30	<p><b>Jeudi 26 janvier</b></p>
31	<ol>
32	<li><b>[9:30] </b>Accueil</li>
33	<li><b>[10:00] </b> Alain Frisch <i>OCaml+ XDuce </i></li>
34	<li><b>[10:45] </b> Francoise Gire <i>General structure constraints for XML documents</i> </li>
35	<li><b>[11:30] </b> Ioana Manolescu <i> Uload, choosing the right storage for your XML applications - Demo </i> </li>
36	<li><p/><b>DÃ©jeuner</b><p/></li>
37
38	<li><b>[14:00] </b><i>Discussion et organisation gÃ©nÃ©rale</i> (planification, prochaines rÃ©unions, coordination, etc.)</li>
39	<li><b>[15h30] </b> Nicole Bidoit, Dario Colazzo <i> Systeme de preuves par tableaux pour la logique multi-modale hybride</i></li>
40	<li><b>[16:15] </b> Kim NguyÃªn <i>Type projectors</i></li>
41	</ol>
42	<p><b>Vendredi 27 janvier</b></p>
43	<ol>
44	<li><b>[10:00] </b> Cosimo Laneve (UniversitÃ¡ di Bologna) <i>PiDuce: a calculus for experimenting web services technologies</i></li>
45	<li><b>[10h45] </b> Lucia Acciai <i>A Typed Calculus for Querying Distributed XML Documents</i></li>
46	<li><b>[11:30] </b> Denis Debarbieux <i> Requetes graphes </i></li>
47	<li><p/><b>DÃ©jeuner</b><p/></li>
48	<li><b>[14:00]</b> Mathias Samuelides <i>tree walking automata with pebbles</i></li>
49	</ol>
50	</box>
51	<box title="Participants" link="par">
52	<p>
53	<b>Lille:</b> Anne-CÃ©cile Caron, Sophie Tison, Joachim Niehren, Jean-Marc
54	Talbot, Iovka Boneva, Denis Debarbieux, Emmanuel Filiot
55	<b>Ens:</b> Giuseppe Castagna,
56	<b>Inria:</b> Andrei Arion, Ioana Manolescu
57	<b>LRI:</b> VÃ©ronique Benzaken, Nicole Bidoit, Dario Colazzo, CÃ©dric Miachon, Kim NguyÃªn, Matthieu Objois,
58	<b>Marseille:</b> Lucia Acciai
59	<b>Paris 7:</b> Claire David, Mathias Samuelides,
60	<b>InvitÃ©s :</b> Alain Frisch, Nils Gesbert, Francoise Gire, Cosimo Laneve.
61	</p>
62	</box>
63	</page>
64