• 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