BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Word equations\, constraints and string solvers - Laura Ciobanu Ra
 domirovic (Technische Universität Berlin)
DTSTART:20250723T100000Z
DTEND:20250723T110000Z
UID:TALK234622@talks.cam.ac.uk
DESCRIPTION:In this talk I will give an overview of word equations in free
  monoids and groups that are `free-like&rsquo\;. I will then discuss how o
 ne can express the solutions to word equations as formal languages\, and t
 ouch upon the (un)decidability of solving word equations with a variety of
  algebraic and combinatorial constraints. The constraints stem from both t
 heoretical and practical settings\, the latter coming from the world of st
 ring solvers. If time allows\, I will mention recent efforts to solve word
  equations with reinforcement learning and SMT solvers. This is based on w
 ork with V. Diekert and M. Elder\, separately with G. Zetzsche\, and with/
 of Albert Garreta.&nbsp\;
LOCATION:External
END:VEVENT
END:VCALENDAR