posted by organizer: mmagnin || 997 views || tracked by 2 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

LSFA 2017   12th Workshop on Logical and Semantic Frameworks, with Applications
ICFEM 2017   19th International Conference on Formal Engineering Methods
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
DILS 2017   12th International Conference on Data Integration in Life Science
MASCOTS 2017   25th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
FMCAD 2017   Formal Methods in Computer-Aided Design
BIOKDD-DEXA 2017   8th International Workshop on Biological Knowledge Discovery from Data (BIOKDD'17)
ICBBT- Ei 2017   2017 9th International Conference on Bioinformatics and Biomedical Technology (ICBBT 2017)--Ei Compendex and Scopus
ER 2017   International Conference on Conceptual Modeling
Biological Foundations of Language 2017   Special Issue celebrating Biological Foundations of Language