PROGRAM
Sunday, July 7th
View this program: with abstractssession overviewtalk overview
09:00-10:30 Session 1: Invited Talk (jointly with the SMT workshop)
| 09:00 | SMT-Based Weighted Model Integration (joint invited talk with the SMT Workshop) (abstract) |
11:00-12:30 Session 2: Contributed Talks
Chair:
| 11:00 | Bayesian Optimisation with Gaussian Processes for Premise Selection (abstract) |
| 11:30 | Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire (abstract) |
| 12:00 | A Flock of Vampires (abstract) |
14:00-15:30 Session 3: Invited Talk
Chair:
| 14:00 | SAT, Computer Algebra and Multiplier Verification (abstract) |
16:00-17:30 Session 4: Contributed Talks
Chair:
| 16:00 | Hints for AVATAR (abstract) |
| 16:30 | Interfacing Intermediate Languages to Vampire (abstract) |
| 17:00 | Induction in Saturation-Based Proof Search (abstract) |