Programme of CP+CV

SUNDAY, March 28


Session 1: Data structures and applications of constraint-based verification
9.15
10.00
Invited Talk

Constraints for Verification of Infinite-state Systems
Ahmed Bouajjani (University of Paris 7, France)
10.00
10.30
Coffee
10.30
11.15
Invited Talk

Automata-based Representations of Arithmetic Constraints
Bernard Boigelot (University of Liege, Belgium)
11.15
12.00
Invited Talk

Difference Clock Constraints and Termination in UPPAAL: "the so-called bug"
Wang Yi  (Uppsala University, Sweden)
12.00
12.30
Non deterministic Automata for the Efficient Representation of Infinite-state Systems
Pierre Ganty and Laurent Van Begin (University of Bruxelles, Belgium)
12.30
14.00
Lunch

Session 2: Constraint-based software verification
14.00
14.45
Invited Talk

Precise Program Analysis with (Linear) Algebra
Markus Mueller-Olm (University of Dortmund, Germany)
14.45
15.30
Invited Talk

Software Model Checking and Constraint Programming
Cormac Flanagan (University of California at Santa Cruz, USA)
15.30
16.00
Coffee
16.00
16.30
A Unified Framework for Handling Constraints During Program Analysis
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, and Konrad Slim (University of Utah, USA)

Session 3:  Non-standard applications and theorem proving
16.30
17.00
Invited Talk

Constraint-based Model Checking of Non-deterministic Hybrid Systems: a first experiment in systems biology
Francois Fages (INRIA Roquencourt, France)
17.00
17.30
Using a Theorem Prover for Reasoning on Constraint Problems
Marco Cadoli and Toni Mancini (University of Rome "La Sapienza", Italy)
17.30
18.00
Discussion
Evening Pre-Conference Workshops Dinner