posted by user: nicopao || 1573 views || tracked by 4 users: [display]

CompMod 2013 : 4th International Workshop on Computational Models for Cell Processes


When Jun 11, 2013 - Jun 11, 2013
Where Turku, Finland
Submission Deadline Feb 28, 2013
Notification Due Apr 30, 2013
Final Version Due May 7, 2013
Categories    computational biology   formal methods

Call For Papers

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.

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

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

- 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'
Venue: ?bo Akademi University, Turku, Finland

Related Resources

COMMA 2018   Seventh International Conference on Computational Models of Argument
ANTS 2018   International Conference on Swarm Intelligence
DCM 2018   12th International Workshop on Developments in Computational Model
CONCUR 2018   29th International Conference on Concurrency Theory
ICANN 2018   27th International Conference on Artificial Neural Networks
SEFM 2018   The 16th International Conference on Software Engineering and Formal Methods
MODELS 2018   ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems
IJESA 2018   International Journal of Embedded Systems and Applications
SEPA 2018   10th International Symposium on Software Engineering Processes and Applications
PDP 2018   The 26th Euromicro International Conference on Parallel, Distributed and Network-Based Processing