Call for participation for two events connecting computer science and biology, in conjunction with Formal Methods 2009: 1. Tutorial on Computational Systems Biology Eindhoven, the Netherlands, November 2, 2009 http://combio.abo.fi/tcsb09/ Registration deadline: October 16, 2009 2. Second International Workshop on Computational Models for Cell Processes Eindhoven, the Netherlands, November 3, 2009 http://combio.abo.fi/compmod09/ Registration deadline: October 19, 2009 1. Tutorial on Computational Systems Biology (November 2, 2009, full day event) -------------------------------------------- - Lecturers: Ion Petre and Ralph-Johan Back, Abo Akademi University, Finland - Content: This one-day tutorial provides an introduction to computational systems biology, starting with a crash course on molecular biology for computer scientist and continuing with discrete, continuous and stochastic modeling techniques, as well as formal methods-based approaches. A demonstration is included on Copasi (Complex Pathway Simulator), a useful tool for modeling and simulating sysbio projects. The well-known heat shock response, that the lecturers and their research groups have been working on already for some years, will serve as a running example connecting the various topics. - Registration deadline: October 16, 2009 2. Workshop on Computational Models for Cell Processes (November 3, 2009) ------------------------------------------------------ FOCUS ----- 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