Visitors archive

«	March 2010	»
Mon	Tue	Wed	Thu	Fri	Sat	Sun
1	2	3	4	5	6	7
8	9	10	11	12	13	14
15	16	17	18	19	20	21
22	23	24	25	26	27	28
29	30	31

News & Events

Visitors archive

Visitors 2010

Visitor	Arrival	Departure	Seminar


George Kampis Eotvos Lorand University	03-03-2010	04-03-2010	Food webs form RNA: "fat phenotypes" in interaction
Kim Guldstrand Larsen Aalborg University	15-02-2010	18-02-2010	Validation, Performance Analysis and Synthesis of Embedded Systems Kim G Larsen
Lars Juhl Jensen University of Copenhagen	11-01-2010	15-01-2010	Just-in-time assembly: transcriptional and post-translational cell-cycle regulation of protein complexes

Visitors 2009

Visitor	Arrival	Departure	Seminar


Greg Morrisett Harvard University	14-12-2009	17-12-2009	Verifying Systems Software
Dirk Pattinson Imperial College London	02-11-2009	04-11-2009	Knowledge Representation in Coalgebraic Logics
Gul Agha University of Illinois	26-10-2009	29-10-2009	Space,Time, Probability, and Energy: Understanding Concurrent Computation
Giovanni Sena University of New York	23-10-2009	23-10-2009	Plant organ regeneration: measuring self-organization
Kevin Burrage University of Oxford	19-10-2009	20-10-2009	The visible cell: spatial-temporal modelling of processes in the living cell
Jasmin Fisher Microsoft Research Cambridge	12-10-2009	16-10-2009	The Executable Pathway to Biological Networks
Aneil Mallavarapu SRI International	21-09-2009	25-09-2009	Little b a language for modular biological models
Vito Quaranta BiologyThe Vanderbilt	15-09-2009	16-09-2009	Heterogeneity of Cancer Cell Phenotypic Traits
Alissa Weaver Vanderbilt University	15-09-2009	16-09-2009	Integration of Experimentation with Modeling
Olivier Danvy Aarhus University	11-09-2009	11-09-2009
René Thomas Universitè Libre de Bruxelles	07-09-2009	11-09-2009	Circular causality: the crucial roles of circuits in biology and nonlinear dynamics
Carlos J. Melian University of California - Santa Barbara	27-07-2009	30-07-2009	Making connections between systems biology and evolving ecological networks
Hans Meinhardt Max-Planck-Institut für Entwicklungsbiologie	15-07-2009	16-07-2009	Models for pattern formation in the development of higher organisms
Eors Szathmary Collegium Budapest	30-06-2009	02-07-2009	the origin of natural language
Benjamin Pierce University of Pennsylvania	24-06-2009	25-06-2009	Foundations for Bidirectional Programming
Tony Hoare Microsoft Research	22-06-2009	23-06-2009	Unifying models of data flow
Richard Goldstein MRC - National Institute for Medical Research	08-06-2009	12-06-2009	Piecing together the history of the 1918 Spanish Flu epidemic
Russel Schwarzt Carnegie Mellon University	03-06-2009	03-06-2009
David Basanta Moffitt Cancer Centre	18-05-2009	21-05-2009	An integrated computational approach to study cancer evolutionary dynamics
Carloyn Talcott Computer Science Laboratory	13-05-2009	14-05-2009	Symbolic Systems Biology: Using Formal Methods Tools to Model Biological Processes
Hiroki R. Ueda Laboratory for Systems Biology	12-05-2009	15-05-2009	Systems Biology of Biological Time
Joerg Stelling ETH Zurich, Computational System Biology	04-05-2009	05-05-2009	Geometries and dynamics of cellular networks
Mark Girolami University of Glasgow	06-04-2009	09-04-2009	Inference-Based Modelling Establishes the Role of BRaf in ERK Signalling
Jose Garcia Manteiga HSR - Fondazione San Raffaele Milan	27-03-2009	27-03-2009	High-throughput tools
Walter Fontana Harvard Medical School	16-03-2009	20-03-2009	Programs as models: Rule-based representations of complex molecular networks of interaction
Kohei Honda Queen Mary - University of London	17-02-2009	18-02-2009	Pi-calculus and Abstraction of Interactional Behaviour
Nobuko Yoshida University of London	17-02-2009	18-02-2009
Jose Manuel Garcia Manteiga Università Vita Salute - HSR	10-02-2009	11-02-2009
Olivier Martin Universitè Paris - Sud 11	15-01-2009	16-01-2009

Visitors 2008

Visitor	Arrival	Departure	Seminar


Alexander Braendle Microsoft Research Cambridge	15-12-2008	15-12-2008
Vassily Lyutsarev Microsoft Research Cambridge	15-12-2008	15-12-2008
Martin Calsyn Microsoft Research Cambridge	15-12-2008	15-12-2008
David Fell Oxford Brookes University	02-12-2008	04-12-2008	Genome-Scale Modelling of Metabolism
Nils Blüthgen Charité - Universitätsmedizin Berlin	02-12-2008	04-12-2008
David Torrents Barcelona Supercomputing Center	25-11-2008	25-11-2008
Rafael Carazo Salas Institut f. Biochemie - Zurich	10-11-2008	16-11-2008	Dynamics of microtubule organization in live cells
Sydney Brenner 2002 Medicine Nobel Laureate	04-11-2008	06-11-2008	The Architecture of Biological Complexity
Mike Hall University of Basel	29-10-2008	29-10-2008	TOR signaling and control of cell and organism growth
Francois Kepes Genopole®, CNRS, University of Evry	20-10-2008	23-10-2008	Epigenomics and morphodynamics
Andras Horvàth University of Torino	10-10-2008	15-10-2008	Parameter estimation of kinetic rates in stochastic reaction networks by the em method
Michael Hucka California Institute of Technology	29-09-2008	02-10-2008	An Overview of Several Standardization Efforts for Computational Systems Biology
Hidde de Jong INRIA Rhône-Alpes	23-09-2008	25-09-2008	Qualitative Modeling and Simulation of Bacterial Regulatory Networks
Andrea Chiesi Gruppo Chiesi	17-09-2008	17-09-2008
Michael Samoilov California Institute for Quantitative Biosciences	15-09-2008	19-09-2008	Engineering Designs of Biological Networks: Facilitating Computational Inference and Analysis of Biological Systems with Biochemical and Biophysical Modeling
Flemming Nielson DTU Informatics	08-09-2008	11-09-2008	MT-LAB - Static Analysis and Model Checking
Danyel Fisher Microsoft Research	28-07-2008	08-08-2008	Recent Information Visualization Work from Microsoft Research
Cristian Calude The University of Auckland	21-07-2008	30-07-2008	Halting or Non-Halting: That is the Question
Robin Milner University of Cambridge	16-06-2008	20-06-2008	The space and stochastic motion of bigraphs (1)
Dan Gillespie Dan T. Gillespie Consulting (California)	29-05-2008	30-05-2008	Stochastic Chemical Kinetics
Alexander Kurz University of Leicester	05-05-2008	31-05-2008	Coalgebraic Logic and Pi-Calculus in Logical Form (1)
Ian Laurenzi Lehigh University	05-05-2008	11-05-2008	Fast and exact stochastic simulation of the hybridization of DNA to microarrays
Frederick R. Cross Rockefeller University	15-04-2008	18-04-2008	Quantitative tests of models of cell cycle control in budding yeast
Christian I. Hong Dartmouth Medical School	31-03-2008	04-04-2008	A Mathematical Model of Neurospora crassa Circadian Rhythms Provides Insights To Molecular Mechanisms
Irun Cohen The Weizmann Institute of Science	14-03-2008	14-03-2008	Working day on computational systems biology
Gianni Cesareni Università degli Studi di Roma Tor Vergata	14-03-2008	14-03-2008	Working day on computational systems biology
Shuki Bruck California Institute of Technology	13-03-2008	15-03-2008	Working day on computational systems biology
Ana Martins Virginia Bioinformatics Institute	10-03-2008	15-03-2008	A systems biology study of the early dynamical response of Saccharomyces cerevisiae to oxidative stress induced by cumene hydroperoxide
Andrei Paun Louisiana Tech University	03-03-2008	05-03-2008	Discrete nondeterministic modeling of cellular pathways
Muffy Calder University of Glasgow	19-02-2008	22-02-2008	Verification challenges of cell signalling
Gianluigi Zavattaro University of Bologna	15-02-2008	15-02-2008	On the Computational Power of Biochemistry
Patrick Cousot École Normale Supérieure	05-02-2008	05-02-2008	Abstract Interpretation and Application to Static Analysis of Critical Software
Peter Csermely Semmelweis University	28-01-2008	30-01-2008	Stability, creativity and evolution of cellular networks
Tamás Turányi Eötvös University	27-01-2008	03-02-2008	Analysis of a budding yeast cell cycle model using the shapes of local sensitivity functions
Martí Aldea Dept. Ciències Mèdiques Bàsiques	24-01-2008	25-01-2008	Sizing cells with a speedometer?
Radhika Nagpal Harvard University	07-01-2008	09-01-2008	Emergent Geometric Order: Cell Division in Proliferating Tissue Networks.
Edo Izzi University of London	26-11-2007	26-02-2008
Csaba Pal University of Oxford	01-08-2007	31-01-2008	Evolution of metabolic networks

Visitors 2007

Visitor	Arrival	Departure	Seminar


Jorge Carneiro Instituto Gulbenkian de Ciência, Oeiras Associate	26-11-2007	29-11-2007	Regulation robustness in the immune system
Andrea Musacchio European Institute of Oncology - Milan	20-11-2007	20-11-2007	Protein networks that control the process of microtubule-kinetochore attachment during cell division
Andrea Ciliberto IFOM - Firc Institute for Molecular Oncology-Milan	20-11-2007	20-11-2007	An autocatalytic circuit is required for an efficient sequestration of Cdc20 by Mad2
Davide Chiarugi University of Siena	19-11-2007	23-11-2007
Liviu Dinu Bucharest University, Faculty of Mathematics	19-11-2007	25-11-2007
Pedro Mendes University of Manchester	15-11-2007	16-11-2007	Adventures in Reverse Engineering of Biochemical Networks
John J. Tyson Virginia Polytechnic Institute	22-10-2007	26-10-2007	Regulation of the Eukaryotic Cell Cycle: From Molecular Networks to Cell Physiology
Marek Kwiatkowski University of Edinburgh	01-10-2007	31-10-2007	A process algebraic approach to robustness and evolvability of biochemical pathways.
Richard R. Neubig University of Michigan	11-09-2007	14-09-2007	Simplicity and complexity in G protein signaling
David Liberles University of Wyoming	02-09-2007	07-09-2007	Gene duplication and functional evolution
Vanna Micheli University of Siena	09-07-2007	13-07-2007	Purine metabolism of human erythrocyte as a model of study.
Sailesh Chutani Microsoft Research	02-07-2007	06-07-2007	Rethinking the role of ICT in Healthcare
Ehud Keinan Technion - Israel Institute of Technology	21-06-2007	22-06-2007	Bio-Molecular Computing Devices
Hisao Moriya Japanese Foundation For Cancer Research	11-06-2007	17-06-2007	Upper limit dosage of genes involved in cell division cycle in S. pombe.
Alberto Policriti University of Udine	07-05-2007	07-06-2007	Stochastic Biological Modeling and Differential Equations
Yuri Gurevich Microsoft Research	07-05-2007	11-05-2007	The Abstract State Machine Approach
Melvin Cohn Salk Insitute for Biological Studies	16-04-2007	20-04-2007	Default model of the decision process of the immune system
Dennis Bray University of Cambridge	09-04-2007	15-04-2007	Computer-based Analysis of Bacterial Chemotaxis
Judy Armitage University of Oxford	21-03-2007	23-03-2007	Modelling the E.coli chemosensory pathway: strengths and weaknesses
Luca Cardelli Microsoft Research Cambridge	19-02-2007	23-02-2007	Artificial Biochemistry
Marcel Salathé ETH Zurich	12-02-2007	16-02-2007	Sex - the queen of puzzles in evolutionary biology
Guido Sanguinetti University of Sheffield	12-02-2007	16-02-2007	Bayesian inference in systems biology and bioinformatics: some examples.
Andrea Becchetti University of Milano Bicocca	12-02-2007	26-02-2007	Modulation of the cerebral cortex by the ascending cholinergic system: physiology, pathology and theoretical problems.
Vladimiro Sassone University of Southampton	05-02-2007	09-02-2007	Semantic barbs: what's in an observation?
Gianfranco Balbo University of Torino	29-01-2007	31-01-2007	Stochastic Petri Nets in practice
Stefano Monti Broad Institute	04-12-2006	31-01-2007	Molecular Cancer Classification: from Integrative Data Analysis to Therapeutics

