Séminaire départemental – Vendredi 27 avril 2018 – La procrastination structurée

Résumé: Avez-vous quelque chose d’important à faire? Cherchez-vous une excuse pour reporter ce travail à plus tard? Eh bien ne cherchez plus! Venez assister au séminaire départemental sur la "procrastination structurée" pour apprendre comment procrastiner et rester productif! J’en profiterai pour vous présenter rapidement trois projets sur lesquels j’ai travaillé en utilisant cette technique : (1) Ott-IFC, un outil qui génère des mécanismes de contrôle de flot d’information à partir de la spécification d’un langage de programmation; (2) Coqatoo, un outil qui génère des preuves en langue naturelle à partir de preuves écrites en Coq; (3) Paper Scout, un outil qui représente visuellement les articles scientifiques de votre librairie pour vous aider à rapidement créer des états de l’art.