[DL] CFP: First Workshop on Logics and Reasoning for Conceptual Models (LRCM 2013)

[Calvanese Diego]

Call for Papers

====================================================
  First Workshop on Logics and Reasoning for Conceptual Models (LRCM 2013)
           14 December 2013<x-apple-data-detectors://3>, Stellenbosch, South Africa
                  http://www.cair.za.net/LRCM2013/

                         ==================

co-located with the 19th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning (LPAR-19), Stellenbosch, South Africa
====================================================


There is an increase in complexity of information systems due to, among
others, company mergers with information system integration, upscaling
of scientific collaborations, e-government etc., which push the
necessity for good quality information systems. An information system's
quality is largely determined in the conceptual modeling stage, and
avoiding or fixing errors of the conceptual model saves resources during
design, implementation, and maintenance. The size and high expressivity
of conceptual models represented in languages such as EER, UML, and ORM
require a logic-based approach in the representation of information and
adoption of automated reasoning techniques to assist in the development
of good quality conceptual models. The theory to achieve this is still
in its infancy, however, with only a limited set of theories and tools
that address subtopics in this area. This workshop aims at bringing
together researchers working on the logic foundations of conceptual data
modeling languages and the reasoning techniques that are being developed
so as to discuss the latest results in the area.


**** Topics ****

Topics of interest include, but are not limited to:
- Logics for temporal and spatial conceptual models and BPM
- Deontic logics for SBVR
- Other logic-based extensions to standard conceptual modeling languages
- Unifying formalisms for conceptual schemas
- Decidable reasoning over conceptual models
- Dealing with finite and infinite satisfiability of a conceptual model
- Reasoning over UML state and behaviour diagrams
- Reasoning techniques for EER/UML/ORM
- Interaction between ontology languages and conceptual data modeling
languages
- Tools for logic-based modeling and reasoning over conceptual models
- Experience reports on logic-based modelling and reasoning over
conceptual models

To this end, we solicit mainly theoretical contributions with regular
talks and implementation/system demonstrations and some modeling
experience reports to facilitate cross-fertilization between theory and
praxis. Selection of presentations is based on peer-review of submitted
papers by at least 2 reviewers, with a separation between theory and
implementation & experience-type of papers.


**** Submissions ****

We welcome submissions in LNCS style in the following two formats for
oral presentation:
- Extended abstracts of maximum 2 pages;
- Research papers of maximum 10 pages.
Both can be submitted in pdf format via the EasyChair website at
https://www.easychair.org/conferences/?conf=lrcm13


**** Important dates ****

Submission of papers/abstracts: 14 October 2013<x-apple-data-detectors://6>
Notification of acceptance:     14 November 2013<x-apple-data-detectors://7>
Camera-ready copies:            2 December 2013<x-apple-data-detectors://8>
Workshop:                       14 December 2013<x-apple-data-detectors://9>


**** Organisation ****

Maria Keet, University of KwaZulu-Natal, South Africa, keet at ukzn.ac.za<mailto:keet at ukzn.ac.za>
Diego Calvanese, Free University of Bozen-Bolzano, Italy,
calvanese at inf.unibz.it<mailto:calvanese at inf.unibz.it>
Szymon Klarman, CAIR, UKZN / CSIR-Meraka Institute, South Africa,
szymon.klarman at gmail.com<mailto:szymon.klarman at gmail.com>
Arina Britz, CAIR, UKZN / CSIR-Meraka Institute, South Africa,
abritz at csir.co.za<mailto:abritz at csir.co.za>


**** Programme Committee ****

Diego Calvanese, Free University of Bozen-Bolzano, Italy
Szymon Klarman, CAIR, UKZN / CSIR-Meraka Institute, South Africa
Maria Keet, University of KwaZulu-Natal, South Africa
Marco Montali, Free University of Bozen-Bolzano, Italy
Mira Balaban, Ben-Gurion University of the Negev, Israel
Meghyn Bienvenu, CNRS and Universite Paris-Sud, France
Terry Halpin, INTI International University, Malaysia
Anna Queralt, Barcelona Supercomputing Center, Spain
Vladislav Ryzhikov, Free University of Bozen-Bolzano, Italy
Till Mossakowski, University of Bremen, Germany
Alessandro Artale, Free University of Bozen-Bolzano, Italy
Giovanni Casini, CAIR, UKZN / CSIR-Meraka Institute, South Africa
Pablo Fillottrani, Universidad Nacional del Sur, Argentina
Chiara Ghidini, Fondazione Bruno Kessler, Italy
Roman Kontchakov, Birkbeck, University of London, United Kingdom
Oliver Kutz, University of Bremen, Germany
Tommie Meyer, CAIR, UKZN / CSIR-Meraka Institute, South Africa
Ernest Teniente, Polytechnic University of Catalunya, Spain
David Toman, University of Waterloo, Canada