Groupe de travail "Programmation"

      site Italie (plan d'accès)
      IRILL
      23 avenue d'Italie
      75013 Paris

       site Jussieu (plan d'accès)
       Université Pierre et Marie Curie
       4 place Jussieu
       75005 Paris

       site Sophie Germain (plan d'accès)
       Université Paris Diderot
       au coin avenue de France et rue Alice-Domon & Léonie-Duquet
       75013 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.

Il existe aussi un flux  RSS 2.0 pour recevoir les annonces.

La plupart des séances sont communes avec le séminaire IRILL, mais il peut avoir d'autres annonces d'exposés ou de réunions à l'IRILL :

----> suivre le lien IRILL events.

exposés à venir

• le 03/07/14, Leo Testard (UPMC)

• jeudi 3 juillet à 15h45 sur le site Italie (3ème étage, salle Algorithme) <----- se présenter à l'accueil pour avoir le code

  Léo Testard (UPMC)

  Sûreté mémoire avec Rust (abstract)

• jeudi 19 juin à 15h45 sur le site Italie (3ème étage, salle Algorithme) <----- se présenter à l'accueil pour avoir le code

  Pierre Chifflier (ANSSI)

  Retour d'expérience sur quelques utilisations d'OCaml dans les labos de l'ANSSI (abstract)

• jeudi 10 avril à 15h45 sur le site Italie (3ème étage , salle Algorithme) <----- se présenter à l'accueil pour avoir le code

  Samuel Hym (LIFL)

  Borner la consommation de mémoire dynamique (abstract)

• mercredi 19 mars à 14h sur le site Italie (3ème étage, salle Algorithme) <------ Attention au jour, horaire et salle, se présenter à l'accueil pour avoir le code

  Christian Schulte (KTH (Stockholm) et Swedish Institute of Computer Science)

  Gecode - an open constraint solving library (abstract)

• jeudi 13 mars sur le site Italie (5ème étage, salle Orange 1) <----- se présenter à l'accueil pour avoir le code

  Jean Krivine (PPS - Université Paris-Diderot)

  Representation and simulation of dynamical systems with a high degree of combinatorial explosion. ( abstract)

• jeudi 27 février sur le site Italie (5ème étage, salle Orange 2) <----- se présenter à l'accueil pour avoir le code

  Francesco Zappa Nardelli (Parkas - INRIA / ENS)

  Types you can count on: Like types for JavaScript (abstract)

• jeudi 13 février sur le site Italie (3ème étage, salle Algorithme) <----- se présenter à l'accueil pour avoir le code

  Cagdas Bozman (OCamlPro - ENSTA)

  Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement (abstract)

• Attention séance annulée (elle sera reprogrammée)

  (jeudi 30 janvier sur le site Italie (5ème étage, salle Orange) <----- Attention à la salle, se présenter à l'accueil pour avoir le code

  Cagdas Bozman (OCamlPro - ENSTA)

  Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement (abstract) )

• jeudi 16 janvier ur le site Italie (3ème étage, salle Algorithme) <----- se présenter à l'accueil pour avoir le code

  Gabriel Kerneis (Computer Laboratory - University of Cambridge)

  QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines (abstract)

• jeudi 12 décembre sur le site Italie (3ème étag e, salle Algorithme) <----- se présenter à l'accueil pour avoir le code

  Jean-Ferdinand Susini (CEDRIC-CNAM)

  De l'utilisation des GPU dans la programmation Réactive/Synchrone "à la" Boussinot (abstract)

• jeudi 28 novembre sur le site Italie (5ème étage, salle Orange) <----- Attention à la salle, se présenter à l'accueil pour avoir le code

  Yann Orlarey (Grame)

  le langage FAUST (Functional AUdio STream) (abstract)

Page maintenue par Emmanuel Chailloux, dernière modification le 01/07/2014

---

LIP6/RSR/APR

PPS

IRILL