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

IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
NFM 2017   The 9th NASA Formal Methods Symposium
SPECTS 2017   International Symposium on Performance Evaluation of Computer and Telecommunication Systems
FSEN 2017   Fundamentals of Software Engineering
ICCMS - ACM 2017   2017 8th International Conference on Computer Modeling and Simulation (ICCMS 2017)-EI and Scopus
CSBio 2016   7th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2016)
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
BICOB 2017   9th International Conference on Bioinformatics and Computational Biology (BICOB)
ICSMO 2017   2017 International Conference on System Modeling and Optimization (ICSMO 2017)
ACIRS 2017   2nd IEEE Asia-Pacific Conference on Intelligent Robot Systems (ACIRS 2017)-IEEE Xplore, Ei Compendex