Constraint Programming and Verification
The Master Class, organized by Pascal van Hentenrych, on Constraint Programming and Verification and will take place on Monday, May 18th and Tuesday, May 19th and will take place in room Sala d’actes.
Speakers
The speakers in the Master Class will be:
- Pierre Flener, Pierre.Flener@it.uu.se
- Arnaud Gotlieb, arnaud@simula.no
- Joxan Jaffar, joxan@comp.nus.edu.sg
- Antoine Mine, Antoine.Mine@ens.fr
- Andreas Podelski, podelski@informatik.uni-freiburg.de
- Jean-Francois Raskin, jraskin@ulb.ac.be
- Michel Rueher, michel.rueher@gmail.com
- Peter Stuckey, Peter.Stuckey@nicta.com.au
- Charlotte Truchet, charlotte.truchet@univ-nantes.fr
Schedule
Monday, May 18th
- 13:20-14:20 – Classical and non-classical uses of SAT in model-checking, Jean Pierre Raskin
- 14:20-15:20 – Verification of String Manipulating Programs, Pierre Flener
- 15:20-15:40 – Break
- 15:40-16:40 – Mapping Procedural Call to Constraint, Peter Stuckey
Tuesday, May 19th
- 08:40-09:40 – Search Modulo Theory, Andreas Podelski
- 09:40-10:10 – Break
- 10:10-11:00 – Global Constraints for software testing applications, Arnaud Gotlieb
- 11:00-11:50 – Program Analysis and Constraint Programming, Joxan Jaffar
- 11:50-13:30 – Lunch (on your own)
- 13:30-14:20 – Abstract Interpretation and Constraint Programming, Charlotte Truchet, Antoine Mine
- 14:20-15:10 – On the capabilities of CP for numerical program analysis, Michel Rueher
- 15:10-15:40 – Break
- 15:40-16:40 – PANEL: Future Directions in Community Building, Pierre Flener, Arnaud Gotlieb, Andreas Podelski, Michael Rueher, Peter Stuckey, Pascal Van Hentenryck