Page maintenue par Emmanuel Chailloux, dernière modification le 24/06/2008
 LIP6/SPIRAL |
PPS |
| Lieux : |
site Chevaleret
salle 6A92
Université Denis Diderot
175 rue du Chevaleret
75013 Paris
|
ou |
site Kennedy
Université Pierre et Marie Curie
104 avenue du président Kennedy
75016 Paris
|
De la programmation fonctionnelle en programmation objet : une synthese avec le cas C# (abstract)
Alexandre Chapoutot (CEA, LIX)
Analyse statique de programmes Simulink (abstract)
Luca Padovani (STI - Universita di Urbino)
A taste of Carbon (abstract)
An Overview of Lua Programming Language (abstract)
Gabriel Kerneis (ENST - PPS)
Continuation Passing C et le lambda-lifting de variables impératives (abstract)
Alexis Darrasse (Spiral / CalSci / LIP6 - UPMC)
Applications de la génération boltzmannienne aux structures arborescente (abstract)
Shriram Krishnamurthi (PLT - CS - Brown University) (voir aussi exposé le matin au séminaire PPS : lien)
TeachScheme!: Lessons From Our First Decade (abstract)
Serge Petiton (LIFL/MAP - Inria/Grand large)
Quels langages pour les machines et plateformes de calcul hybrides futures ? (abstract)
(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)
Olivier Danvy (BRICS, Department of Computer Science, University of Aarhus)
Sur les calculs, les machines abstraites et les interpretes (abstract)
Meriem Belguidoum (équipe CAMA - ENST Bretagne)
Analyse des dépendances pour le déploiement sûr des composants logiciels (abstract)
Jean-Vincent Loddo (LIPN - université Paris 13) & Luca Saiu (LIPN - université Paris 13)
Marionnet, laboratoire de réseaux virtuels (abstract)
| LIP6/SPIRAL |
PPS |