[Socbin] Last CfP and deadline extension: Computational Models for Cell Processes 2009

[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

--------------------------------------------------------------------
=== 	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