Schedule:
- July 30: Arrival.
- July 31: Registration. Conference opening. Plenary sessions. Tutorial sessions. Welcome coctail.
- August 1: Plenary sessions. Tutorial sessions. Conference excursion. Conference dinner
- August 2: Plenary sessions. Tutorial session. Closing.
- August 3: Departure.
Program: July 31, August 1, August 2.
Saturday, July 31.
| 13:00 | Registration. |
| 13:30-14:00 | Opening. |
| Session 1. | |
| 14:00-15:00 |
Invited Talk. What's in a Matrix? Subtitle: Using combinatorics and analysis to make claims about chemical reactions for arbitrary kinetics. |
| Murad Banaji | |
| 15:00-15:30 | Coffee break. |
| Session 2. | |
| 15:30-16:10 | A Formal Model for Databases in DNA |
| Joris Gillis and Jan Van den Bussche. | |
| 16:10-16:50 | Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information. |
| Ana Graça, Inês Lynce, João Marques-Silva, and Arlindo Oliveira. | |
| 17:30-21:00 | Welcome cocktail and dinner at Schloss Restaurant. |
Sunday, August 1.
| Session 3. | |
| 09:00-09:40 | MABSys: Modeling and Analysis of Biological Systems. |
| Asli Ürgüplü and François Lemaire. | |
| 09:40-10:20 | Models of Stochastic Gene Expression and Weyl Algebra. |
| Samuel Vidal, Michel Petitot,François Boulier, François Lemaire and Celine Kuttler. | |
| 10:20-10:50 | Coffee break. |
| Session 4. | |
| 10:50-11:30 | Reconciling Competing Models: a Case Study of Wine Fermentation Kinetics. |
| Rodrigo Assar, Felipe A. Vargas and David J. Sherman. | |
| 11:30-12:10 | Computational Modeling and Verification of Signaling Pathways in Cancer. |
| Haijun Gong, Paolo Zuliani, Anvesh Komuravelli, James Faeder and Edmund Clarke. | |
| 12:30-14:00 | Lunch break. |
| Session 5. | |
| 14:00-15:00 | Tutorial. Algorithmic Systems Biology. |
| Corrado Priami | |
| 15:00-16:00 | Tutorial. A General Procedure for the Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors. |
| Masahiko Nakatsui, Alexandre Sedoglavic, François Lemaire, François Boulier, Asli Ürgüplü, and Katsuhisa Horimoto | |
| 16:00-22:00 | Conference excursion and banquet, see here. |
Monday, August 2.
| Session 6. | |
| 09:00-09:40 | Analyzing Pathways Using ASP-Based Approaches. |
| Oliver Ray. | |
| 09:40-10:10 | Coffee break. |
| Session 7. | |
| 10:10-11:10 | Invited Talk. Probabilistic Approximation and Verification of Bio-Pathways Dynamics. |
| P.S. Thiagarajan | |
| 11:10-12:00 | Closing remarks. |
| 12:00-13:30 | Lunch break. |
