Bonjour à tous,
Pour le moment le cycle des exposés s'est fortement ralenti au 1er semestre, il y a néanmoins pas mal de choses qui arrivent en mai-juin.
Il y a un exposé la semaine prochaine, le 2.5 à 11h à l'IRIF/PPS dans les thématiques du [GdT programmation] de Joachim Breitner (UPenn) sur Who needs theorem provers when we have compilers?
tout est sur : https://www.irif.fr/gt/acs/index
C'est aussi bientôt le début de l'OSIS 2017 (le printemps de l'innovation Open Source) du 11 Mai au 26 Juin avec un programme riche : http://www.open-source-innovation-spring.org/
dont tout particulièrement l'après-midi du 17 mai à Jussieu dans les thématiques [GdT Programmation / séminaire Irill] qui sera consacrée aux « langages et outils pour la fiabilité logicielle »
Le programme est détaillé sur le lien suivant : http://www.open-source-innovation-spring.org/langages-et-outils/
si vous comptez venir, pensez à vous inscrire.
à bientôt.
Emmanuel...