Re: [pl-seminar] Fw: This Week's PLDG: Alexandra Silva on Concurrent Kleene Algebra

["Loris D'Antoni" <loris@xxxxxxxxxxx>]

we should have social pl-seminars when there are no scheduled talk

On Tue, Apr 7, 2020 at 11:11 AM JOHN CYPHERT <pl-seminar-bounces@xxxxxxxxxxx> wrote:

Hi everyone,

For the PL seminar this week, Alexandra has invited us to join a presentation she will give to the Cornell PL group tomorrow April 8, at 2:35 pm Central time (see below for more details as well as the link).ÂThis presentation will take the place of our normal PL seminar.Â

Since we are not in the office I cannot hound all the students to give presentations, so here is my hounding. Consider giving a virtual presentation. Just let me know a few days before that you want to do something.

Thanks,

John

---

From: alexandra.silva@xxxxxxxxx <alexandra.silva@xxxxxxxxx>
Sent: Monday, April 6, 2020 7:19 PM
To: JOHN CYPHERT <jcyphert@xxxxxxxx>
Subject: Fwd: This Week's PLDG: Alexandra Silva on Concurrent Kleene Algebra

Â

Itâs 2:35 Wisconsin time!

---------- Forwarded message ---------
From: Eric Campbell <ehc86@xxxxxxxxxxx>
Date: Mon, 6 Apr 2020 at 19:06
Subject: This Week's PLDG: Alexandra Silva on Concurrent Kleene Algebra
To: pldg-l <pldg-l@xxxxxxxxxxx>, <alexandra.silva@xxxxxxxxx>

Hi folks,

PLDG is back! And this time it's Virtual!

ThisÂweek, on Wednesday, at 3:35pm at this zoom link:Âhttps://cornell.zoom.us/j/231639869.ÂAlexandra Silva will be talking to us about Concurrent Kleene Algebra, hosted by Dexter Kozen; talk details are below.

Hope to see you all there!
Eric

----

Title: An algebraic framework to reason about concurrency

Speaker: Alexandra Silva
Abstract: Kleene algebra with tests (KAT) is an algebraic framework for reasoning about the control flow of sequential programs. Hoare, Struth, and collaborators proposed a concurrent extension of Kleene Algebra (CKA) as a first step towards developing algebraic reasoning for concurrent programs. Completing their research program and extending KAT to encompass concurrent behaviour has however proven to be more challenging than initially expected. The core problem appears because when generalising KAT to reason about concurrent programs, axioms native to KAT in conjunction with expected axioms for reasoning about concurrency lead to an unexpected equation about programs. In this talk, we will revise the literature on CKA(T) and explain the challenges and solutions in the development of an algebraic framework for concurrency.

The talk is based on a series of papers joint with Tobias KappÃ, Paul Brunet, Bas Luttik, Jurriaan Rot, Jana Wagemaker, and Fabio Zanasi. Detailed references can be found on the CoNeCo project website: https://coneco-project.org/.

_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar

--

-Loris