- 9.00-9.05. Workshop Opening Chair: A. Dovier
- 9.05-10.00. Invited Talk:
Francois Fages.
Using temporal logics with constraints
to express biological properties of cell processes.
(Slides of the talk)
- 10.00-10.30.
Luca Bortolussi
and
Alberto Policriti.
Modeling Biological Systems in Stochastic
Concurrent Constraint Programming
(Slides of the talk)
- 10.30-11.00. Coffee Break
Chair: S. Will
- 11.00-11.30.
Ludwig Krippahl, Pedro Barahona.
Chemera: Constraints in Protein Structural Problems.
- 11.30-12.00.
Elisabetta De Maria, Agostino Dovier, Carla Piazza, and
Angelo Montanari.
Exploiting Model Checking in
Constraint-based Approaches to the Protein Folding Problem.
(Slides of the talk)
- 12.00-12.30.
Alessandro Dal Palù , Agostino Dovier, and Enrico Pontelli.
Global Constraints for Discrete Lattices
(Slides
of the talk)
- 12.30-14.00. Lunch Break
Chair: A. Dal Palù
- 14.30-15.00.
Matthias Zytnicki, Christine Gaspin, and Thomas Schiex.
Suffix arrays and weighted CSPs
- 15.00-15.30.
Patrick Prosser.
Supertree Construction with Constraint Programming:
recent progress and new challenges.
- 15.30-16.00.
Coffee Break
- 16.00-16.30.
Sebastian Will and Martin Mann.
Counting Protein Structures by DFS with
Dynamic Decomposition
(Slides of the talk)
- 16.30-17.00. Discussion