tralala_paris06.xml 2.75 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="tralala_paris06">

<title>Tralala: Journes 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">Runions</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>
26
    Quatrime runion de Tralala, 26 et 27 janvier 2006, Sous-marin, LIAFA, sixime 
27
28
29
    tage, 175 rue du Chevaleret.
    Pour  l'accs  Chevaleret consulter cette
    <a href="http://www.liafa.jussieu.fr/web9/acces/acces_fr.php">page</a> </p>
30
31
32
<p><b>Jeudi 26 janvier</b></p>
<ol>
   <li><b>[9:30] </b>Accueil</li>
33
34
35
   <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>
36
   <li><p/><b>Djeuner</b><p/></li>
37
38
   
   <li><b>[14:00] </b><i>Discussion et organisation gnrale</i> (planification, prochaines runions, 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 Nguyn <i>Type projectors</i></li>
41
42
43
</ol>
<p><b>Vendredi 27 janvier</b></p>
<ol>
44
   <li><b>[10:00] </b> Cosimo Laneve (Universit di Bologna) <i>PiDuce: a calculus for experimenting web services technologies</i></li>
45
46
<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>
47
   <li><p/><b>Djeuner</b><p/></li>
48
   <li><b>[14:00]</b> Mathias Samuelides <i>tree walking automata with pebbles</i></li>
49
50
51
52
53
 </ol>
</box>
<box title="Participants" link="par">
<p>
  <b>Lille:</b> Anne-Ccile 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> Vronique Benzaken, Nicole Bidoit, Dario Colazzo, Cdric Miachon, Kim Nguyn, Matthieu Objois, 
58
59
60
  <b>Marseille:</b> Lucia Acciai
  <b>Paris 7:</b> Claire David, Mathias Samuelides,
  <b>Invits :</b> Alain Frisch, Nils Gesbert, Francoise Gire, Cosimo Laneve.
61
62
63
64
</p>
</box>
</page>