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