[ecoop-info] Call for participation: CompMod 2009, Nov 3, 2009, Eindhoven, the Netherlands

[Ion Petre]

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