Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
50b2d0e5
Commit
50b2d0e5
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2006-01-12 11:07:25 by beppe] Empty log message
Original author: beppe Date: 2006-01-12 11:07:25+00:00
parent
22174c3c
Changes
1
Hide whitespace changes
Inline
Side-by-side
web/tralala_paris06.xml
View file @
50b2d0e5
...
...
@@ -37,16 +37,16 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
<li><b>
[14:00]
</b><i>
Discussion et organisation gnrale
</i>
(planification, prochaines runions, coordination, etc.)
</li>
<li><b>
[15h30]
</b>
Nicole Bidoit
<i>
Systeme de preuves par tableaux pour la logique multi-modale hybride
</i></li>
<li><b>
[16:15]
</b>
Ioana Manolescu
<i>
Uload, choosing the right storage for your XML applications - Demo
</i></li>
<li><b>
[16:15]
</b>
Ioana Manolescu
<i>
Uload, choosing the right storage for your XML applications - Demo
</i></li>
</ol>
<p><b>
Vendredi 27 janvier
</b></p>
<ol>
<li><b>
[10:00]
</b>
Cosimo Laneve (Universit di Bologna)
<i>
PiDuce: a calculus for experimenting web services technologies
</i></li>
<li><b>
[10:00]
</b>
Cosimo Laneve (Universit di Bologna)
<i>
PiDuce: a calculus for experimenting web services technologies
</i></li>
<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>
<li><p/><b>
Djeuner
</b><p/></li>
<li><b>
[14:00]
</b>
Mathias Samuelides
<i>
tree walking automata with pebbles
</i></li>
<li><b>
[1
5:00]
</b
></li>
<li><b>
[1
4:45]
</b>
Denis Lugiez
<i>
TBA
</i
></li>
</ol>
</box>
<box
title=
"Participants"
link=
"par"
>
...
...
@@ -55,9 +55,9 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
Talbot, Iovka Boneva, Denis Debarbieux, Emmanuel Filiot
<b>
Ens:
</b>
Giuseppe Castagna, Alain Frisch
<b>
Inria:
</b>
Ioana Manolescu
<b>
LRI:
</b>
Vronique Benzaken, Nicole Bidoit, Dario Colazzo, Cdric Miachon, Kim Nguyn,
<b>
Marseille:
</b>
Lucia Acciai
<b>
Paris 7:
</b>
Anca Muscholl, Mathias Samuelides,
<b>
LRI:
</b>
Vronique Benzaken, Nicole Bidoit, Dario Colazzo, Cdric Miachon, Kim Nguyn,
Matthieu Objois,
<b>
Marseille:
</b>
Lucia Acciai
, Denis Lugiez
<b>
Paris 7:
</b>
Claire David,
Anca Muscholl, Mathias Samuelides,
<b>
Invits :
</b>
Francoise Gire, Cosimo Laneve.
</p>
</box>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment