Please note that this newsitem has been archived, and may contain outdated information or links.
15 July 2007, Automated Deduction: Decidability, Complexity, Tractibility (ADDCT'07), Bremen, Germany
Decidability, and especially complexity and tractability of logical theories is extremely important for a large number of applications. Although general logical formalisms (such as predicate logic or number theory) are undecidable, decidable theories or decidable fragments thereof (sometimes even with low complexity) often occur in mathematics, in program verification, in the verification of reactive, real time or hybrid systems, as well as in databases and ontologies. It is therefore important to identify such decidable fragments and design efficient decision procedures for them. It is equally important to have uniform methods (such as resolution, rewriting, tableaux, sequent calculi, ...) which can be tuned to provide algorithms with optimal complexity.
The goal of ADDCT is to bring together researchers interested in
- identifying (fragments of) logical theories which are decidable,
identifying fragments thereof which have low complexity, and
analyzing possibilities of obtaining optimal complexity results
with uniform tools;
- analyzing decidability in combinations of theories and possibilities
of combining decision procedures;
- efficient implementations for decidable fragments;
- application domains where decidability resp. tractability are crucial.
For more information, see http://www.mpi-inf.mpg.de/~sofronie/addct07.html or contact Viorica Sofronie-Stokkermans at sofronie at mpi-inf.mpg.de.
The Programme Committee cordially invites all researchers to submit their work for presentation, including original papers, presentation-only papers and work in progress. Given the informal style of the workshop, the submission of papers presenting student's work and work in progress is encouraged. Submission deadline is 4 May 2007.
Please note that this newsitem has been archived, and may contain outdated information or links.