© 2003

Automated Deduction – CADE-19

19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings

  • Franz Baader
Conference proceedings CADE 2003

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2741)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2741)

Table of contents

  1. Front Matter
  2. Session 1: Invited Talk

  3. Session 2

    1. José Meseguer, Miguel Palomino, Narciso Martí-Oliet
      Pages 2-16
    2. Jürgen Giesl, Deepak Kapur
      Pages 17-31
    3. Nao Hirokawa, Aart Middeldorp
      Pages 32-46
    4. Konstantin Korovin, Andrei Voronkov
      Pages 47-59
  4. Session 3

    1. Carsten Lutz, Ulrike Sattler, Lidia Tendera
      Pages 60-74
    2. Guoqiang Pan, Moshe Y. Vardi
      Pages 75-89
  5. Session 4

    1. Karl Crary, Susmit Sarkar
      Pages 106-120
    2. Farhad Mehta, Tobias Nipkow
      Pages 121-135
    3. Dimitri Hendriks, Vincent van Oostrom
      Pages 136-150
    4. Aaron Stump
      Pages 151-165
  6. Session 5

  7. Session 6

    1. Harald Ganzinger, Thomas Hillenbrand, Uwe Waldmann
      Pages 182-196
    2. Sava Krstić, Sylvain Conchon
      Pages 197-211
    3. Christophe Ringeissen
      Pages 212-227
  8. Session 7

    1. Johan Gijsbertus Frederik Belinfante
      Pages 228-242
    2. Panagiotis Manolios, Daron Vroon
      Pages 243-257

About these proceedings


This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July–2 August 2003 in Miami Beach, Florida, USA. They are divided into the following categories: – 4 contributions by invited speakers: one full paper and three short abstracts; – 29 accepted technical papers; – 7 descriptions of automated reasoning systems. These proceedings also contain a short description of the automated theor- proving system competition (CASC-19) organized by Geo? Sutcli?e and Chr- tian Suttner. Despite many competing smaller conferences and workshops covering di?- entaspectsofautomateddeduction,CADEisstillthemajorforumfordiscussing new results on all aspects of automated deduction as well as presenting new s- tems and improvements of established systems. In contrast to the previous year, when CADE was one of the conferences participating in the Third Federated Logic Conference (FLoC 2002), and next year, when CADE will be part of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), CADE-19 was organized as a stand-alone event.


Erfüllbarkeitsproblem der Aussagenlogik Evolution algorithms automata automated code verification automated deduction automated reasoning complexity description logics formal verification meta theory model checking resolution type theory unification

Editors and affiliations

  • Franz Baader
    • 1
  1. 1.Theoretical Computer ScienceTU DresdenGermany

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences