Computational systems biology is an exciting new application area for
applied mathematics and computer science. This workshop of the 10th
International Conference on integrated Formal Methods (iFM) 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 http://www.easychair.org/conferences/?conf=compmod2013.
Simultaneous submission to journals or to other conferences or workshops
with published proceedings is not allowed. All accepted papers will be
published in the EPTCS proceedings and presented at the workshop.

IMPORTANT DATES
---------------
- Submission deadline: February 28, 2013
- Notification: April 30, 2013
- Final version: May 7, 2013
- Workshop: June 11, 2013

PROGRAMME COMMITTEE
-------------------
- Oana Andrei, University of Glasgow, UK
- Luca Bortolussi, University of Trieste, Italy
- Lubos Brim, Masaryk University, Czech Republic
- Eugen Czeizler, Aalto University, Finland
- Jerome Feret, ENS, France
- Vashti Galpin, University of Edinburgh, UK
- Russ Harmer, CNRS, France
- Monika Heiner, Brandenburg University at Cottbus, Germany
- Ina Koch, Johann Wolfgang Goethe-University Frankfurt am Main, Germany
- Andrzej Mizera, University of Luxembourg, Luxembourg
- Ion Petre, ?bo Akademi University, Finland (chair)
- Corrado Priami, DISI, University of Trento and CoSBi, Italy
- David Safranek, Masaryk University, Czech Republic
- Angelo Troina, Universit? di Torino, Italy
- Erik de Vink, Technische Universiteit Eindhoven, Netherlands
- Claudio Zandron, Universit? di Milano-Bicocca, Italy

Organizer: Ion Petre, ipetre 'at' abo.fi
Venue: ?bo Akademi University, Turku, Finland