posted by user: nicopao || 1645 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

BIBM 2018   2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM18)
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
MODELS 2018   ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems
IJAB 2018   International Journal of Advances in Biology
IHCI 2018   10th International Conference on Intelligent Human Computer Interaction
SBMF 2018   21st Brazilian Symposium on Formal Methods
SEPA 2018   10th International Symposium on Software Engineering Processes and Applications
FACS 2018   15th International Conference on Formal Aspects of Component Software
NLPCS 2018   13th International Workshop on Natural Language Processing and Cognitive Science
ICCBB--ACM, Ei and Scopus 2018   ACM--2018 2nd International Conference on Computational Biology and Bioinformatics (ICCBB 2018)--Ei Compendex and Scopus