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

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

FacebookTwitterLinkedInGoogle

Link: http://combio.abo.fi/compmod13/
 
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.

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

Related Resources

COLING 2018   The 27th International Conference on Computational Linguistics (COLING 2018)
LICS 2018   Logic in Computer Science
ACL 2018   56th Annual Meeting of the Association for Computational Linguistics
FM 2018   22nd International Symposium on Formal Methods
ANTS 2018   International Conference on Swarm Intelligence
DCM 2018   12th International Workshop on Developments in Computational Model
COLT 2018   Computational Learning Theory
IJESA 2017   International Journal of Embedded Systems and Applications
ICANN 2018   27th International Conference on Artificial Neural Networks
ICBCB 2018--Ei, Scopus 2018   2018 6th International Conference on Bioinformatics and Computational Biology (ICBCB 2018)--Ei Compendex, Scopus and ISI