[TYPES] CP+CV'04: Program and Call for Participation

[Giorgio Delzanno]

[ Apologies for multiple copies of this message ]

************************************************************************************************

                       PROGRAM AND CALL FOR PARTICIPATION


    Workshop on Constraint Programming and Constraint for Verification (CP+CV'04)

                         March 28, 2004, Barcelona, Spain
                 
                  http://www.disi.unige.it/person/DelzannoG/CP+CV/

                             in conjunction with

      ETAPS 2004 -  7th European Joint Conferences on Theory and Practice of Software


************************************************************************************************

** IMPORTANT ** THE DEADLINE FOR EARLY REGISTRATION IS FEBRUARY 15


Detailed registration information together with the ETAPS online registration form is available at

           http://www.lsi.upc.es/etaps04/Registration/registration-frame.html

It is possible to register for the workshop without registering for the main conference.

****************************************************************************************************

AIM OF THE FORUM

Bridging the communities of constraint programming, program analysis and verification

****************************************************************************************************

PROGRAM


>> Session I: Data structures and applications of constraint-based verification <<


09.15 - 10.00: Invited talk

Ahmed Bouajjani - University of Paris 7
Constraints and Verification of Infinite State Systems

10.00 - 10.30: coffee


10.30 - 11.15: Invited talk

Bernard Boigelot - University of Liege
Automata-based representations of arithmetic sets

11.15 - 12.00: Invited talk

Wang Yi - Uppsala University
Difference Clock Constraints and Termination in UPPAAL: "the so-called bug"


12.00 - 12.30: Technical contribution

Pierre Ganty and Laurent Van Begin - University of Bruxelles  
Non deterministic Automata for the Efficient Representation of Infinite-state Systems



12.30 - 14.30: LUNCH



>> Session II: Constraint-based software verification <<

14.30 - 15.15: Invited talk

Markus Mueller-Olm, University of Dortmund
Interprocedural Analysis through Linear Algebra


15.15 - 16.00: Invited talk

Cormac Flanagan - University of California at Santa Cruz
Software Model Checking and Constraint Programming


16.00 - 16.30: Technical contribution

Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, and Konrad Slim - University of Utah
A Unified Framework for Handling Constraints During Program Analysis


16.30 - 17.00: coffee


>> Session III: Non-standard applications and theorem proving <<

17.00 - 17.30: Invited talk

Francois Fages - INRIA Roquencort
Constraint-based Model Checking of  Non-deterministic Hybrid Systems: a first experiment in systems biology


17.30 - 18.00: Technical contribution

Marco Cadoli and Toni Mancini - University of Rome "La Sapienza"
Using a Theorem Prover for Reasoning on Constraint Problems



18.00: Discussion

********************************************************************************************

ORGANISATION

Giorgio Delzanno -- University of Genova
Thom Fruehwirth --  University of Ulm
Francois Fages -- INRIA Rocquencourt
Joao Marques-Silva  -- Technical University of Lisbon, IST/INESC-ID/CEL
Andreas Podelski -- Max Planck Institut fuer Informatik, Saarbruecken
Peter Stuckey -- University of Melbourne


********************************************************************************************