• Click on the titles of individual talks for abstract and slides (if applicable).

Please note that this schedule is subject to change. All events take place in the Calvin Lab Auditorium.

–
Coffee and Check-In
–
Opening Remarks
–
Computational Modeling Animal Development: Towards a Whole Embryo Model of the Nematode Caenorhabditis Elegans

Alex Hajnal, University of Zürich
–
Break
–
Questions & Challenges in Immunology

Russell Vance, UC Berkeley
–
Lunch
–
Systems Biology of ncRNA– From Biology to Networks to Targets

Prahlad Ram, UT MD Anderson Cancer Center
–
Break
–
Questions & Challenges in Cancer Biology

Gerard Evan, University of Cambridge 
–
Discussion and/or Breakout Sessions
–
Reception
–
Coffee and Check-In
–
Challenges in Integrative Modeling of Gene Regulation, Protein Signaling, and Metabolism

Ernest Fraenkel, Massachusetts Institute of Technology 
–
Break
–
What We Can Learn from Single-Cell Data

Calin Guet, IST Austria
–
Lunch
–
What We Can Measure Today, Tomorrow, and Which Experiments are Useful for Model Inference

Alejandro Wolf-Yadlin, University of Washington 
–
Break
–
Next Steps in Functional Genomics

Lior Pachter, UC Berkeley
–
Mapping Cell Network Signaling to Clinical Outcomes

Amina Qutub, Rice University 
–
Discussion and/or Breakout Sessions
–
Coffee and Check-In
–
Successes and Challenges in Executable Biology

Jasmin Fisher, Microsoft Research & University of Cambridge 
–
Break
–
Opportunities in Executable Biology: Modeling Transcriptional Regulation with New Types of High-Throughput Data

Nir Yosef, UC Berkeley
–
Lunch
–
Synthesis of Executable Models

Ras Bodik, University of Washington
–
How to Build a Living Cell in Software (Or: Can We Computerize a Bacterium?)

Tom Henzinger, IST Austria
–
Break
–
Rule-Based Modeling of Graph-Like Systems

Sandro Stucki, Ecole Polytechnique Federale de Lausanne (EPFL)
–
Discussion and/or Breakout Sessions
–
Coffee and Check-In
–
Challenges in Formal Reasoning About Signaling Networks

Carolyn Talcott, SRI International 
–
Parallel Composition in Biology

Nir Piterman, University of Leicester
–
Break
–
Successes and Challenges of Modelling and Verification at the Nanoscale

Marta Kwiatkowska, University of Oxford
–
Dynamical Systems Biology

Oded Maler, CNRS-VERIMAG
–
Lunch
–
Combining Computational Modelling with Experimentation to Understand Immune System Function

Mark Coles, University of York 
–
Questions and Challenges in Tissue and Whole Organ Modeling

Radu Grosu, Technical University of Vienna 
–
Break
–
Challenges in Network Biology

Roded Sharan, Tel Aviv University 
–
Levels of Abstraction: From Stochastic to Continuous to Discrete

David Dill, Stanford University 
–
Discussion and/or Breakout Sessions
–
Coffee and Check-In
–
Summary and Observations

Dick Karp, UC Berkeley
–
Break
–
Towards the Roadmap to Executable Biology

Moshe Vardi, Rice University