Second International Workshop on Computational Models for Cell Processes Eindhoven, the Netherlands, November 3, 2009 http://combio.abo.fi/compmod09/ In conjunction with Formal Methods 2009 ---------------------------------------------------------------------------- --- === Date: November 3, 2009 === === Webpage: http://combio.abo.fi/compmod09/ === === Related event: Tutorial on Computational Systems Biology, Nov 2, 2009 === === http://combio.abo.fi/tcsb09/ === ---------------------------------------------------------------------------- --- THE MEETING ----------- Computational systems biology is an exciting new application area for applied mathematics and computer science. This workshop of the 16th International Symposium on Formal Methods fosters an excellent platform gathering researchers in formal methods and related fields that are interested in the wealth of opportunities and challenges in systems biology. INVITED SPEAKERS ---------------- - Jasmin Fisher (Microsoft Research Cambridge) - Hidde de Jong (INRIA Grenoble - Rhone-Alpes) - Grzegorz Rozenberg (University of Leiden) ACCEPTED PAPERS --------------- - Bogdan Aman and Gabriel Ciobanu. Mobile Membranes with Timers - Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo Schettini and Paolo Milazzo. On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems - Jiri Barnat, Lubos Brim, Ivana Cerna, Sven Drazan, Jana Fabriková and David Safranek. BioDiVinE: A Framework for Parallel Analysis of Biological Models - Daniela Besozzi, Paolo Cazzaniga, Matteo Dugo, Dario Pescini and Giancarlo Mauri. A study on the combined interplay between stochastic fluctuations and the number of flagella in bacterial chemotaxis - Luca Bortolussi and Alberto Policriti. Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration. - Mario Coppo, Ferruccio Damiani, Elena Grassi, Mike Guether and Angelo Troina. Modelling an Ammonium Transporter with SCLS - Laurence Loewe, Stuart Moodie and Jane Hillston. Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA - Heike Siebert. Dynamical and Structural Modularity of Discrete Regulatory Networks REGISTRATION AND IMPORTANT DATES --------------------------------- - Registration: http://www.win.tue.nl/fm2009/ - Registration deadline: October 19, 2009 - Late registration: after October 19, including on-site registration - Workshop: November 2, 2009 PROGRAMME COMMITTEE ------------------- - Ralph Back, Abo Akademi, Finland - Lubos Brim, Masaryk University, Czech Republic - Muffy Calder, University of Glasgow, UK - Eugen Czeizler, Abo Akademi, Finland - Vincent Danos, University of Edinburgh, UK - Russ Harmer, University of Paris 7, France - Monika Heiner, Brandenburg University of Technology Cottbus, Germany - Jane Hillston, University of Edinburgh, UK - Ina Koch, Max Planck Institute for Molecular Genetics, Germany - Vincenzo Manca, University of Verona, Italy - Giancarlo Mauri, University of Milan-Bicocca, Italy - Satoru Miyano, University of Tokyo, Japan - Andrei Paun, Louisiana Tech University, US - Ion Petre, Abo Akademi, Finland - Jaco van de Pol, University of Twente, the Netherlands - Alberto Policriti, University of Udine, Italy - Erik de Vink, Eindhoven University of Technology, the Netherlands ORGANIZERS ---------- - Ion Petre, ipetre 'AT' abo.fi - Erik de Vink, evink 'AT' win.tue.nl - Ralph-Johan Back, backrj 'AT' abo.fi VENUE: Technische Universiteit Eindhoven, the Netherlands