Séminaire IRILL / Groupe de travail "Programmation"

année 2015-2016

Lieux :

       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
       8 place Aurélie Nemours 75013 Paris

 
   site Inria Paris
   2 rue Simone Iff - 75012 Paris

Horaire : le 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.

exposés à venir

16.6.16 à 14h (Irill) : Ronan Keryell (Xilinx Research Labs) <-------------------------------------- prochain exposé
20.6.16 à 11h (Inria Paris) : Geaorgios Gousios (Radboud University Nijmegen)

lundi 20 juin à 11h sur le campus Jussieu (Rotonde 15, 1er étage, couloir 15-16 salle 107) <---- attention à la date, l'horaire et à la salle
Georgios Gousios (ICIS, Radboud University)
Mining GitHub for fun and profit (abstract)
jeudi 16 juin à 14h sur le campus Jussieu (Rotonde 15, 1er étage, couloir 15-16 salle 107) <---- attention à l'horaire et à la salle
Ronan Keryell (Xilinx Research Labs)
Post-modern C++ and C++17 abstractions for heterogeneous computing with Khronos OpenCL SYCL (abstract)
jeudi 9 juin à 15h45 sur le campus Jussieu (Rotonde 15, 1er étage, couloir 15-16 salle 101)
Frédéric Bour
Merlin : des EDIs modernes pour OCaml... et Reason (abstract)
12.05.16 : séance spéciale dans le cadre du printemps de l'innovation Open Source : de 14h à 19h sur le campus Jussieu (Rotonde 15, 1er étage, couloir 15-16 salle 101) - inscription obligatoire
Langages et Outils pour la Fiabilité Logicielle (OSIS 2016)
jeudi 7 avril à 15h45 sur le campus Jussieu (Rotonde 15, 1er étage, couloir 15-16 salle 101)
Benjamin Canou (OCamlPro)
Sous le capot du MOOC OCaml (abstract)
jeudi 24 mars à 15h45 sur le campus Jussieu (Rotonde 15, 1er étage, couloir 15-16 salle 101) <---- attention horaire et salle
Pierre-Evariste Dagand (WHISPER/LIP6)
Verifying clock-directed modular code generation for Lustre (abstract)
jeudi 4 février à 14h sur le campus Jussieu (4ème éme salle 25-24 - 405) <---- attention horaire et salle
Abdelraouf Ouadjaout (APR/LIP6, UPMC)
Static Analysis by Abstract Interpretation of Functional Properties of Device Drivers in TinyOS (abstract)
jeudi 10 décembre à 15h45 sur le campus Jussieu (1er étage, salle 15-16 101) <---- attention horaire et salle
Romain Demangeon (APR/LIP6, UPMC)
On the Expressiveness of Asynchronous Multiparty Sessions (abstract)
vendredi 27 novembre 2015 à 14h sur le campus Jussieu (1er étage, salle 25-26 105) <---- attention horaire et salle
Eric Tanter (Pleiad, Universidad de Chile)
Abstracting Gradual Typing. (abstract)

Anciens programmes de 2014-2015, 2013-2014, 2012-2013, 2011-2012, 2010-2011, 2009-2010, 2008-2009, 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 10/06/2016

LIP6/APR

PPS

IRILL