Programme of the Workshop
Monday, July 17
Note. All the talks below are invitation-based.
| Session 1 | |
| 9:00-10:00 |
Joel Day, Loughborough University, UK
Combining word equations, regular languages and arithmetic: what we know (and what we don’t) (Slides) |
| 10:00-10:30 |
Amit Goel, Amazon Web Service, USA String Solving at Scale (Slides) |
| 10:30-11:00 | Coffee break |
| Session 2 | |
| 11:00-11:30 |
Roberto Amadini, University of Bologna, Italy Constraint programming and (dashed) string solving (Slides) |
| 11:30-12:00 |
Ondřej Lengál, Brno University of Technology, Czech Republic Word Equations in Synergy with Regular Constraints (Slides) |
| Lunch break | |
| Session 3 | |
| 14:00-15:00 |
Cesare Tinelli, the University of Iowa, USA Designing a Fast and Trustworthy String Solver (Slides) |
| 15:00-15:30 |
Matthew Hague, Royal Holloway, London OSTRICH: Regular Constraint Propagation (Slides) |
| 15:30-16:00 | Coffee break |
| Session 4 | |
| 16:00-17:00 | Panel Discussion |