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.

• lundi 26 aout 2013 à 10h salle Algorithme

  Christian Grothoff (TMU)

  PRISM and an Agenda for European Network Security Research

exposés à venir

pas d'exposé le jeudi 6 juin.

Philippe Narbel le 20 juin

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

  Philippe Narbel (LABRI)

  De l'interaction entre granularités fonctionnelle et modulaire (abstract)

• jeudi 23 mai à 15h45 sur le site Jussieu (salle 332 couloir 26-00, au 3ème étage) <----- si le couloir est fermé téléphoner au 01 44 27 62 42 ou au 01 44 27 88 16)

  Keith Winstein (MIT)

  Mosh: A State-of-the-Art Good Old-Fashioned Mobile Shell (abstract).

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

  Robin Morisset (Parkas - INRIA, DI ENS)

  Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model (abstract)

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

  Claire Dross (Adacore)

  Use formal methods to verify an Ada program with SPARK2014 (abstract)

• jeudi 28 mars sur le site Sophie Germain (salle 1008, 1er étage) <----- Attention au site

  Xavier Clerc (Gallium - Inria)

  OCaml-Java : OCaml sur la JVM (abstract)

• deux séances le jeudi 21 mars sur le site Italie (5ème étage, salle Orange) <----- Attention à la salle, se présenter à l'accueil pour avoir le code
  • à 14h : Nathan Froyd (Firefox)

    How Firefox Makes Your JavaScript Run Faster (abstract)

  • à 15h45 : Daniel German

    On the provenance of Free and Open Source Software and the legal implications of its reuse (abstract)

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

  Pierre-Etienne Meunier (LAMA - LIAFA)

  Patoline : la typographie "lego" en OCaml (abstract)

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

  Xavier Blanc ( LABRI)

  Harmony : Une plate-forme d'observation de l'évolution logicielle (abstract)

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

  Thibaut Balabonski (Gallium - Inria)

  Le sens du partage (abstract)

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

  Lance Albertson (OSUOSL)

  Hosting and Automation at the OSUOSL (abstract)

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

  Raphael Amiard (UPMC)

  CamllVM - an LLVM based runtime for Ocaml (abstract)

• mardi 18 décembre sur le site Italie (5ème étage, salle Orange à 13h) <----- Attention à la salle, au jour et à l'horaire, se présenter à l'accueil pour avoir le code

  Bernard Serpette (Indes - Inria Sophia Antipolis)

  Une définition CPS d'Esterel (abstract)

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

  Benoit Vaugon (U2IS - ENSTA)

  OCamlCC -- Traduire OCaml en C en passant par le bytecode (abstract)

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

  Grégoire Henry (PPS, université Paris-Diderot)

  Experiments in generic programming: runtime type representation and implicit values (abstract)

• mercredi 14 novembre à 15h45 <---- Attention au jour
  sur le site Jussieu (salle 332 couloir 26-00, au 3ème étage) <----- si le couloir est fermé téléphoner au 01 44 27 62 42 ou au 01 44 27 88 16)

  Nicolas Pouillard (IT University of Copenhagen, DemTech project)

  Proving cryptographic schemes in Agda
  Dependently typed functional programming for Alice and Bob (abstract)

• jeudi 25 octobre à 15h45 sur le site Jussieu (salle 332 couloir 26-00, au 3ème étage) <----- si le couloir est fermé téléphoner au 01 44 27 62 42 ou au 01 44 27 88 16)

  Lionel Auroux (Epita/Epitech)

  Rathaxes, un DSL pour la programmation de pilote de périphérique. (abstract)

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

  Jesus m. Gonzalez-Barahona (GSyC - URJC)

  Measuring free software development (abstract)

• mardi 18 septembre à 16h30 <-- Attention au jour et à l'horaire
  sur le site Italie (3ème étage, salle Algorithme) <----- se présenter à l'accueil pour avoir le code

  Marco Danelutto (DI - Università di Pisa)

  Structured approaches for multi/many core targeting (abstract)

Page maintenue par Emmanuel Chailloux, dernière modification le 22/08/2013

---

LIP6/RSR/APR

PPS

IRILL