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

CogSIMA 2018   2018 IEEE Conference on Cognitive and Computational Aspects of Situation Management
LICS 2018   Logic in Computer Science
IROS 2018   Intelligent RObots and Systems
FM 2018   22nd International Symposium on Formal Methods
Social Information Systems @ HICSS-51   Social Information Systems Minitrack - Hawaii International Conference on System Sciences (HICSS-51)
BICoB 2018   10th International Conference on Bioinformatics and Computational Biology
IUI 2018   The 23rd ACM International Conference on Intelligent User Interfaces
FLOPS 2018   International Symposium on Functional and Logic Programming
LSFA 2017   12th Workshop on Logical and Semantic Frameworks, with Applications
data-driven 2017   Special Issue on “Data-Driven User Behavioral Modeling: From Real-World Behavior to Knowledge, Algorithms, and Systems”