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
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 informal
proceedings with all workshop contributions will be made available to the
participants on USB sticks, and 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:
Submissions deadline: March 27, 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 SPEAKER (more are expected to follow):
* Jerome Leroux, CNRS Bordeaux, F
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 dinner: We intend to organize a dinner for the participants of
the workshop on July 15. At this stage the budget of the workshop is
unknown, so we cannot make any commitment for covering, partly or in full,
the cost of the dinner.
- 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