Groupe de travail "Programmation"

année 2008-2009

Lieux :

       site Chevaleret
       salle 6A92
       Université Paris Diderot    
       175 rue du Chevaleret
       75013 Paris

       site Kennedy

       Université Pierre et Marie Curie
       104 avenue du président Kennedy
       75016 Paris

Horaire : le jeudi AM de 15h45 à 17h15 Fréquence : tous les quinze jours Si vous désirez etre tenu au courant des exposés, envoyer un courrier.
Si vous désirez annoncer un événement au [GdT programmation] envoyez l'annonce par courrier et suivez ce lien pour lire les annonces.

jeudi 25 juin sur le site Chevaleret
Pascal Manoury (PPS - UPMC)
Interprétation algorithmique des blasons (abstract)
jeudi 11 juin, sur le site Chevaleret
Elie Soubiran (PPS/INRIA - PI.R2)
A unified framework and a transparent name-space for Coq module system (abstract)
jeudi 28 mai, sur le site Kennedy, salle 555
(attention, il faut venir avec une pièce d'indentité pour l'accueil du Rdc, puis monter à l'accueil du 6ème étage pour ensuite aller au 5ème)
Hakim Belhaouri (LIP6 - UPMC)
Tamago-Test:Une plateforme générique pour la générat ion automatique de test (abstract)
exposé initialement prévu le 19 février
jeudi 14 mai, sur le site Chevaleret
Joel Falcou (LRI - Paris Sud 11)
Programmation générative et méta-programmation appliquée à la programmation parallèle (abstract)
jeudi 9 avril, sur le site Chevaleret
Jules Villard (LSV - ENS Cachan)
Proving Copyless Message Passing (abstract)
pas de séance le jeudi 2/4 - probable séance le 9/4
jeudi 19 mars, sur le site Chevaleret
Gilles Muller (EMN)
Documenting and Automating Collateral Evolutions in Linux Device Drivers (abstract)
jeudi 5 mars, sur le site Chevaleret (attention début à 15h55)
Fabrice Le Fessant (ASAP - INRIA SACLAY)
Sécurisation de la mesure de disponibilité en pair-à-pair (abstract)
attention report de l'exposé prévu le jeudi 19 février à une date ultérieure
Hakim Belhaouri (LIP6 - UPMC)
Tamago-Test:Une plateforme générique pour la génération automatique de test (abstract)
jeudi 5 février, sur le site Chevaleret
Frédéric Chyzak (Algo - Inria et MSR-Inria Joint Center)
Une DynaMoW pour des sites mathématiques interactifs sur le web (abstract)
jeudi 4 décembre, sur le site Chevaleret
Marcus Denker (SCG - université de Berne)
Practical, Pluggable Types for a Dynamic Language (abstract)
jeudi 20 novembre, sur le site Chevaleret
Samuel Mimram (PPS - université Paris Diderot (Paris 7))
De la webradio lambda à la lambda-webradio (abstract)
jeudi 6 novembre, sur le site Chevaleret
Louis Gesbert (LACL - université Paris 12)
Programmation parallèle fonctionnelle et certifiée (abstract)
jeudi 16 octobre, sur le site Chevaleret
Luca Saiu (LIPN - université Paris 13)
Scalable BIBOP garbage collection for parallel functional programs on multi-core machines (abstract)
jeudi 2 octobre, sur le site Chevaleret
Till Varoquaux (ancien PPS)
Compilation multi-passe en OCaml : trancher le noeud Gordien sans perdre les types ni la concision... (abstract)

Anciens programmes de 2007-2008, 2006-2007, de 2005-2006, de 2004-2005, de 2000-2001 et de 99-2000

Page maintenue par Emmanuel Chailloux, dernière modification le 22/06/2009

LIP6/CalSci/APR

PPS