Program

Resources

Deductive verification of programs with Why3 course web page
A stroll through a reflexive Language : Pharo Course material
Static program analysis Dataflow Analysis Abstract Interpretation Information Flow
Scala, an equal marriage : classes/objects, functions and actors Slides (part 1) Slides (part 2) Lab (session 1) Lab (session 2) Test.scala Movies.scala ComplexJava.zip
Coq : from theory to practice Lab session, Course page
Generative, Compositional Software Development Slides
Programming the diffuse web Slides Lab session
Security protocols : modelisation and verification Slides
Student presentations

First week : Manoir de la Vicomté, Dinard
	Thursday 23 may	Friday 24 may	Saturday 25 may	Sunday 26 may
9H00	Jean-Christophe Filliâtre Deductive verification of programs with Why3	Stéphane Ducasse A stroll through a reflexive Language : Pharo	Thomas Jensen Static program analysis	Catamaran
10H30	Coffee break	Coffee break	Coffee break
11H00	Jean-Christophe Filliâtre Deductive verification of programs with Why3	Stéphane Ducasse A stroll through a reflexive Language : Pharo	Thomas Jensen Static program analysis
12H30 14H00	Lunch	Lunch	Lunch
14H00	Jean-Christophe Filliâtre Deductive verification of programs with Why3	Stéphane Ducasse A stroll through a reflexive Language : Pharo	Student presentations
15H30	Coffee break	Coffee break	Coffee break
16H00	Jean-Christophe Filliâtre Deductive verification of programs with Why3	Stéphane Ducasse A stroll through a reflexive Language : Pharo	Student presentations
18H00 19H30	Free time	Free time	Free time
19H30	Dinner	Dinner	Dinner

Deuxième semaine : Centre Inria Rennes Bretagne - Atlantique
	Monday 27 may	Tuesday 28 may	Wednesday 29 may	Thursday 30 may	Friday 31 may
9H00	Jacques Noyé Scala, an equal marriage : classes/objects, functions and actors	Damien Pous Coq : from theory to practice	Bernhard Rumpe Generative, Compositional Software Development	Manuel Serrano Programming the diffuse web	Steve Kremer Security protocols : modelisation and verification
10H30	Coffee break	Coffee break	Coffee break	Coffee break	Coffee break
11H00	Jacques Noyé Scala, an equal marriage : classes/objects, functions and actors	Damien Pous Coq : from theory to practice	Bernhard Rumpe Generative, Compositional Software Development	Manuel Serrano Programming the diffuse web	Steve Kremer Security protocols : modelisation and verification
12H30 14H00	Lunch	Lunch	Lunch	Lunch	Lunch
14H00	Jacques Noyé Scala, an equal marriage : classes/objects, functions and actors	Damien Pous Coq : from theory to practice	Bernhard Rumpe Generative, Compositional Software Development	Manuel Serrano Programming the diffuse web
15H30	Coffee break	Coffee break	Coffee break	Coffee break
16H00	Jacques Noyé Scala, an equal marriage : classes/objects, functions and actors	Damien Pous Coq : from theory to practice	Bernhard Rumpe Generative, Compositional Software Development	Manuel Serrano Programming the diffuse web
18H00 19H30	Free time	Free time	Free time	Free time
19H30	Dinner	Dinner	Dinner	Dinner