posted by organizer: mmagnin || 1455 views || tracked by 3 users: [display]

LMBS 2015 : 1st International Workshop on Logical Modeling of Biological Systems


When Sep 18, 2015 - Sep 18, 2015
Where Nantes, France
Submission Deadline Jun 22, 2015
Notification Due Aug 1, 2015
Final Version Due Aug 22, 2015
Categories    systems biology   computational biology   formal methods   logic programming

Call For Papers

= LMBS 2015 =
1st International Workshop on Logical Modeling of Biological Systems
September, 18th 2015
Nantes, France

Satellite workshop of CMSB 2015

=== Important Dates ===

Paper submission deadline: June 22nd, 2015
Paper notification: August 1st, 2015
Camera-ready deadline: August 22nd, 2015
Workshop: September 18th, 2015

=== Scope ===

During the past decade, qualitative modeling have proven to be effective in treating many biological issues, such as the understanding of how biological systems evolve or whether certain statements are available.
The contribution of logical approaches to the modeling of biological systems has been recently emphasized in a book published by Wiley in 2014 (
Based on (but not limited to) this work, the objective of the workshop is to highlight the benefits and challenges of logical modeling of biological systems, and to provide an open forum for collaboration between researchers from different fields.

The call for paper targets contribution in the field of logical approaches designed to face the challenges aroused by biological systems. It aims at giving an overview of the cutting-edge approaches of logical modeling and analysis methods designed for biological systems, such as gene regulatory networks, signaling networks, metabolic pathways, molecular interaction or network dynamics.

Topics of logical methods include, but are not limited to:
- Boolean networks,
- discrete or hybrid formalisms,
- propositional logic,
- first-order logic,
- modal logics,
- probabilistic logics,
- logic programming, answer set programming,
- constraint logic programming,
- nonmonotonic reasoning,
- abductive and inductive logic programming.

=== Submission Guidelines===

Please visit:

Submitted papers should describe original work that does not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings.
Papers should be written in English and be formatted according to the Springer Verlag LNCS style, which can be obtained from

Papers must be submitted electronically as PDF files via EasyChair. The limit for submissions is 12 pages. Appendices will not not be counted in the page limit.
All submissions will be peer-reviewed and all accepted papers must be presented at the workshop.
The proceedings will be published electronically and at least gathered on arXiv as full volume.

=== Committees ===

===== Workshop Co-chairs =====

Luis FARINAS (IRIT, France)
Katsumi INOUE (National Institute of Informatics, Japan)
Morgan MAGNIN (École Centrale de Nantes, IRCCyN, France)

===== Program Committee =====

Tatsuya AKUTSU - Bioinformatics Center, Institute for Chemical Research, Kyoto University, Japan
Paolo BALLARINI - Laboratoire MAS, École Centrale de Paris, France
Krysia BRODA - Imperial College, London, England
Gilles BERNOT - Université de Nice - Sophia Antipolis, France
Jean-Paul COMET - Université de Nice - Sophia Antipolis, France
Robert DEMOLOMBE - IRIT, Toulouse, France
Francois FAGES - Inria, Paris-Rocquencourt, France
Maxime FOLSCHETTE - University of Kassel, Germany
Christine FROIDEVAUX - LRI, Université Paris-Sud, France
Antonis KAKAS - University of Cyprus, Cyprus
Ross KING - Manchester Institute of Biotechnology, Manchester, England
Torsten SCHAUB - University of Potsdam, Germany
Anne SIEGEL - CNRS, IRISA, Rennes, France
Alireza TAMADDONI-NEZHAD - Imperial College, London, England
Laurent TRILLING - TIMC-IMAG, Grenoble, France

Related Resources

UMAP 2019   User Modeling, Adaptation, and Personalization
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
SummerSim 2019   2019 Summer Simulation Conference
BICoB 2019   11th International Conference on Bioinformatics and Computational Biology
IROS 2019   Intelligent RObots and Systems
BES 2018   3rd International Conference on Biomedical Engineering and Science
ER 2019   38th International Conference on Conceptual Modeling
HSCC 2019   22nd ACM International Conference on Hybrid Systems: Computation and Control
DEBS 2019   13th ACM International Conference on Distributed and Event-based Systems
ICBRA--Ei and Scopus 2018   2018 5th International Conference on Bioinformatics Research and Applications (ICBRA 2018)--Ei Compendex and Scopus