DEDUKTIONSTREFFEN PROGRAM
Friday, September 21st, 2018
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 38A: Short presentations 1
Location: MSA 3.120
| 09:00 | Mathematical Interface Theories for System Integration (abstract) |
| 09:15 | Proof Recovery for the IMPS system (abstract)  |
| 09:30 | Automatic generation of Invariants for Concurrent Programs (abstract) |
| 09:45 | On Inductive Verification and Synthesis (abstract) |
| 10:00 | CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning (abstract) |
| 10:15 | Deep Reasoning - Hardware Accelerated Artificial Intelligence (abstract) |
10:30-11:00Coffee Break and Poster Session
11:00-12:00 Session 40A: Invited Talk
Chair:
Location: MSA 3.120
| 11:00 | Quantifier handling in SMT (abstract) |
12:00-12:30 Session 41A: Short presentations 2
Chair:
Location: MSA 3.120
| 12:00 | Herbrand's Revenge - SAT Solving for First-Order Theorem Proving (abstract) |
| 12:15 | A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 42A: Short presentations 3
Location: MSA 3.120
| 14:00 | IsaSAT, a verified SAT Solver using Isabelle/HOL (abstract) |
| 14:15 | Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle (abstract) |
| 14:30 | Competitive Proving for Fun (abstract) |
| 14:45 | Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments (abstract) |
| 15:00 | Leibniz on Reasoning about Impossible Concepts (abstract) |
15:30-16:00Coffee Break and Poster Session
16:00-17:00 Session 43A: Invited Talk
Chair:
Location: MSA 3.120
| 16:00 | Wanda: a higher-order termination tool (abstract) |