<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style id="owaParaStyle" type="text/css">P {margin-top:0;margin-bottom:0;}</style>
</head>
<body ocsi="0" fpstyle="1">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">**** Call for Papers ****<br>
<br>
NOTE: DEADLINE EXTENSION to February 17, 2016 <br>
<br>
================================================================<br>
Second Workshop on Logics and Reasoning for Conceptual Models (LRCM 2016)<br>
April 21, 2016, Cape Town, South Africa<br>
http://lrcm2016.cs.uct.ac.za/<br>
==<br>
Co-located with:<br>
15th Int. Conference on Knowledge Representation and Reasoning (KR 2016)<br>
http://kr2016.cs.uct.ac.za/<br>
29th Int. Workshop on Description Logics (DL 2016)<br>
http://dl2016.cs.uct.ac.za/<br>
==============================================================<br>
<br>
There is an increase in complexity of information systems due to,<br>
among others, company mergers with information system integration,<br>
upscaling of scientific collaborations, e-government etc., which push<br>
the necessity for good quality information systems. An information<br>
system’s quality is largely determined in the conceptual modelling<br>
stage, and avoiding or fixing errors of the conceptual model saves<br>
resources during design, implementation, and maintenance. The size and<br>
high expressivity of conceptual models represented in languages such<br>
as EER, UML, and ORM require a logic-based approach in the<br>
representation of information and adoption of automated reasoning<br>
techniques to assist in the development of good quality conceptual<br>
models. The theory to achieve this is still in its infancy, however,<br>
with only a limited set of theories and tools that address subtopics<br>
in this area. This workshop aims at bringing together researchers<br>
working on the logic foundations of conceptual data modelling<br>
languages and the reasoning techniques that are being developed so as<br>
to discuss the latest results in the area.<br>
<br>
**** Topics ****<br>
Topics of interest include, but are not limited to:<br>
- Logics for temporal and spatial conceptual models and BPM<br>
- Deontic logics for SBVR<br>
- Other logic-based extensions to standard conceptual modelling languages<br>
- Unifying formalisms for conceptual schemas<br>
- Decidable reasoning over conceptual models<br>
- Dealing with finite and infinite satisfiability of a conceptual model<br>
- Reasoning over UML state and behaviour diagrams<br>
- Reasoning techniques for EER/UML/ORM<br>
- Interaction between ontology languages and conceptual data modelling languages<br>
- Tools for logic-based modelling and reasoning over conceptual models<br>
- Experience reports on logic-based modelling and reasoning over conceptual models<br>
- Logics and reasoning over models for Big Data<br>
<br>
To this end, we solicit mainly theoretical contributions with regular<br>
talks and implementation/system demonstrations and some modelling<br>
experience reports to facilitate cross-fertilisation between theory<br>
and praxis. Selection of presentations is based on peer-review of<br>
submitted papers by at least 2 reviewers, with a separation between<br>
theory and implementation & experience-type of papers.<br>
<br>
**** Submissions ****<br>
We welcome submissions in LNCS style in the following two formats for<br>
oral presentation:<br>
- Extended abstracts of maximum 2 pages;<br>
- Research papers of maximum 10 pages.<br>
Both can be submitted in pdf format via the EasyChair website at<br>
https://easychair.org/conferences/?conf=lrcm2016.<br>
<br>
**** Important dates ****<br>
Submission of papers/abstracts: February 17, 2016<br>
Notification of acceptance: March 15, 2016<br>
Camera-ready copies: March 21, 2016<br>
Workshop: April 21, 2016<br>
<br>
**** Organisers ****<br>
Diego Calvanese (Free University of Bozen-Bolzano, Italy)<br>
Alfredo Cuzzocrea (University of Trieste and ICAR-CNR, Italy)<br>
Maria Keet (University of Cape Town, South Africa)<br>
<br>
**** PC Members ****<br>
Alessandro Artale (Free University of Bozen-Bolzano, Italy)<br>
Arina Britz (Stellenbosch University, South Africa)<br>
Thomas Meyer (University of Cape Town, South Africa)<br>
Marco Montali (Free University of Bozen-Bolzano, Italy)<br>
Alessandro Mosca (SIRIS Academic, Spain)<br>
Till Mossakowski (University of Magdeburg)<br>
Anna Queralt (Barcelona Supercomputing Center, Spain)<br>
Vladislav Ryzhikov (Free University of Bozen-Bolzano, Italy)<br>
Pablo Fillottrani (Universidad Nacional del Sur, Argentina)<br>
Szymon Klarman (Brunel University London, UK)<br>
Roman Kontchakov (Birkbeck, University of London, UK)<br>
Oliver Kutz (Free University of Bozen-Bolzano, Italy)<br>
Ernest Teniente (Universitat Politecnica de Catalunya, Spain)<br>
David Toman (University of Waterloo, Canada)<br>
<br>
Depending on the number of submissions, the duration of the workshop<br>
will be either half a day or a full day.<br>
<br>
</div>
<hr>
UNIVERSITY OF CAPE TOWN <br>
<br>
This e-mail is subject to the UCT ICT policies and e-mail disclaimer published on our website at
<a href="http://www.uct.ac.za/about/policies/emaildisclaimer/">http://www.uct.ac.za/about/policies/emaildisclaimer/</a> or obtainable from +27 21 650 9111. This e-mail is intended only for the person(s) to whom it is addressed. If the e-mail has reached you
in error, please notify the author. If you are not the intended recipient of the e-mail you may not use, disclose, copy, redirect or print the content. If this e-mail is not related to the business of UCT it is sent by the sender in the sender's individual
capacity.
<h5></h5>
</body>
</html>