| Authors | Title | Paper | Talk |
|---|
| Orna Grumberg | SAT-Based Model Checking with Interpolation |  | Jul 17 10:45 |
| Pavel Pudlak | Feasible Interpolation in Proof Systems based on Integer Linear Programming | | Jul 17 14:30 |
| Frank Wolter | Interpolation in Description Logic: A Survey | | Jul 18 09:00 |
| Niklas Een, Alexander Legg, Nina Narodytska and Leonid Ryzhyk | Interpolants in Two-Player Games | | Jul 17 12:00 |
| Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne and Thomas Wies | Fault Localization using Interpolation | | Jul 17 12:30 |
| David Toman and Grant Weddell | On Enumerating Query Plans via Interpolants from Tableau Proofs (abstract) | | Jul 17 16:30 |
| Christoph Wernhard | Application Patterns of Projection/Forgetting | | Jul 17 17:00 |
| Ahmed Mahdi and Martin Fränzle | Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theories Problems | | Jul 17 17:30 |
| Patrick Koopmann and Renate A. Schmidt | Resolution Based Uniform Interpolation for Expressive Description Logics | | Jul 18 10:45 |
| Alexander Legg, Nina Narodytska and Leonid Ryzhyk | Practical CNF Interpolants Via BDDs | | Jul 18 11:15 |
| Enrico Franconi, Paolo Guagliardo, Volha Kerhet and Nhung Ngo | Interpolation and Domain Independence applied to Databases | | Jul 18 11:45 |
| Georg Schadler and Georg Hofferek | Tree-based Modular SMT Solving | | Jul 18 12:15 |
| Marco Rocchetto, Luca Viganò and Marco Volpe | Using Interpolation for the Verification of Security Protocols (Extended Abstract) | | Jul 18 14:30 |
| Kenneth McMillan | Interpolation Strategies | | Jul 18 15:00 |
| Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukas Holik, Ahmed Rezine, Philipp Ruemmer and Jari Stenman | Towards Craig Interpolation for String Constraints | | Jul 18 15:30 |
| Aws Albarghouthi, Isil Dillig, Arie Gurfinkel and Marsha Chechik | Specification Synthesis via Generalized Abduction | | Jul 18 16:30 |
| Yakir Vizel and Arie Gurfinkel | Interpolants from Clausal Proofs | | Jul 18 17:00 |