15 July 2010
Edinburgh, Scotland
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% %%
%% CLODEM 2010 %%
%% Workshop on Comparing Logical Decision Methods %%
%% %%
%% http://www2.imm.dtu.dk/~vfgo/CLODEM2010/CLODEM2010.html %%
%% %%
%% Edinburgh, July 15th, 2010 %%
%% affiliated with LICS and IJCAR at FLoC'10 %%
%% %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
*****EXTEDED SUBMISSION DEADLINE: APRIL 12*****
TOPIC AND OBJECTIVE:
Methods for deciding satisfiability of formulae 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 generalization and
follow-up of the AutoTab workshop which was held with TABLEAUX'09 last
year.
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 5 A4
pages in PDF format, preferably using Springer LNCS style or a comparable
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.
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:
Extended submissions deadline: April 12, 2010
Notification deadline: April 27, 2010
Finalized workshop programme: April 30, 2010
Final versions of abstracts
for the informal proceedings: May 31, 2010
Workshop: July 15, 2010
INVITED SPEAKERS:
So far we have following confirmed invited speakers:
Moshe Vardi
Jerome Leroux
More invited speakers may be added soon.
WORKSHOP PROGRAM COMMITTEE:
* Stephane Demri, CNRS Cachan, F
* Valentin Goranko, DTU Copenhagen, DK
* Rajeev Gore, ANU Canberra, AUS
* Felix Klaedtke, ETH Zurich, CH
* Daniel Krning, Oxford University, UK
* Martin Lange, LMU Munich, D
* Christof Lding, RWTH Aachen, D
* Carsten Lutz, Univ. of Bremen, D
* Renate Schmidt, Univ. of Liverpool, UK
* Colin Stirling, Univ. of Edinburgh, UK
FURTHER INFORMATION:
- Workshop website:
http://www2.imm.dtu.dk/~vfgo/CLODEM2010/CLODEM2010.html
- FLoC'10 website:
http://www.floc-conference.org/
- LICS'10 website:
http://www2.informatik.hu-berlin.de/lics/lics10/index.html
- IJCAR'10 website:
http://www.floc-conference.org/IJCAR-home.html
ENQUIRIES to the organizers:
- Valentin Goranko, http://www2.imm.dtu.dk/~vfgo
- Martin Lange, http://www.tcs.ifi.lmu.de/~mlange