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
|
ou |
site Sophie Germain (plan d'accès)
Université Paris Diderot
8 place Aurélie Nemours 75013 Paris
|
ou | 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 et journéeacute;es à venir
- 2.5.17 (mardi) à 11h à Sophie Germain salle 3052 : Joachim Breitner (UPenn) : Who needs theorem provers when we have compilers?
- 17.5.17 mai (mercredi aprè-midi à Jussieu) : 6 exposés à la 1/2 journée à l'OSIS 2017 sur Langages et Outils pour la fiabilité logicielle <-- Attention il faut s'inscrire
- jeudi 24 novembre 2016 à 16h sur le campus Jussieu (Rotonde 15, 1er étage, couloir 15-16 salle 101)
Konrad Hinsen ( CNRS Orléans)
le langage Liebniz pour le calcul scientifique (abstract)
les transparents de l'exposé
- jeudi 10 novembre 2016 à 16h sur le campus Jussieu (Rotonde 15, 1er étage, couloir 15-16 salle 101)
Grégoire Henry (OCamlPro)
Introduction aux /blockchains/. (abstract)
- jeudi 13 octobre 2016 à 16h sur le campus Jussieu (Rotonde 15, 1er étage, couloir 15-16 salle 101)
Victor Cacciari Miraldo (CS, University of Utrech)
Structure Aware Version Control (abstract, slides)
Anciens programmes de 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 25/04/2017
 LIP6/APR |
PPS | IRILL |