| 14h00 |
|
|
|
|
D..E Knuth Pistols and BDDs |
M. Crochemore Local
periodicities in strings |
Excursion Château dans les Graves |
| 15h00 |
|
|
| |
|
| 15h30 |
|
|
| |
N. Broutin Random trees,
heights and large deviations |
L. Lhote Analysis of fast
versions of the Euclid algorithm |
| 16h10 |
|
|
| |
M. Bouvel
A variant of the tandem duplication-random
loss model of genome rearrangement |
L. C. Aleardi
Succint representation of labeled
graphs |
| 16h50 |
|
|
| |
|
J.-C. Filliâtre
Formal Verification of MIX Programs |
| 17h20 |
|
|
| |
J. Barbay
Succint data structures, Adaptive (analysis
of) algorithms |
| 18h00 |
|
| |
A. Lefebvre
Efficient validation and construction of
Knuth-Morris-Pratt arrays |
| 18h30 |
|
Invitation à la Mairie de Bordeaux |
| |
| 19h30 |
Dîner de Gala à Castelterrefort |