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  and one for SPAN+AVISPA  .