19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING

IWIL PROGRAM

Saturday, December 14th, 2013

Saturday's program is also available with abstracts.

09:30-10:00Coffee Break
12:00-14:00Lunch
14:00-15:30 Session 3B
14:00
The TPTP Process Instruction Language (abstract)
14:30
Gödel's God on the Computer (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 4A
16:00
An Interactive Prover for Bi-Intuitionistic Logic (abstract)
16:30
Towards Explicit Rewrite Rules in the Lambda-Pi Calculus Modulo (abstract)
17:00
Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps (abstract)