Visitors 2006

Visitor	Arrival	Departure	Seminar


Adam Wasserstrom The Weizmann Institute of Science	22-11-2006	02-12-2006	Reconstructing Cell Lineage Trees - The Brighter Side of Mutations
Attila Csikasz-Nagy CoSBi	20-11-2006	21-11-2006	Models of eukaryotic cell cycle regulation
Herbert Sauro Keck Graduate Institute	13-11-2006	15-11-2006	An Overview of Research Efforts: Standardization and Modularity
Wolfgang Marwan MPI Magdeburg	13-11-2006	17-11-2006	Reconstructing the Network Controling Commitment to Cell Differentiation in the Eukaryote Physarum polycephalum
Ruth Baker University of Oxford	06-11-2006	09-11-2006	Mathematical modelling in developmental biology
Grzegorz Rozenberg University of Leiden	04-11-2006	11-11-2006	Gene Assembly in Ciliates - a Splendid Example of Natural Computing
Giancarlo Mauri University of Milano	23-10-2006	27-10-2006
John Heath University of Birmingham	18-09-2006	22-09-2006	Computational reasoning about biological signalling pathways
George Cowan Pfizer Pharmaceutical Company	11-09-2006	14-09-2006	Modeling and Prediction in Early Stage Drug Discovery
Pietro Liò University of Cambridge	04-07-2006	07-07-2006	A topological analysis of a network of periodic genes in S. pombe cell cycle
Francesco Amato University of Catanzaro	03-07-2006	07-07-2006	Reconstruction of Biological Interaction Networks: A Linear Matrix Inequalities Approach
Diego Di Bernardo Telethon Institute of Genetics and Medicine	20-06-2006	23-06-2006	Reverse engineering of genetic networks and its applications to biology and drug discovery
Forbes Dewey Massachusetts Institute of Technology	19-06-2006	22-06-2006	An Integrated Software Architecture to Support Modern Experimental Biology
Marta Kwiatkowska University of Birmingham	15-06-2006	16-06-2006	Probabilistic model checking of biological processes
Giovanni Sebastiani CNR	05-06-2006	09-06-2006	Bayesian Analysis of Signals and Images with Applications to Medicine and Biology
Henry Adorna University of the Philippines Diliman	08-05-2006	20-05-2006	Modeling the Receptor-Mediated Pathway of Apoptosis Using Hybrid Petri Nets
Celine Kuttler CoSBi	02-05-2006	05-05-2006	Simulation of bacterial transcription and translation in the pi calculus.
Dominique Chu University of Kent	27-04-2006	19-05-2006	Understanding "Orientational Control" of phase variation in the E.coli fim system.
Jane Hillston University of Edinburgh	29-03-2006	05-04-2006	Process algebra abstractions of biochemical pathways
Nadia Busi University of Bologna	14-03-2006	17-03-2006	Expressiveness issues in Brane Calculi
Carlo Cosentino University of Catanzaro	13-03-2006	09-04-2006
Andrew Phillips Microsoft Research	22-02-2006	24-02-2006	Simulating Biological Systems in the Stochastic Pi-calculus
Charles Auffray CNRS Paris	20-02-2006	22-02-2006	Systems Biology: a Research Strategy to Tackle Biological Complexity in Medicine.
Ralf Blossey IRI Villeneuve d'Ascq	13-02-2006	24-02-2006	A compositional approach to the stochastic dynamics of gene networks
Pierpaolo Degano University of Pisa	31-01-2006	10-02-2006	VICE: a virtual cell
Ela Hunt University of Glasgow	26-01-2006	02-02-2006	Moving data integration and visualisation support into the database engine
Gordon Plotkin University of Edinburgh	23-01-2006	27-01-2006	A Calculus for Biochemical Systems