Location: Computer Science Department, University Porto
| 9.00-9.10 | Welcome |
| 9.10-9.50 | Constraint-based simulation of biological systems described by Molecular
Interaction Maps.
Luca Bortolussi, Simone Fonda, Alberto Policriti |
| 9.50-10.30 | The Density Constraint. Alessandro Dal Palu, Agostino Dovier, Enrico Pontelli |
| 10.30-11.00 | Coffee break |
| 11.00-11.40 | Module identification using biological constraints. Elisabetta De Maria, Marco Zantoni, Agostino Dovier, Alberto Policriti |
| 11.40-12.20 | Analyzing Biological Data Time Series in Constraint-LTL. Francois Fages, Aurelien Rizk |
| 12.30-14.30 | Lunch |
| 14.30-15.10 | Elucidating Transient Protein Interactions with Multiple Dockings. Ludwig Krippahl, Pedro Barahona |
| 15.10-15.50 | Constraint-Based Analysis of Gene Deletion in a Metabolic Network. Abdelhalim Larhlimi, Alexander Bockmayr |
| 15.50-16.30 | Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques. Marti Sanchez, Simon de Givry, Thomas Schiex |
| 16.30-17.00 | Coffee break |
| 17.00-18.00 | Discussion |