| 8:30- |
Registration
|
| 10:30-10:55 |
Coffee Break
|
| 10:55-11:00 |
Workshop Opening
|
| 11:00-11:30 |
Search and Rescue: logic and visualisation of biochemical networks
Nicos Angelopoulos, Paul Shannon and Lodewyk Wessels
|
| 11:30-12:00 |
Qualitative Models of Cell Population Dynamics as Constraint
Satisfaction Problems
Tom Kelsey and Steve Linton
|
| 12:00-12:30 |
An ASP Implementation of PhyloWS
Enrico Pontelli, Tran Cao Son, Tiep Le and Ngoc-Hieu Nguyen
|
| 12:30-13:00 |
Atom Mapping with Constraint Programming
Martin Mann, Heinz Ekker, Peter F. Stadler and Christoph Flamm
|
| 13:00-14:00 |
Lunch
|
| 14:00-14:30 |
Protein Loop Modeling via Constraints and Fragment Assembly
Federico Campeotto, Alessandro Dal Palu, Agostino Dovier,
Ferdinando Fioretto and Enrico Pontelli
|
| 14:30-15:30 |
Invited Talk: Christoph Flamm. Exploring Chemical Transformation Space
|
| 15:30-16:00 |
Coffee Break
|
| 16:00-17:00 |
Discussion: Future of WCB
|
