posted by organizer: mmagnin || 1547 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

ICSRS--Ei and Scopus 2019   2019 4th International Conference on System Reliability and Safety (ICSRS 2019)--Ei Compendex and Scopus
Journal Special Issue 2019   Machine Learning on Scientific Data and Information
ER 2019   38th International Conference on Conceptual Modeling
FM 2019   23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods
ICCSM--JA, Scopus 2019   2019 3rd International Conference on Computer, Software and Modeling (ICCSM 2019)--JA, Scopus
SEFM 2019   Software Engineering and Formal Methods
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação
CMSB 2019   17th International Conference on Computational Methods in Systems Biology
NSDI 2020   The 17th USENIX Symposium on Networked Systems Design and Implementation
IJIBM 2019   Call For Papers - International Journal of Information, Business and Management