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
Chair: Stephan Schulz
| 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
Chair: Geoff Sutcliffe
| 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) |