Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] ADDCT'07: Deadline extension (Abstract Submiss...

Email Gateway (Aug 18 2022 at 13:29):

From: Viorica Sofronie-Stokkermans <sofronie@mpi-sb.mpg.de>
=====================================================================
CALL FOR PAPERS: DEADLINE EXTENSION

Automated Deduction: Decidability, Complexity, Tractability
(ADDCT'09)

Workshop affiliated with CADE-22 Montreal, Canada, 2 August 2009
=====================================================================

For complete information- http://www.mpi-inf.mpg.de/~sofronie/addct09

Important Dates

22 May 2009: Abstract submission (* extended *)
25 May 2009: Paper submission (* extended *)
15 June 2009: Notification
1 July 2009: Final version
2 August 2009: Workshop

Topics of interest for ADDCT include (but are not restricted to):

• Decidability:

  • decision procedures based on logical calculi such as:
    resolution, rewriting, tableaux, sequent calculi, natural deduction

  • decidability in combinations of logical theories

  • Complexity:
  • complexity analysis for fragments of first- (or higher) order logic
  • complexity analysis for combinations of logical theories
    (including parameterized complexity results)

• Tractability (in logic, automated reasoning, algebra, ...)

• Application domains for which complexity issues are essential
  (verification, security, databases, ontologies, ...)

Submissions are encouraged in one of the following categories:

• Original papers (up to 15 pages, LNCS style, including bibliography);
• Work in progress (up to 6 pages, LNCS style, without bibliography).
• Presentation-only papers

Submission of papers is via EasyChair at
http://www.easychair.org/conferences/?conf=addct2009

Organizers and Chairs

Franz Baader (TU Dresden)
Silvio Ghilardi (U. Milano)
Miki Hermann (Ecole Polytechnique, Palaiseau)
Viorica Sofronie-Stokkermans (MPI,Saarbruecken)
Ashish Tiwari (SRI International)

Contact

For further informations please send an e-mail to
Viorica Sofronie-Stokkermans sofronie@mpi-inf.mpg.de

Last updated: May 03 2024 at 04:19 UTC