posted by user: nicopao || 3044 views || tracked by 5 users: [display]

CMSB 2013 : 11th Annual Conference on Computational Methods in Systems Biology

FacebookTwitterLinkedInGoogle


Conference Series : Computational Methods in Systems Biology
 
Link: http://ist.ac.at/cmsb13
 
When Sep 23, 2013 - Sep 25, 2013
Where IST Austria, Klosterneuburg, Austria
Abstract Registration Due Apr 8, 2013
Submission Deadline Apr 15, 2013
Notification Due May 27, 2013
Final Version Due Jun 24, 2013
Categories    computational biology   formal methods
 

Call For Papers

***************************************************************************
CMSB 2013
The 11th Annual Conference on Computational Methods in Systems Biology

23-25 September, 2013
IST Austria, Klosterneuburg, Austria
http://ist.ac.at/cmsb13
***************************************************************************


IMPORTANT DATES

Abstract deadline 8 April, 2013
Paper submission deadline 15 April, 2013
Author notification 27 May, 2013
Poster submission deadline 27 May, 2013
Poster notification 10 June, 2013
Camera-ready deadline 24 June, 2013

AIM & SCOPE

CMSB 2013 solicits original research articles on the computational
modeling and analysis of biological systems, pathways, networks,
data, and corresponding application domains. The conference brings
together computer scientists, biologists, mathematicians, engineers,
and physicists interested in a system-level understanding of biological
processes. It covers theory, computation, as well as applications.

Topics of interest include, but are not limited to:

* original paradigms, formalisms, and languages for modeling biological
processes
* original models together with their application domains
* frameworks, techniques, and tools for verifying, validating,
analyzing, and simulating biological systems
* high-performance computational systems biology and parallel
implementations
* inference from high-throughput experimental data
* model integration from biological databases
* multi-scale modeling and analysis methods
* synthetic biology.

Case studies in systems and synthetic biology are especially encouraged.

Submitted papers should describe original work that has not been
previously published and is not under review for publication elsewhere.

Proceedings will be published by Springer LNCS/LNBI.

After the conference, a selection of papers will be invited to be
extended and submitted to a special issue of Theoretical Computer
Science.

PAPER SUBMISSION

Papers must be edited in LATEX using the LNCS format and be submitted
electronically as PDF files via EasyChair. The limit for submissions
is 12 pages.

POSTER TRACK

CMSB 2013 also solicits poster submissions. The abstract of each poster
will get 2 pages in the proceedings. Some selected posters will also be
given slots of short talks at the conference.

We especially encourage poster submission from experimental biologists!
In order to facilitate biologists to attend the conference and present
their work, a limited number of travel stipends for students and
postdocs presenting biology posters will be available.


INVITED SPEAKERS

tba

ORGANIZING COMMITTEE

* Calin Guet - IST Austria
* Ashutosh Gupta - IST Austria
* Thomas Henzinger - IST Austria (program chair)

PROGRAM COMMITTEE

tba

STEERING COMMITTEE

* Finn Drablos - NTNU, Trondheim, Norway
* Francois Fages - INRIA Paris Rocquencourt, France
* David Harel - Weizmann Institute of Science, Rehovot, Israel
* Monika Heiner - Brandenburg University of Technology, Cottbus, Germany
* Tommaso Mazza - IRCCS Casa Sollievo della Sofferenza Mendel, Rome, Italy
* Satoru Miyano - University of Tokyo, Japan
* Gordon Plotkin - University of Edinburgh, UK
* Corrado Priami - CoSBi/Microsoft Research, University of Trento, Italy
* Carolyn Talcott - Stanford Research Institute, Menlo Park, USA
* Adelinde Uhrmacher - University of Rostock, Germany

SPONSORS

* European Research Council (ERC)
* IST Austria
* Technical Committee for Simulation (TCSIM)

Related Resources

Journal Special Issue 2019   Machine Learning on Scientific Data and Information
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
APBC 2020   The 18th Asia Pacific Bioinformatics Conference
SEFM 2019   Software Engineering and Formal Methods
EMNLP-IJCNLP 2019   Conference on Empirical Methods in Natural Language Processing & International Joint Conference on Natural Language Processing 2019
Journal Special Issue 2019   Bioinformatics and Computational Biology (IF 4.829)
GIW/ABACBS 2019   International Conference on Genome Informatics (GIW) and Australian Bioinformatics and Computational Biology Society (ABACBS) joint conference 2019
FACS 2019   Formal Aspects of Component Software
AICCC--EI, Scopus 2019   2019 2nd Artificial Intelligence and Cloud Computing Conference (AICCC 2019)--EI Compendex, Scopus