tralala_nice07.xml 2.66 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_nice07">

<title>Tralala: Journe du 21 janvier 2007</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>Sixime runion de Tralala, 21 janvier 2007, Hotel Plaza, Nice.</p> 

<note>
29
Il est possible/souhaitable s'enregistrer  POPL et   PLAN-X</note>
30 31


32
<b>PROVISIONAL TALK LIST:</b>
33
<ol> 
34
   <li>[08:50] <b>Accueil </b></li> 
35 36 37
   <li>[09:00] <b>Vincent Balat. </b> <i>Typed Web Programming in OCaml with Ocsigen.</i></li>
   <li>[09:45] <b> Dario Colazzo. </b> <i>An efficient algorithm for XML type
projection.</i></li>
38
   <li>[10:30] <b>Coffee break</b></li> 
39
   <li>[11:00] <b> Alain Frisch and Haruo Hosoya. </b> <i>Towards Practical Typechecking for Macro Tree Transducers</i></li>
40
   <li>[11:45] <b>Haiming Chen. </b> <i>Representation of XML
41 42 43
types beyond regular and an optimized strategy
for type-checking of regular expression types
</i></li>
44
   <li>[12:30] <b>Lunch </b></li> 
45
   <li>[14:30] <b> Kim Nguyen. </b> <i>TBA</i></li>
46
   <li>[15:15] <b> Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison. </b> <i>Polynomial Time Fragments of XPath with Variables</i></li>
47 48
   <li>[16:30] <b>Coffee break</b></li> 
    <li>[17:00] Business meeting: project termination extension (proposed Dec 07), future projects, next meetings, ...  </li>
49 50 51 52 53
 </ol>
</box>

<box title="Participants" link="par">
<p>
54 55
   <b>INRIA : </b > Alain Frisch ;  <b>Lille :  </b >Anne-Ccile Caron, 
  Emmanuel Filiot, Olivier Gauwin, Joachim Niehren, Sophie Tison ; <b>LRI : </b> Vronique Benzaken,
56
  Dario Colazzo,  Nils Gesbert, Cdric Miachon, Kim Nguyn ;
57
  <b>Marseille :  </b> Lucia Acciai, Clara Bertolissi, Silvano Dal Zilio, Jean-Marc Talbot ;
58
  <b>Paris 7 : </b> Vincent Balat, Giuseppe Castagna, Jrme Vouillon ; <b>Invits : </b>Gavin Bierman (Microsoft Research), Haiming Chen (Chinese Accademy of Sciences), Elena Giachino (Universit di Torino), Franoise Gire (Universit Paris I - Sorbonne), Haruo Hosoya, Kazuhiro Inaba (Tokyo University), Luca Padovani (Universit degli Studi di Urbino)
59 60 61 62
</p>
</box>
</page>