The workshop will take place in Room 0.06 in the CISPA building (opens in new tab) of Saarland University.
| 9:45-10:00 | Welcome |
| 10:00-11:00 | Session I: Keynote Vijay Ganesh: An Empirical Understanding of Conflict-Driven Clause-Learning SAT Solvers (Slides) Chair: Christoph M. Wintersteiger |
| 11:00-11:30 | Coffee Break |
| 11:30-13:00 | Session II: Bug finding Chair: Murali Krishna Ramanathan |
| 11:30-12:00 | Yavuz Koroglu and Alper Sen: Design of a Modified Concolic Testing Algorithm with Smaller Constraints (Slides) |
| 12:00-12:30 | Hanefi Mercan and Cemal Yilmaz: A Constraint Solving Problem Towards Unified Combinatorial Interaction Testing |
| 12:30-13:00 | Daniel Neville, Andrew Malton, Martin Brain and Daniel Kroening: Towards Automated Bounded Model Checking of API Implementations |
| 13:00-14:10 | Lunch |
| 14:10-15:40 | Session III: Concurrency Chair: Vijay Ganesh |
| 14:10-15:10 | Keynote II Murali Krishna Ramanathan: Leveraging Constraint Solvers in Building Reliable Multithreaded Software |
| 15:10-15:40 | Allan Blanchard, Nikolai Kosmatov and Frédéric Loulergue: A CHR-Based Solver for Weak Memory Behaviors |
| 15:40-16:00 | Coffee break |
| 16:00-17:00 | Open discussion Moderator: Christoph M. Wintersteiger |