BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Elena Di Lavore (Tallinn University of Technology)
DTSTART:20261001T180000Z
DTEND:20261001T190000Z
DTSTAMP:20261004T233532Z
UID:OLS/221
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/221/">De
 riving Program Logics from Distributive Monoidal Categories</a>\nby Elena 
 Di Lavore (Tallinn University of Technology) as part of Online logic semin
 ar\n\n\nAbstract\nWe propose imperative categories—uniformly traced dist
 ributive copy-discard categories—as a categorical semantics for imperati
 ve programs with commutative effects. Rules of multiple program logics\, i
 ncluding correctness\, incorrectness\, and relational Hoare logic\, follow
  from the axioms of imperative categories. The algebra of guarded commands
  derived by the categorical structure generalises guarded Kleene algebras 
 with tests.\nThis is recent joint work with Filippo Bonchi\, Mario Román 
 and Sam Staton.\n
LOCATION:https://researchseminars.org/talk/OLS/221/
END:VEVENT
END:VCALENDAR