tralala_nice07.xml 2.73 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
33
Representation of XML
types beyond regular and an optimized strategy
for type-checking of regular expression types
34

35
<b>PROVISIONAL TALK LIST:</b>
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
<ol> 
   <li>[08:50]<b>Accueil </b></li> 
   <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>
   <li>[10:30]<b>Coffee break</b></li> 
   <li>[11:00] <b> Alain Frisch and Haruo Hosoya. </b> <i>Towards Practical Typechecking for Macro Tree Transducers</i></li>
   <li>[11:45]<b>Haiming Chen. </b> <i>Representation of XML
types beyond regular and an optimized strategy
for type-checking of regular expression types
</i></li>
   <li>[12:30]<b>Lunch </b></li> 
   <li>[14:30] <b> Kim Nguyen. </b> <i>TBA</i></li>
   <li>[15:15] <b> Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison. </b> <i>TBA</i></li>
   <li>[16:30]<b>Coffee break</b></li> 
    <li><b>[17:00] </b>Business meeting: project termination extension (proposed Dec 07), future projects, next meetings, ...  </li>
52
53
54
55
56
 </ol>
</box>

<box title="Participants" link="par">
<p>
57
58
   <b>INRIA : </b > Alain Frisch ;  <b>Lille :  </b >Anne-Ccile Caron, 
  Emmanuel Filiot, Olivier Gauwin, Joachim Niehren, Sophie Tison ; <b>LRI : </b> Vronique Benzaken,
59
  Dario Colazzo,  Nils Gesbert, Cdric Miachon, Kim Nguyn ;
60
  <b>Marseille :  </b> Lucia Acciai, Clara Bertolissi, Silvano Dal Zilio, Jean-Marc Talbot ;
61
  <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)
62
63
64
65
</p>
</box>
</page>