tralala_marseille06.xml 3.1 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
26
27
28
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="tralala_marseille06">

<title>Tralala: Journes du 23 et 24 mai 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>Cinquime runion de Tralala, 23 et 24 mai 2006, Salle LSH/411,
Universit de Provence, campus Saint-Charles.</p> 

29
30
31
32
33
34
35
36
37
38
39
40
<note>
La salle LSH/411 se trouve sur le campus Saint-Charles de l'universit
de Provence. Voir la vue arienne <a href="http://www.cmi.univ-mrs.fr/~dalzilio/acces-tralala-marseille.png">ici</a>.

Pour y accder, il faut tout d'abord suivre le chemin amenant au
CROUS. Arriv en haut d'un grand escalier, tournez sur votre droite,
descendez un petit escalier et traversez un portail qui ferme l'accs nord du
campus. Sur votre gauche se trouve le btiment LSH (cinq tages, en
bton blanc,  clairvoies). La salle se trouve au 4me tage.
</note>


41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
<p><b>Mardi 23 mai</b></p>
<ol>
   <li><b>[11:30] </b>Accueil</li> 

   <li><p/><b>Djeuner</b><p/></li>

   <li><b>[13:30] </b> Alain Frisch <i>Streaming XML par valuation
   gloutonne</i></li> 

   <li><b>[14:15] </b> Nicole Bidoit, Dario Colazzo <i>Capturing well typed
   references in DTDs</i> </li>

   <li><p/><b>Pause</b><p/></li>

   <li><b>[15:30] </b> Nabil Layaida, Pierre Geneves (INRIA
   Rhne-Alpes) <i>Mu-calcul pour les arbres finis et analyse statique
   de XPath</i> </li>
   
   <li><b>[16:15] </b> Joachim Niehren, Emmanuel Filiot <i>TBA</i></li>

</ol>

<p><b>Mercredi 24 mai</b></p>
<ol>

   <li><b>[09:00] </b> Denis Lugiez, Cosimo Laneve <i>Presburger modal
   logic is only PSPACE complete</i></li>

   <li><b>[09h45] </b> Lucia Acciai <i>Responsiveness in Process
   Calculi</i></li>

   <li><p/><b>Pause</b><p/></li> 

   <li><b>[11:00] </b> <i>Mtine dmos:</i>
    <ol>

     <li>Cdric Miachon <i>Pattern by Example: a graphical language
     for XML processing -- Dmo</i></li>

     <li>Kim Nguyen <i>Crawlers in CDuce -- Dmo</i></li>

     <li>Nils Gesbert <i>ECDuce = CDuce + XHTML -- Dmo</i></li>

    </ol>
   </li>

 </ol>
</box>

<box title="Participants" link="par">
<p>
  <b>Lille:</b> Anne-Ccile Caron, Sophie Tison, Joachim Niehren,
  Jean-Marc Talbot, Denis Debarbieux, Emmanuel Filiot; <b>Ens:</b>
  Giuseppe Castagna, Nils Gesbert; <b>LRI:</b> Vronique Benzaken,
  Nicole Bidoit, Dario Colazzo, Cdric Miachon, Kim Nguyn;
  <b>Marseille:</b> Lucia Acciai, Silvano Dal Zilio, Denis Lugiez;
  <b>Paris 7:</b> Mathias Samuelides; <b>Invits :</b> Alain Frisch,
  Francoise Gire, Nabil Layaida, Pierre Geneves.
</p>
</box>
</page>