posted by organizer: xsafran1 || 3472 views || tracked by 5 users: [display]

CMSB 2018 : 16th International Conference on Computational Methods in Systems Biology

FacebookTwitterLinkedInGoogle


Conference Series : Computational Methods in Systems Biology
 
Link: https://cmsb2018.fi.muni.cz/
 
When Sep 12, 2018 - Sep 14, 2018
Where Brno, Czech Republic
Submission Deadline Jun 22, 2018
Notification Due Jun 25, 2018
Final Version Due Jun 25, 2018
Categories    systems biology   high-performance methods   formal methods   systems design and modelling
 

Call For Papers

-- Call for Participation --

CMSB 2018: 16th International Conference on Computational Methods in Systems Biology

https://cmsb2018.fi.muni.cz/

12-14 September 2018, Brno (Czech Republic)

In cooperation with ACM
Proceedings in Springer's LNCS/LNBI
Best papers to be invited for a special section of IEEE/ACM TCBB

::: EARLY REGISTRATION until 31.8.2018 ::::

================================================================================

The 16th conference on Computational Methods in Systems Biology (CMSB 2018) will take place on the 12th to 14th September 2018 in Brno, Czech Republic. Its aim is to bring together researchers from across biological, mathematical, computational, and physical sciences who are interested in the study, modelling, simulation, advanced analysis, and design of biological systems. CMSB 2018 will be hosted at Faculty of Informatics, Masaryk University.

The conference program is now available: https://cmsb2018.fi.muni.cz/program/

Participants can still submit a poster in the second wave of the poster presentations call. The posters will be not included in the proceedings.

== INVITED SPEAKERS ==

Ilka Maria Axmann, Heinrich Heine University Düsseldorf, DE
Mustafa Khammash, ETH Zurich, CH
Chris J. Myers, University of Utah, US
Andrew Phillips, Microsoft Research, UK
Andrew Turberfield, University of Oxford, UK

== TOPICS OF INTEREST ==

CMSB 2018 solicits original research articles, tool papers, posters, and presentations on the modelling and analysis of biological systems and networks as well as the analysis of biological data. The conference brings together computer scientists, biologists, mathematicians, engineers, and physicists interested in a system-level understanding of biological processes. It covers the broad field of computational methods and tools in systems and synthetic biology and their applications.

Topics of interest include, but are not limited to:

* formalisms for modelling biological processes
* models, methods, tools and their biological applications
* frameworks for model verification, validation, analysis, and simulation of biological systems
* high-performance methods for computational systems biology
* parameter and model inference from experimental data
* automated parameter and model synthesis
* model integration and biological databases
* multi-scale modelling and analysis methods
* design, analysis, and verification methods for synthetic biology
* methods for biomolecular computing and engineered molecular devices

In general, the conference is open to new theoretical results with potential applications to systems and synthetic biology, as well as novel applications and case studies of existing methods, tools, or frameworks.

The CMSB 2018 proceedings will be published in the Springer LNCS series and indexed by ISI Web of Science, Scopus, ACM Digital Library, DBLP, and Google Scholar.

Call for papers is closed. Participants can still submit a poster in the second wave of the poster presentations call. The posters will be not included in the proceedings.

== PROGRAM COMMITTEE CHAIRS ==

Milan Ceska, Brno University of Technology, CZ
David Safranek, Masaryk University, CZ

== PROGRAM COMMITTEE ==

Alessandro Abate, University of Oxford, UK
Ezio Bartocci, Vienna University of Technology, AT
Nikola Benes, Masaryk University, CZ
Luca Bortolussi, Univerity of Trieste, IT
Luca Cardelli, Microsoft Research, UK
Milan Ceska, Brno University of Technology, CZ (co-chair)
Claudine Chaouiya, Insituto Gulbenkian de Ciência, PT
Eugenio Cinquemani, IBIS – INRIA, Grenoble, FR
Thao Dang, VERIMAG/CNRS, Grenoble, FR
Hidde de Jong, IBIS – INRIA, Grenoble FR
Francois Fages, INRIA Saclay Ile-de-France, FR
Jerome Feret, INRIA, Paris, FR
Christoph Flamm, University of Vienna, AT
Tomas Gedeon, Montana State University, US
Radu Grosu, Vienna University of Technology, AT
Monika Heiner, Brandenburg Technical University Cottbus-Senftenberg, DE
Jane Hillston, The University of Edinburgh, UK
Heinz Koeppl, Technische Universitat Darmstadt, DE
Jean Krivine, IRIF, Paris Diderot University, FR
Oded Maler, VERIMAG/CNRS, Grenoble, FR
Tommaso Mazza, RCCS Casa Sollievo della Sofferenza – Mendel, IT
Satoru Miyano, The University of Tokyo, JP
Andrzej Mizera, Luxembourg Institute of Health and Luxembourg Centre for Systems Biomedicine, LU
Pedro T. Monteiro – INESC-ID / IST - Universidade de Lisboa, PT
Laura Nenzi, Vienna University of Technology, AT
Nicola Paoletti, Stony Brook University, USA
Loic Pauleve, CNRS/LRI, FR
Ion Petre, Abo Akademi Turku, FI
Tatjana Petrov, Universität Konstanz, DE
Carla Piazza, University of Udine, IT
Ovidiu Radulescu, University of Montpellier 2, FR
Olivier Roux, Ecole Centrale Nantes, FR
Guido Sanguinetti, The University of Edinburgh, UK
Thomas Sauter, University of Luxembourg, LU
Heike Siebert, Freie Universität Berlin, DE
Abhyudai Singh, University of Delaware, US
David Safranek, Masaryk University, CZ
Carolyn Talcott, SRI International, US
Chris Thachuk, California Institute of Technology, US
P.S. Thiagarajan, Harvard University, US
Adelinde Uhrmacher, University of Rostock, DE
Verena Wolf, Saarland University, DE
Boyan Yordanov, Microsoft Research, UK
Paolo Zuliani, Newcastle University, UK

TOOL EVALUATION COMMITTEE

Giulio Caravagna, University of Edinburgh, UK
Matej Hajnal, Masaryk University, CZ
Juraj Kolcak, LSV, CNRS & ENS de Cachan, FR
Luca Laurenti, University of Oxford, UK
Jiri Matyas, Brno University of Technology, CZ
Samuel Pastva, Masaryk University, CZ (chair)
Fedor Shmarov, Newcastle University, UK
Max Whitby, University of Oxford, UK

== STEERING COMMITTEE ==

Finn Drablos, NTNU, NO
Francois Fages, INRIA Saclay Ile-de-France, FR
David Harel, Weizmann Institute of Science, IL
Monika Heiner, Brandenburg Technical University Cottbus-Senftenberg, DE
Tommaso Mazza, RCCS Casa Sollievo della Sofferenza – Mendel, IT
Satoru Miyano, The University of Tokyo, JP
Gordon Plotkin, The University of Edinburgh, UK
Corrado Priami, CoSBi / Microsoft Research, University of Trento, IT
Carolyn Talcott, SRI International, US
Adelinde Uhrmacher, University of Rostock, DE

Related Resources

CMSB 2024   Computational Methods in Systems Biology
FM 2024   Formal Methods
ACM CIIS 2024   ACM--2024 7th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2024)
ICFEM 2024   International Conference on Formal Engineering Methods
ICCIS 2024   6th International Conference on Communication and Intelligent Systems
SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
CIIS 2024   ACM--2024 7th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2024)
TAP 2024   18th International Conference on Tests and Proofs
AIAT--EI 2024   2024 4th International Conference on Artificial Intelligence and Application Technologies (AIAT 2024)
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems