The Castle of Hagenberg Algebraic Biology 2007
General Submission Registration Program Location
  • 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.
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:30Coffee break.
Session 2.
15:30-16:10A Formal Model for Databases in DNA
Joris Gillis and Jan Van den Bussche.
16:10-16:50Efficient 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:00Welcome cocktail and dinner at Schloss Restaurant.

Sunday, August 1.
Session 3.
09:00-09:40MABSys: Modeling and Analysis of Biological Systems.
Asli Ürgüplü and François Lemaire.
09:40-10:20Models of Stochastic Gene Expression and Weyl Algebra.
Samuel Vidal, Michel Petitot,François Boulier, François Lemaire and Celine Kuttler.
10:20-10:50Coffee 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:00Lunch 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:00Conference 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:10Coffee 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:30Lunch break.


RISC Software GmBH