Page maintenue par Emmanuel Chailloux, dernière modification le 26/05/2006
 PPS | UFR P6 |
Lieu : salle 6A92
Université Denis Diderot
175 rue du Chevaleret
75013 Paris
Horaire : le jeudi AM de 15h45 à 17h15
Fréquence : tous les quinze jours
Si vous désirez être tenu au courant des exposés, envoyer un
courrier.
Xavier Cazin (O'Reilly France)
Le web 2.0, une plate-forme en développement (lien)
Structures de données à la Caml pour Coq: L'exemple des ensembles finis et des tables d'association (abstract)
Jean-Christophe Filliatre (LRI)
Itérer avec persistance (abstract)
Gaétan Hains (ANR, LIFO)
RNTL et autres programmes STIC (masses de donnés, calcul intensif, sécurité et architectures)
Louis Mandel (Verimag), séance commune avec le GdT concurrence (à l'horaire et lieu du GdT prog).
Conception et implantation de ReactiveML (abstract)
Francesco Zappa Nardelli (projet Moscova - Inria)
Acute: high-level programming language design for distributed computation
2ème partie : exemples, typage et sémantique opérationnelle.
Sylvain Baro (DSF - Siemens Transportation Systems)
Mise en sécurité d'un système ferroviaire
Francesco Zappa Nardelli (projet Moscova - Inria)
Acute: high-level programming language design for distributed computation (abstract).
Yves Legrandgérard (PPS) et Jean-Louis Krivine (PPS).
Implantation d'une machine programmable avec des preuves.
François Maurel (Lexifi)
Types dynamiques, annotations de types et génération d'interfaces à la volée
soutenance de thèse d'Anne-Gwenn Bosser (PPS)
Réplications distribuées pour la définition des Interactions de jeux massivement multi-joueurs (abstract).
Une nouvelle approche de la programmation web (abstract).
| PPS | UFR P6 |