Programme

Date  Heure Parcours LV (Salle A008)
Parcours SE (Salle A006)
Lundi 22 juin 9:30-11:00

11:20-12:50

14:00-17:00

Formal analysis of security protocols

V. Cortier

Research in Compilers and How it Relates to Software Engineering

T. Yuki

 Mardi 23 juin 9:30-11:00

11:20-12:50

14:00-17:00

Coq 

Y. Bertot

(course example)

Domain-Specific Languages

S. Mosser

18:00-20:00 Bowling au Popkfé bowling, 3 rue victor Nancy
  Mercredi 24 juin 9:30-11:00

11:20-12:50

14:00-17:00

Model-checking

S. Conchon

Model-Based Testing – From theory to practice

B. Legeard et F. Dadeau

17:00-20:00 Session posters et réception dinatoire (Salle A008)
  Jeudi 25 juin 9:30-11:00

11:20-12:50

14:00-17:00

Vérification déductive de programmes avec Why3

J.-C. Filliatre

Empirical Software Engineering

M. Monperrus

 Vendredi 26 juin 9:30-11:00

11:20-12:50

14:00-17:00

Modélisation et développement formel de systèmes avec Event-B

(bank,primes,cache,Cantor-Bernstein)
J.-R. Abrial

Service and Component-Based Computing

L. Seinturier et O. Barais