Séminaire IRILL / Groupe de travail "Programmation"

année 2017-2018

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 jeudi après-midi de 15h45 à 17h15 Fréquence : tous les quinze jours

Pour ce début d'année, tous les abonnés ont été inscrit sur la liste de diffusion irill-news.
Si vous désirez vous abonner ou vous désabonner, cliquez sur le lien précédent.

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

exposés et journées à venir

jeudi 31 mai 2018 à 14h sur le campus Jussieu (rotonde 15,1er étage, couloir 15-16 salle 101) <--- Attention à l'horaire
- Boubacar Sall (APR, LIP6, SU)
- Développement de Programmes Impératifs par Raffinements, au sein de l'Assistant de Preuves Coq (abstract)
24.05.18 : 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 : IoT & fiabilité logicielle (OSIS 2018)
jeudi 15 mars 2018 à 16h sur le campus Jussieu (rotonde 15,1er étage, couloir 15-16 salle 101)
double séance
- Fabien Combernous (Adullact)
  Infrastructure as code , comprendre les points clefs avant d'y aller. (abstract)
- Louis Gesbert (OCamlPro)
  Opam 2.0 (abstract)
jeudi 14 décembre 2017 à 16h sur le campus Jussieu (rotonde 15,1er étage, couloir 15-16 salle 101)
Julien Lopez (LRI - université Paris sud)
Language-integrated queries: a BOLDR approach (abstract)
jeudi 7 décembre 2017 à 16h sur le campus Jussieu (rotonde 15, 5ème étage, couloir 15-25, salle 502) <-- ATTENTION au changement de salle
Pierre Talbot (Repmus, Ircam)
Spacetime Programming: A Synchronous Language for Combinatorial Exploration (abstract)
jeudi 23 novembre 2017 à 16h sur le campus Jussieu (Rotonde 15, 1er étage, couloir 15-16 salle 101)
Fabien Chouteau & Yannick Moy (Adacore)
Ada and SPARK - Defense in Depth for Safe Micro-controller Programming (abstract)
jeudi 9 novembre 2017 à 16h sur le campus Jussieu (Rotonde 15, 1er étage, couloir 15-16 salle 101)
Sylvain Conchon (LRI - univ Paris-Saclay)
Cubicle : a model checker for parameterized array-based transition systems. (abstract)

Anciens programmes de 2016-2017, 2015-2016, 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 16/05/2018

LIP6/APR

PPS

IRILL