Call for Participation:

2nd International Workshop on Living With Inconsistency

May 13, 2001
Toronto, Canada
(Part of ICSE'01)

Workshop webpage:
Main ICSE website:


The workshop program is now available.
A list of participants is also available


In software engineering, there has long been a recognition that inconsistency is a fact of life. Evolving descriptions of software artefacts are frequently inconsistent, and tolerating this inconsistency is important if flexible collaborative working is to be supported. The first international workshop on Living with Inconsistency, held at ICSE-97, examined a wide range of sources of inconsistency, including multiple conflicting viewpoints, process deviations, and runtime inconsistency arising from mismatches between software and its environment. The papers presented at the workshop discussed methods for detecting and handling these different types of inconsistency, with a view to mitigating their effects. Many of the ideas presented at this workshop were subsequently published in two special issues of IEEE TSE, on Managing Inconsistency in Software Development.

This second workshop will focus on reasoning in the presence of inconsistency. Automated reasoning plays an important role throughout software development, for building and exploring requirements models, validating specifications, verifying correctness of implementations, monitoring runtime behavior, and analyzing development processes. Automated reasoning has a role in detecting and analyzing both horizontal inconsistency (between artifacts at the same level of abstraction, i.e. at the same step of the software lifecycle) and vertical inconsistency (between artefacts at different levels of abstraction or stages of development)

However, formal reasoning based on classical logic is limited in the face of inconsistency: a single contradiction results in trivialization - everything is true! This problem often limits the utility of existing tools for formal reasoning including model checking, theorem proving, logic programming, and model-based reasoning.

There are a number of general approaches to overcoming this problem:

The aim of this workshop is to discuss these and other approaches to supporting automated reasoning in the presence of inconsistency. The workshop will bring together researchers tackling various aspects of this problem, and will compare approaches and examine the challenges of applying them in practice.

Workshop Format and Submissions

The workshop is a one-day workshop, with a mixture of presentations and discussions. To keep the workshop focused, participation will be limited to 30 attendees.

If you wish to attend, please submit a 2-page position paper to the workshop chairs by March 15, 2001. Submissions should be submitted electronically, in postscript or PDF format. Position papers will be reviewed by the organizing committee, and used to select participants and speakers.

Organizing Committee


Committee Members:

Note: a description of the first workshop, held at ICSE-97, can be found at