Modelling Biology


2006-06-23 09:30: Biology from First Principles? (Professor Mike Payne, Cavendish Laboratory)

2006-06-23 10:15: Minimal models of self-assembly and protein crystallization in vivo (Dr Jonathan Doye, (Department of Chemistry))

2006-06-23 11:25: Protein Sequence Variations involved in disease - a structural perspective (Dr David Burke, (Department of Biochemistry))

2006-06-23 12:10: Binding site similarity, small- molecule similarity and binding profiles (Dr Rafi Najmanovich, (European Bioinformatics Institute))

2006-06-23 13:55: Stochastic events in cell signalling (Dr Dennis Bray, (Department of Physiology, Development and Neuroscience))

2006-06-23 14:40: Evolution and Dynamics of Transcriptional Regulatory Networks (Dr Sarah Teichmann, (MRC Laboratory of Molecular Biology))

2006-06-23 15:50: Energy Landscapes of Biomolecules (Dr David Wales - Department of Chemistry, Cambridge)

2006-06-23 16:35: Computational Methods for the Analysis of Protein Structure, Shape and Function (Dr Richard Morris, (John Innes Centre, Norwich))

2006-11-13 10:00: Algebraic Routing (Part 1) (Tim Griffin)

2006-11-15 10:00: Algebraic Routing (Part 2) (Tim Griffin)

2006-11-17 10:00: Algebraic Routing (Part 3) (Tim Griffin)

2006-11-29 10:00: Countable ordinals and fast-growing functions (Part 1) (Thomas Forster (DPMMS))

2006-11-30 10:00: Countable ordinals and fast-growing functions (Part 2) (Harold Simmons (Univ. of Manchester))

2006-12-01 09:00: Countable ordinals and fast-growing functions (Part 3) (Harold Simmons (Univ. of Manchester))

2007-02-27 10:00: Mechanizing Theories in Twelf: A Tutorial (Part 1) (Susmit Sarkar)

2007-03-01 10:00: Mechanizing Theories in Twelf: A Tutorial (Part 2) (Susmit Sarkar)

2007-03-05 10:00: Mechanizing Theories in Twelf: A Tutorial (Part 3) (Susmit Sarkar)

2007-05-23 09:30: Modelling the hidden world of protein activities (Lorenz Wernisch, MRC Biostatistics Unit)

2007-05-23 10:15: Epidemics on Networks (Ken Eames, CCBI, DAMTP)

2007-05-23 11:30: Oscillators and sychronisation in circadian rhythms (Jorge Goncalves, Department of Engineering, University of Cambridge)

2007-05-23 12:15: Lies, damn lies and metabolomics - statistical approaches for processing metabolomic data. (Jules Griffin, Department of Biochemistry, University of Cambridge)

2007-05-23 14:00: Learning from the worm: predicting phenotype from genotype (Andrew Fraser (Wellcome Trust Sanger Institute))

2007-05-23 14:45: Genome regulation: a sequence-gazer's view. (Thomas Down, The Wellcome Trust Sanger Institute)

2007-05-23 16:00: The biology of common disease from a genome-wide perspective: susceptibility genes as nodes for pathways and systems (John Todd, The Cambridge Institute of Medical Research (CIMR))

2007-05-23 16:45: A human protein atlas (Anja Persson, Royal Institute of Technology, Stockholm)

2007-10-15 10:00: Proving program termination (Part 1) (Byron Cook, Microsoft Research, Cambridge)

2007-10-19 10:00: Proving program termination (Part 2) (Byron Cook, Microsoft Research, Cambridge)

2007-10-22 10:00: Proving program termination (Part 3) (Byron Cook, Microsoft Research, Cambridge)

2009-02-03 16:15: Call-by-push-value (part 1) (Paul Levy, University of Birmingham (visiting Cambridge until March 15))

2009-02-04 16:15: Call-by-push-value (part 2) (Paul Levy, University of Birmingham (visiting Cambridge until March 15))

2010-06-01 10:00: Mini course on proof theory (Part 1) (Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA)

2010-06-03 10:00: Mini course on proof theory (Part 2) (Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA)

2010-06-04 10:00: Mini course on proof theory (Part 3) (Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA)