BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20261002T222546Z
UID:Seminar-verification-1518@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Patrick Totzke:MAILTO:totzke@liverpool.ac.uk
DTSTART:20261008T110000
DTEND:20261008T120000
SUMMARY:Verification Series
DESCRIPTION:Patrick Totzke: Optimal Sequential Flows\n\nWe provide a new algebraic technique to solve the sequential flow problem in polynomial space. The task is to maximise the flow through a graph where edge capacities can be changed over time by choosing a sequence of capacity labelings from a given finite set. Our method is based on a novel factorization theorem for finite semigroups that, applied to a suitable flow semigroup, allows to derive small witnesses. This generalises to multiple in/output vertices, as well as regular constraints.\n\n\n\nJoint work with Hugo Gimbert and Corto Mascle. Presented at ICALP 2026.\n\nDOI: 10.4230/LIPIcs.ICALP.2026.98 (https://doi.org/10.4230/LIPIcs.ICALP.2026.98)\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=1518
LOCATION:Ashton 208
END:VEVENT
END:VCALENDAR