MOVEP'02 Summer School
Modelling and Verifying Parallel Processes

Home

PhD student session

PhD student bursaries

Tutorials, talks and programme

Organising and Programme committees

Registration

Accomodation

Sponsors

Contact

Previous MOVEP (2000)

 

 

 

 

 

 

 

   

MOVEP'02 programme

MOVEP'02 will consist of tutorials lasting 1h30m, and talks lasting 45m or 1h.

Tutorials

  1. Model checking infinite state systems, Ahmed Bouajjani (LIAFA)
  2. Automatic testing of real-time systems, Brian Nielsen (BRICS)
  3. Theorem proving for controlling air traffic, Victor A. Carreno (NASA)
  4. Protocols and security, Gavin Lowe (Oxford Univ)
  5. Diagnosis of asynchronous and/or distributed discrete event systems, Albert Benveniste (IRISA)
  6. Model checking and program analysis, Markus Mueller-Olm (Univ. Dortmund)
  7. Temporal logic and verification, Philippe Schnoebelen (LSV)
  8. Modeling real-time systems, Joseph Sifakis (VERIMAG)
  9. Compositional verification, Luca de Alfaro (Univ. of California)
  10. Verification of hybrid systems, Howard Wong-Toi (Cadence)

Talks

  1. Synthesis of discrete controller, Igor Walukiewicz (LaBRI)
  2. Real-time controller, Jean-Francois Raskin (Univ. Libre de Bruxelles)
  3. Probabilistic model checking, Marta Kwiatkowska (Univ. of Birmingham)
  4. Verification of hardware, Rolf Drechsler (Univ. of Bremen)
  5. Bisimulation-based proof methods applied to analysis of cryptographic protocols, John Mullins

Programme

Monday 17th

9:00-9:30 : Welcome
9:30-11:00 : Model checking and program analysis, Markus Mueller-Olm (Univ. Dortmund)
11:00-11:30 : Break
11:30-13:00 : Model checking infinite state systems, Ahmed Bouajjani (LIAFA)
13:00-14:30 : Lunch
14:30-16:00 : Automatic testing of real-time systems - Brian Nielsen (BRICS)
16:00-16:30 : Break
16:30-17:30 : Students' talks

18:30: Drinks reception at the Town Hall


Tuesday 18th

9:00-10:30 : Compositional verification, Luca de Alfaro (Univ. of California)
10:30-11:00 : Break
11:00-12:30 : Temporal logic and verification, Philippe Schnoebelen (LSV)
12:30-14:00 : Lunch
14:00-15:00 : Probabilistic model checking, Marta Kwiatkowska (Univ. of Birmingham)
15:00-15:30 : Break
15:30-17:30 :Students' talks


Wednesday 19th

9:00-10:30 : Theorem proving for controlling air traffic, Victor A. Carreno (NASA)
10:30-11:00 : Break
11:00-12:30 : Protocols and security, Gavin Lowe (Oxford Univ.)
12:30-14:00 : Lunch
14:00-15:00 : Bisimulation-based proof methods applied to analysis of cryptographic protocols, John Mullins (Ecole Polytechnique, Montréal)
15:00-15:30 : Break
15:30-17:30 :Students' talks

Dinner.


Thursday 20th:

9:30-11:00 : Modeling real-time systems, Joseph Sifakis (VERIMAG)
11:00-11:30 : Break
11:30-13:00 : Verification of hybrid systems, Howard Wong-Toi (Cadence)
13:00-14:30 : Lunch
14:30-15:30 : Synthesis of discrete Controller, Igor Walukiewicz (LaBRI)
15:30-16:30 : Real-time Controller, Jean-Francois Raskin (Univ. Libre de Bruxelles)
16:30-17:00 : Break
17:00-18:00 :Students' talks

Friday 21th:

9:00-10:30 : Diagnosis of asynchronous and/or distributed discrete event systems, Albert Benveniste (IRISA)
10:30-11:00 : Break
11:00-12:00 : Verification of hardware, Rolf Drechsler (Univ. of Bremen)
12:00-14:00 : Lunch