| Registration 8:30 - 9:00 |
Registration Registration
|
| Session 1 9:00 - 10:30 |
(chair: Gordon Plotkin) Invited Tutorial: Learning
local gene interaction networks from noisy expression data with
probabilistic graphical models
Dirk Husmeier, Biomathematics & Statistics Scotland (BioSS), Edinburgh (UK)
Property driven statistics of biological networks
V. Schachter, V. Danos, S. Smidtas, F. Képès |
| Coffee |
|
| Session 2 11:00 - 12:30 |
(chair: Igor Goryanin) Invited Address:
Data integration and model building for systems biology
Hamid Bolouri, Institute for Systems Biology, Seattle (US) Static
analysis of the LDL degradation
pathway
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson |
| Lunch |
|
| Session 3 14:00 - 15:30 |
(chair: Gordon Plotkin) Invited Tutorial: Complex
networks of biomolecular
interactions
François Képès, CNRS/Epigenomics Program, Evry (FR) |
| Coffee |
|
| Session 4 16:00 - 18:00 |
(chair: Muffy Calder) Invited Tutorial:Complex
networks of biomolecular
interactions (continued)
François Képès, CNRS/Epigenomics Program, Evry (FR) Reasoning
about the ERK signal transduction
pathway using BioSigNet-RR
C. Baral, W. Kolch, C. Shankland, N. Tran |
| Evening 7.45pm for 8pm |
Dinner Dinner at Heights Rooftop Restaurant in the
Apex International Hotel, Grassmarket. Situated in one of Edinburgh's
oldest parts of town, the restaurant boasts a spectacular view of the
castle.
|
| Session 1 9:00 - 10:30 |
(chair: Corrado Priami) Invited Address: Machine
learning for systems
biology
Stephen Muggleton, Department of Computing, Imperial College London (UK)
Machine learning bio-molecular interactions
from temporal logic properties
L. Calzone, N. Chabrier-Rivier, F. Fages, L.Gentils, S.Soliman |
| Coffee |
|
| Session 2 11:00 - 12:30 |
(chair: François Fages) On the computational power of Brane Calculi
N. Busi, R. Gorrieri Modelling EGFR signalling cascade using
continuous membrane systems
M. J. Pérez-Jiménez, F. J. Romero-Campero A variable structure model - the Tryptophan
Operon
D. Degenring, J. Lemcke, M. Roehl, A. Uhrmacher |
| Lunch |
|
| Session 3 14:30 - 16:30 |
(chair: David Gilbert) Invited Address: Design
of genetic systems
Drew Endy, MIT Biological Engineering (US)
Bacterial
transcription in the Pi Calculus
C. Kuttler Asynchronous
abstraction methodology for
genetic regulatory networks
H. Kuhawara, C. Myers, N. Barker, M. Samoilov, A. Arkin |
| Coffee |
|
| Session 4 17:00 - 18:30 |
(chair: Jane Hillston)
An
alternative to Gillespie's algorithm for
simulating chemical reactions
R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, A.Troina
Analysis
of signalling pathways using PRISM model checker
M. Calder, V. Vyshemirsky, D. Gilbert, R. Orton
Business session
|
| Evening 19:30 |
Reception Reception at the National Gallery of
Scotland, The Mound.
The National Gallery of Scotland, oldest of Edinburgh's five Galleries, is situated in the heart of Edinburgh on The Mound, between the ancient Old Town and the Georgian New Town. It is home to Scotland's greatest collection of European paintings and sculpture from the Renaissance to Post-Impressionism, and is one of the finest galleries of its size in the world. |
| Session 1 9:00 - 10:00 |
(chair: Vincent Danos) Invited Address:
Positive
circuits in gene networks
Christophe Soulé, Centre National de la Recherche Scientifique, Institut des Hautes Études Scientifiques (FR) |
| Coffee |
|
| Session 2 10:30 - 12:30 |
(chair: Luca Cardelli)
From
gene expression to tissue dynamics, via
continuation algorithms: ectopic pacemaking in the heart
A. P. Benson, A. V. Holden, S. Kharche, W. C. Tong Automatically
deriving ODEs from process algebra
models of signalling pathways
M. Calder, S. Gilmore, J. Hillston
Efficient
modeling of excitable cells using
hybrid automata
P. Ye, E. Entcheva, R. Grosu, S. A. Smolka
The
Pathway Logic Assistant
C. Talcott, D. Dill |
| Lunch |
|
| Session 3 14:30 - 16:30 |
(chair: Adelinde Uhrmacher) Invited Address:
Constraint-based
models of metabolism and
regulation
Vincent Schachter, Genoscope, Evry (FR) Flow
analysis of metabolite fragments for
flux estimation
A. Rantanen, J. Rousu, E. Pitkänen, H. Maaheimo, E. Ukkonen Petri
net modelling of biological regulatory
networks
C. Chaouiya, E. Remy, D. Thieffry |
| Coffee |
|
| Session 4 17:00 - 18:30 |
Poster Presentations (chair: Gordon
Plotkin)
A
propositional logic approach to manipulate
topology of biological regulatory networks
V. Bassano, P. Le Gall, G. Bernot Production
distances in metabolic
networks
E. Pitkänen, A. Rantanen, J. Rousu, E. Ukkonen
Refining metabolic network models with Pathway Assistant
E. Pitkänen, A. Rantanen, J. Rousu, E. Ukkonen
Investigation and development of the FANCY analytical strategy as a
tool for
functional genomics
A. Batagov, F. Baganz Construction
and high performance computing
simulation of virtual cardiac tissues
O. Aslanidi, A. Holden Accelerating
exact stochastic simulation using
parallel supercomputing
J. M. McCollum, G. D. Peterson, C. D. Cox, M. L. Simpson, N. F. Sarmatova |