March 2016 archive

Deep Learning Program Analysis: A New Paradigm for Analyzing Computer Programs

Benjamin Bales, from ASSRC, will give a talk on “Deep Learning Program Analysis: A New Paradigm for Analyzing Computer Programs”. Date: April 1 2016, 11:30 AM Location: Room B31, Inria Lille abstract: Since 2006, Deep Learning has outperformed many state of the art techniques on heterogeneous tasks, such as image recognition, machine translation, and voice …

Continue reading

Docker workshop

Docker@Spirals workshop on Friday 25th March 2016 afternoon 14:00 – 17:30 in Room B31, Building B, Inria. The workshop agenda is: 14h00 – 14h10 – Introduction & Agenda – Philippe Merle 14h10 – 14h40 – Dockerization of Benchmarks – Maxime Colmant 14h40 – 15h10 – Dockerization of Hadoop Clusters – Bo Zhang 15h10 – 15h40 …

Continue reading

Une Approche Formelle de Ingénierie Système Basée sur les Modèles

Iulian Ober Mardi 12 avril à 14h Bâtiment M3, amphi Turing Une Approche Formelle de Ingénierie Système Basée sur les Modèles Résumé : L’ingénierie système connaît actuellement une période de rapide évolution grâce à l’arrivée à maturité de nouvelles méthodes basées sur des modèles et de nouveaux standards comme le langage SysML. Bien que récents, …

Continue reading