| 1 |
<?xml version="1.0" encoding="utf-8" standalone="yes"?>
|
| 2 |
<page name="tralala_marseille06">
|
| 3 |
|
| 4 |
<title>Tralala: Journées du 23 et 24 mai 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
|
| 19 |
description of the content by <a href="examples.html#site">the
|
| 20 |
following CDuce program</a>. </p><p><img src="img/cducepower.jpg"
|
| 21 |
alt="Powered by CDuce"/></p>
|
| 22 |
</left>
|
| 23 |
|
| 24 |
|
| 25 |
<box title="Programme" link="pro">
|
| 26 |
<p>Cinquième réunion de Tralala, 23 et 24 mai 2006, Salle LSH/411,
|
| 27 |
Université de Provence, campus Saint-Charles.</p>
|
| 28 |
|
| 29 |
<note>
|
| 30 |
La salle LSH/411 se trouve sur le campus Saint-Charles de l'université
|
| 31 |
de Provence. Voir la vue aérienne <a href="http://www.cmi.univ-mrs.fr/~dalzilio/acces-tralala-marseille.png">ici</a>.
|
| 32 |
|
| 33 |
Pour y accéder, il faut tout d'abord suivre le chemin amenant au
|
| 34 |
CROUS. Arrivé en haut d'un grand escalier, tournez sur votre droite,
|
| 35 |
descendez un petit escalier et traversez un portail qui ferme l'accès nord du
|
| 36 |
campus. Sur votre gauche se trouve le bâtiment LSH (cinq étages, en
|
| 37 |
béton blanc, à clairvoies). La salle se trouve au 4ème étage.
|
| 38 |
</note>
|
| 39 |
|
| 40 |
|
| 41 |
<p><b>Mardi 23 mai</b></p>
|
| 42 |
<ol>
|
| 43 |
<li><b>[11:30] </b>Accueil</li>
|
| 44 |
|
| 45 |
<li><p/><b>Déjeuner</b><p/></li>
|
| 46 |
|
| 47 |
<li><b>[13:30] </b> Alain Frisch <i>Streaming XML par évaluation
|
| 48 |
gloutonne</i></li>
|
| 49 |
|
| 50 |
<li><b>[14:15] </b> Nicole Bidoit, Dario Colazzo <i>Capturing well typed
|
| 51 |
references in DTDs</i> </li>
|
| 52 |
|
| 53 |
<li><p/><b>Pause</b><p/></li>
|
| 54 |
|
| 55 |
<li><b>[15:30] </b> Nabil Layaida, Pierre Geneves (INRIA
|
| 56 |
Rhône-Alpes) <i>Mu-calcul pour les arbres finis et analyse statique
|
| 57 |
de XPath</i> </li>
|
| 58 |
|
| 59 |
<li><b>[16:15] </b> Joachim Niehren, Emmanuel Filiot <i>TBA</i></li>
|
| 60 |
|
| 61 |
</ol>
|
| 62 |
|
| 63 |
<p><b>Mercredi 24 mai</b></p>
|
| 64 |
<ol>
|
| 65 |
|
| 66 |
<li><b>[09:00] </b> Denis Lugiez <i>Presburger modal
|
| 67 |
logic is only PSPACE complete</i></li>
|
| 68 |
|
| 69 |
<li><b>[09h45] </b> Lucia Acciai <i>Responsiveness in Process
|
| 70 |
Calculi</i></li>
|
| 71 |
|
| 72 |
<li><p/><b>Pause</b><p/></li>
|
| 73 |
|
| 74 |
<li><b>[11:00] </b> <i>Mâtinée démos:</i>
|
| 75 |
<ol>
|
| 76 |
|
| 77 |
<li>Cédric Miachon <i>Pattern by Example: a graphical language
|
| 78 |
for XML processing -- Démo</i></li>
|
| 79 |
|
| 80 |
<li>Kim Nguyen <i>Crawlers in CDuce -- Démo</i></li>
|
| 81 |
|
| 82 |
<li>Kim Nguyen <i>ECDuce = CDuce + XHTML -- Démo</i></li>
|
| 83 |
|
| 84 |
</ol>
|
| 85 |
</li>
|
| 86 |
|
| 87 |
</ol>
|
| 88 |
</box>
|
| 89 |
|
| 90 |
<box title="Participants" link="par">
|
| 91 |
<p>
|
| 92 |
<b>Lille:</b> Anne-Cécile Caron, Sophie Tison, Joachim Niehren,
|
| 93 |
Jean-Marc Talbot, Denis Debarbieux, Emmanuel Filiot; <b>Ens:</b>
|
| 94 |
Giuseppe Castagna, Nils Gesbert; <b>LRI:</b> Véronique Benzaken,
|
| 95 |
Nicole Bidoit, Dario Colazzo, Cédric Miachon, Kim Nguyên;
|
| 96 |
<b>Marseille:</b> Lucia Acciai, Silvano Dal Zilio, Denis Lugiez;
|
| 97 |
<b>Paris 7:</b> Mathias Samuelides; <b>Invités :</b> Alain Frisch,
|
| 98 |
Francoise Gire, Nabil Layaida, Pierre Geneves.
|
| 99 |
</p>
|
| 100 |
</box>
|
| 101 |
</page>
|
| 102 |
|