mercredi 26 avril 2017

[GdT programmation /séminaire IRILL] : exposé à l'IRIF/PPS + OSIS 2017

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?

  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...