[Socbin] CompMod 2011: last call for papers

[Ion Petre]

Apologies for multiple copies
======================================================================

  	    Last call for papers: CompMod 2011
  3rd International Workshop on Computational Models for Cell Processes
                Aachen, Germany, September 10, 2011
                  http://combio.abo.fi/compmod11/
                  In conjunction with CONCUR 2011

------------------------------------------------------------
===  Deadline for submissions: Extended to May 31, 2011  ===
=== Proceedings to be published in the EPTCS series 	  ===
------------------------------------------------------------

Computational systems biology is an exciting new application area for
applied mathematics and computer science. This workshop of the 22nd
International Conference on Concurrency Theory (CONCUR) 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
and 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
 - Process calculi as a biomodeling platform
 - Formal methods for synthetic biology

Authors are invited to submit extended abstracts or full papers of up
to 15 pages formatted according to EPTCS guidelines. Submissions can
be uploaded at www.easychair.org/conferences/?conf=compmod2011.
Simultaneous submission to other conferences or workshops with
published proceedings, or to journals is not allowed. The proceedings 
of CompMod 2011 will be published in the EPTCS series. A special issue 
of the journal Transactions on Computational Systems Biology, based on 
the workshop, is planned after the workshop.

INVITED SPEAKERS
----------------
 - Adelinde Uhrmacher, University of Rostock, Germany
 - Verena Wolf, Saarland University, Germany

IMPORTANT DATES
---------------
 - Submission:    extended to May 31, 2011
 - Notification:  June 25, 2011
 - Final version: July 25, 2011
 - Workshop:      September 10, 2011

PROGRAMME COMMITTEE
-------------------
- Ralph Back, Abo Akademi, Finland
- Vincent Danos, University of Edinburgh, UK
- Francois Fages, INRIA Paris-Rocquencourt, France 
- Russ Harmer, Harvard Medical School, US
- Monika Heiner, Brandenburg University of Technology Cottbus, Germany
- Jane Hillston, University of Edinburgh, UK
- Ina Koch, University of Frankfurt, Germany
- Giancarlo Mauri, University of Milan-Bicocca, Italy
- Emanuella Merelli, University of Camerino, Italy
- Ion Petre, Abo Akademi, Finland (co-chair)
- Alberto Policriti, University of Udine, Italy
- Corrado Priami, Microsoft Research & University of Trento, Center for
Computational and Systems Biology, Italy
- Angelo Troina, Universita degli Studi di Torino, Italy
- Adelinde Uhrmacher, University of Rostock, Germany
- Erik de Vink, Eindhoven University of Technology, the Netherlands
(co-chair)

ORGANIZERS
----------
 - Ion Petre, ipetre 'at' abo.fi
 - Erik de Vink, evink 'at' win.tue.nl

Venue: University of Aachen, Germany