Below are the accepted papers and the planned schedule. Relevant changes on it will be promptly announced both in this page, to the workshop participants, and at the conference site itself.

Session 1

13:30 - 14:15

Invited Talk: Christoph Weidenbach: Proving System Properties with SPASS 2.1.

14:15 - 14:45

Alexander Lyaletski, Konstantin Verchinine, and Andrey Paskevich: On Verification Tools Implemented in the System for Automated Deduction. (.ps, .ps.gz)

14:45 - 15:15

Jia Meng: Integration of Interactive and Automatic Provers. (.ps, .ps.gz)

15:15 - 15:45

Erivan Alves de Andrade and Jacques Robin: Inductive Object-Oriented Logic Programming. (.ps, .ps.gz)

Session 2

16:15 - 16:45

Omid Banyasad and Philip T. Cox: Design and Implementation of an Interpreter Engine for a Visual Logic Programming Language. (.ps, .ps.gz)

16:45 - 17:15

Jesús Correas, José Manuel Gómez, Manuel Carro, Daniel Cabeza, and Manuel V. Hermenegildo: A Generic Model for Persistence in (C)LP Systems (and two useful implementations). (.ps, .ps.gz)