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 -------------------------------------------------------------------- === Deadline extended: July 15, 2009 === === Proceedings will be published in the new EPTCS series === -------------------------------------------------------------------- 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. SUBMISSIONS ----------- We seek papers and extended abstracts in all areas that relate to the relevance and potential of formal methods and computational modeling/simulation in systems biology. In particular, we welcome contributions that present biological processes requiring special computational and formal techniques that have not been investigated so far in the context of formal methods, as well as extensions of formal methods formalisms introduced to improve their applicability to biology. Topics of interest include, but are not limited to: - Formal models for cellular pathways - Qualitative biological modeling - Quantitative formal methods - Theoretical comparison of formalisms for biological processes - Biologically-inspired extensions to formal methods, concurrency theory, or logical methods - Differential, discrete and/or stochastic modeling languages - Reconstruction of biological networks based on empirical data - Decomposition and modularization of large biological networks - Applications of formal methods and computational modeling - Membrane systems as a modeling platform Authors are invited to submit extended abstracts or full papers of up to 15 pages formatted according to EPTCS guidelines. Electronic submissions should be formatted in PDF. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. A special issue of a high-level international journal, based on the workshop, is planned after the workshop. INVITED SPEAKERS ---------------- - Jasmin Fisher (Microsoft Research Cambridge) - Hidde de Jong (INRIA Grenoble - Rhone-Alpes) - Grzegorz Rozenberg (University of Leiden) IMPORTANT DATES --------------- - Deadline extended: July 15, 2009 - Notification: September 10, 2009 - Final version: October 1, 2009 - 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