30 June 2012
Manchester, U.K.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% %%
%% CLODEM'2012 %%
%% Workshop on Comparing Logical Decision Methods %%
%% http://www2.imm.dtu.dk/~vfgo/CLODEM2012/CLODEM2012.html %%
%% %%
%% Manchester, June 30th, 2012 %%
%% affiliated with IJCAR'2012 &&
%% %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
TOPIC AND OBJECTIVE:
Methods for decision problems of a logic are of vital importance
for both the theoretical relevance and practical impact of a logic.
Different logics require different decision procedures. Nevertheless,
certain methodologies like terminating semantic tableaux, automata,
games, SAT/SMT methods, resolution, reductions, etc. have proved to
be successful in providing decidability results for several, even
quite different logics.
Perception of some methodology being better than others has grown
within certain communities, for example regarding automata-based
techniques in automatic verification or tableau-based techniques in
knowledge representation. Such perception, however, is often not
based on systematic comparative analysis. Sometimes, different
methodologies also turn out to do or even be the same in certain cases.
Yet, few formal technical results to that effect are known, and the
scientific discussions on the pros and cons, and similarities and
differences between different methodologies have been rather sporadic
so far.
The purpose of this workshop is to provide an expert forum for such
discussion, to provoke and foster discussion between communities, and
to stimulate further research on that topic. It is a follow-up to the
CLoDeM'2010 workshop held within FLOC 2010 in Edinburgh in July 2010,
affiliated with LICS and IJCAR.
The workshop welcomes contributions on comparisons between different
methods, exhibiting differences or similarities, in theory or in
practice, in general or with respect to a certain logic.
SUBMISSIONS:
Submissions should be in the form of extended abstracts of at most 15
A4 pages in PDF format using Springer LNCS style or an equivalent format.
Submissions may be based on new and original, or on already published or
submitted work, but they should address the topic of the workshop.
The abstracts of the workshop talks will be included in informal
proceedings. No formal proceedings are currently planned, but if the
workshop attracts sufficiently many good and original contributions, a
journal special issue will be organized after the event.
At least one author of each submission that is accepted for the workshop
must register for and attend the workshop in order to present the paper.
IMPORTANT DATES:
Submissions deadline: April 2, 2012
Notification deadline: May 14, 2012
Final versions of abstracts
for the informal proceedings: June 8, 2012
Workshop: June 30, 2012
INVITED SPEAKERS: tba
WORKSHOP PROGRAM COMMITTEE:
* Stphane Demri, CNRS Cachan, F
* Valentin Goranko, DTU Copenhagen, DK
* Rajeev Gor, ANU Canberra, AUS
* Stefan Gller, Univ. of Bremen, D
* Felix Klaedtke, ETH Zurich, CH
* Stephan Kreutzer, TU Berlin, D
* Martin Lange, Univ. of Kassel, D
* Christof Lding, RWTH Aachen, D
* Renate Schmidt, Univ. of Liverpool, UK
* Colin Stirling, Univ. of Edinburgh, UK
* Cesare Tinelli, Univ. of Iowa, US
FURTHER INFORMATION:
- Workshop website:
http://www2.imm.dtu.dk/~vfgo/CLODEM2012/CLODEM2012.html
- IJCAR'12 website:
http://ijcar.cs.manchester.ac.uk/
ENQUIRIES to the organizers:
- Valentin Goranko, http://www2.imm.dtu.dk/~vfgo
- Martin Lange, http://www.uni-kassel.de/~mlange/