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

IJCAI 2022   31st International Joint Conference on Artificial Intelligence
GRAPH-HOC 2021   International Journal on Applications of Graph Theory in Wireless Ad hoc Networks and Sensor Networks
SCIS-ISIS 2022   Joint 12th International Conference on Soft Computing and Intelligent Systems and 23rd International Symposium on Advanced Intelligent Systems
FormaliSE 2022   10th International Conference on Formal Methods in Software Engineering
INES 2022   26th IEEE International Conference on Intelligent Engineering Systems 2022
RECOMB-CG 2022   RECOMB-CG 2022: The 19th RECOMB Satellite Conference on Comparative Genomics
Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency
PRAI--IEEE, Scopus, Ei 2022   IEEE--2022 the 5th International Conference on Pattern Recognition and Artificial Intelligence (PRAI 2022)--Scopus, Ei Compendex
SIMULTECH 2022   12th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
Sp.issue LNLM - CI & Electrical Systems 2022   Special issue in Computational Intelligence in Emerging Electrical Systems