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

SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
NAACL-HLT 2019   Annual Conference of the North American Chapter of the Association for Computational Linguistics
BICoB 2019   11th International Conference on Bioinformatics and Computational Biology
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
MODELS 2018   ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems
BIOINFORMATICS 2019   10th International Conference on Bioinformatics Models, Methods and Algorithms
IHCI 2018   10th International Conference on Intelligent Human Computer Interaction
ICWSM 2019   International Conference on Weblogs and Social Media
HSCC 2019   22nd ACM International Conference on Hybrid Systems: Computation and Control