Page maintenue par Emmanuel Chailloux, dernière modification le 31/05/2007
 LIP6/SPIRAL | UFR P6 |
PPS |
| Lieux : |
site Chevaleret
salle 6A92
Université Denis Diderot
175 rue du Chevaleret
75013 Paris
|
ou |
site Kennedy
salle 548
Université Pierre et Marie Curie
104 avenue du président Kennedy
75016 Paris
|
(attention, il faut venir avec une pièce d'identité pour l'accueil du Rdc, puis monter à l'accueil du 6ème étage pour ensuite aller au 5ème)
Andrew Tolmach (Gallium Inria - DCS Portland State University)
Operating Systems in Haskell: Implementations and Models (abstract)
Bruno Lesueur (UPMC)
MétaGen : un point de vue sur la génération d'applications par méta-modélisation (lien)
(attention, il faut venir avec une pièce d'identité pour l'accueil du Rdc, puis monter à l'accueil du 6ème étage pour ensuite aller au 5ème)
Une vison << multi-paradigmatique >> des modèles de conception objet (abstract)
Classes, Types, Universaux ? (abstract et page web)
Philippe Matherat (LTCI, ENST)
Le temps de la nature et le temps des modèles de calcul: leur rencontre dans la réalisation des ordinateurs (abstract)
soutenance de thèse de Raphael Montelatici (PPS)
Langages fonctionnels, typage et interopérabilité : Objective Caml sur .NET (abstract)
Basile Starynkevitch (CEA LIST)
Infrastructure for Global Static Analysis in Global GCC (abstract)
(voir aussi l'annonce du séminaire du matin sur mygcc : lien)
Philippe Devloo (UNICAMP - FEC)
OOPAR, an object oriented environment for the development of parallel software (abstract)
Manipulation déclarative de structures de données de dimension arbitraire (abstract)
Piero Furiesi (projet ocsigen)
Development of a collaborative Web site in Ocaml (and for OCaml) with Ocsigen (abstract)
Bruno Barras (Logical - Inria Futurs, LIX) & Hugo Herbelin (Logical - Inria Futurs, LIX)
22 ans de développement du système Coq (abstract)
Alexis Darrasse (équipe PLOP)
retours d'expérience de l'ICFP Programming Contests 2006
avec l'aimable partitipation des équipes CamlNuggets et Caml Riders
Roberto Di Cosmo (PPS), séance commune avec le GdT concurrence (attention c'est plus tot à 15h en 6A92 ).
Maintaining free and open source software distribution
Nicolas Pouillard (projet Gallium - Inria)
Rénovation de camlp4 (abstract)
Haruo HOSOYA (Université de Tokyo), séance commune avec le GdT concurrence (attention c'est plus tot à 15h en 6A92 ).
bixid: A bidirectional transformation language for XML (abstract).
| LIP6/SPIRAL | UFR P6 |
PPS |