Constraints and Verification 06

Workshop in Cambridge, UK, 8 - 12 May 2006

Organisers: Prof. Andreas Podelski (MPI Informatik, Saarbruecken) and Prof. Moshe Vardi (Rice)

Theme of Workshop:

In recent years there has been an increasing interest in the application of constraint-programming and constraint-solving technology to the verification of hardware and software systems. Constraint solvers for Boolean (SAT) and arithmetic domains (Presburger, polyhedra, linear constraints) are widely used as subprocedures of various model checkers Constraint solving is also used for computing static analysis of programs with numerical data variables and concurrent systems. Constraints are also used extensively in automated test generation. The aim of this workshop is to bring together researchers working in constraints and verification and to investigate the theoretical foundations, new applications, and future developments in this area.

Invited Speakers:

Ed Clarke (CMU), Bounded Model Checking for Hardware and Software

Patrick Cousot (ENS), Program Verification by Parametric Abstraction and Semi-Definite Programming

Enrico Giunchiglia (U. Genoa), State of the Art in QBF reasoning, with Emphasis on Applications in Formal Verification

Ziyad Hanna (Intel), Logic Verification Challenges at System Level Design at Intel

Marta Kwiatkowska (Birmingham U.), Model checking for probabilistic timed automata: Methods, applications and tools

Zohar Manna (Stanford), From Verification Conditions to Constraints

Ken McMillan (Cadence), Consequence Generation, Interpolants and Invariant Discovery

Yehuda Naveh (IBM), Constraint Satisfaction for Random Generated Stimuli

Jean-Francois Puget (ILOG), State of the Art in Constraint Programming Solvers

Pierre Wolper (U. Liege), On the Use of Automata for Representing Arithmetic Constraints

Location and Cost:

The Conference will take place at the Newton Institute and accommodation for participants will be provided in single study bedrooms with en suite bathroom at New Hall. The conference package, costing £485, includes accommodation and breakfast from Sunday 7 May 2006 to lunch on Friday 12 May 2006, and refreshments during the days that lectures take place. Participants who wish to attend but do not require the Conference Package will be charged a registration fee of £85. Self-supporting participants are very welcome to apply.

Application Forms:

Are available here. Invited participants to the semester long programme whose dates coincide with those of the workshop need not apply or pay any registration fee.

Closing Date:

The closing date for the receipt of applications is 24 February 2006

Local Information

Information for Conference Participants | Local Information

The Workshop is part of the Logic and Algorithms Programme at the Isaac Newton Institute for Mathematical Sciences, 16 January - 7 July 2006