Section: Dissemination

Popularization

• IRISA 40th anniversary Open House - Recreational workshop (interactive demonstration) on the problem of functional correctness of programs, its importance in the field of critical software, and formal proof of correctness : Thomas Genet, Delphine Demange, Pauline Bolignano, Yannick Zakowski. Inria Convention centre, Inria Rennes - Bretagne Atlantique. Rennes, France. December 2015.

• Talk “Bug, Virus, Intrusion, Pirates... So many threats and no defense? Yes... maths.”, Thomas Genet, given two times in high schools close to Rennes.

• Two short tutorials. One for Isabelle/HOL [41] and one for SPAN+AVISPA [42] .