Automated Deduction: Decidability, Complexity, Tractability

(ADDCT 2013)

Affiliated with CADE-24 Lake Placid, New York June 9 - 14, 2013
Home

Topics

Call for papers

Important dates

  • Submission: April 15, 2013 (extended)
  • Notification: April 30, 2013
  • Final versions: May 15, 2013
  • Workshop: June 10, 2013

    • Submission procedure

    Publication

    Invited speaker
  • Vijay Ganesh
    •      Program

    ADDCT'2013 proceedings

    Registration

    Organizers
  • Silvio Ghilardi
  • Ulrike Sattler
  • Viorica Sofronie-Stokkermans
  • Ashish Tiwari

    • Program Committee

  • Carlos Areces (U. Cordoba)
  • Franz Baader (TU Dresden)
  • Peter Baumgartner(NICTA, Canberra)
  • Maria Paola Bonacina (U. Verona)
  • Christian Fermüller (T.U.Wien)
  • Silvio Ghilardi (U. Milano)
  • Rajeev Gore (Australian National University)
  • Ullrich Hustadt (U. Liverpool)
  • Carsten Lutz (U. Bremen)
  • Christopher Lynch (Clarkson U.)
  • Felix Klaedtke (ETH Zurich)
  • Silvio Ranise (FBK-Irst)
  • Ulrike Sattler (U. Manchester)
  • Renate Schmidt (U. Manchester)
  • Viorica Sofronie-Stokkermans (U. Koblenz)
  • Ashish Tiwari (SRI)
  • Luca Vigano (U. Verona)

    • Contact

    For further informations please send an e-mail to
    sofronie@uni-koblenz.de

    Tentative Program (Monday, June 10)

    11:00-11:05 Opening

    11:05-12:10 Session 1: Invited talk

       Vijay Ganesh
    (Un)Decidability Results for Word Equations with Length and Regular Expression Constraints

    12:30-14:00 Lunch Break

    14:00-16:00 Session 2: Decidability and Tractability in Automated Reasoning

    14:00-14:40   Tanji Hu and Robert Givan
    Congruence closure with ACI function symbols
    14:40-15:20   Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti and Olga Kouchnarenko
    Automatic Decidability for Theories with Counting Operators
    15:20-16:00   Tomer Libal
    Utilizing Higher-order Unifiability Algorithms in the Resolution Calculus Cancelled
    15:20-16:00   Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani and Piotr Wojciechowski
    On the conjunctive fragments of theory of linear arithmetic

    16:00-16:30 Coffee Break

    15:20-17:10 Session 3: Theories of arithmetic

    16:30-17:10   Leonardo De Moura and Grant Passmore
    Exact Global Optimization on Demand
    17:10-17:50   Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani and Piotr Wojciechowski
    On the conjunctive fragments of theory of linear arithmetic New: 15:20-16:00