Events and news relevant to the Laboratory for Foundations of Computer Science

[Kim Worrall <Kim.Worrall@ed.ac.uk>]

Hi all,

Thank you to those who attended todays seminar.

A recording is available here.

Best,

Kim and Virag

---

From: Kim Worrall
Sent: 05 May 2026 10:12
To: Priyaa Varshinee Srinivasan <priyaavarshinee@gmail.com>; qsl-seminar@mlist.is.ed.ac.uk <qsl-seminar@mlist.is.ed.ac.uk>; lfcs-interest@mlist.is.ed.ac.uk <lfcs-interest@mlist.is.ed.ac.uk>
Cc: members ICSA <icsa-members@inf.ed.ac.uk>; Ayberk Tosun <ayberk.tosun@zeroth.org>
Subject: [Joint QSL & LFCS Seminar] 07 May: Priyaa Varshinee Srinivasan: What is Concurrency?
When: 07 May 2026 16:00-17:00.
Where: 4.40 - Mini Forum 2 (Informatics Forum)

 

Hi All,

This Thursday 7th  May at 4pm we will have a join QSL-LFCS Seminar by Priyaa Varshinee Srinivasan from the University of Tallinn.

When: Thursday 7th  May at 4pm

Where: MF2 Informatics Forum 

    Speaker: Priyaa Varshinee Srinivasan

    Title: What is concurrency?

    (Full abstract below)

You may also attend the seminar online:

    https://ed-ac-uk.zoom.us/j/87143603400

    Passcode: 2vsypPLv

We look forward to seeing you there,

Best,

Kim and Virag 

Abstract: The debate between parallelism vs concurrency is long-standing. In this talk, we will demonstrate a fundamental difference between parallelism and concurrency with the aid of a functional-style concurrent language called CaMPL. Categorical Message Passing Language, CaMPL in short, implements a type system given by the Cockett-Pastro equivalence (concurrent analogue of the sequential functional Curry-Howard-Lambek equivalence). CaMPL’s type system ensures that processes can never be connected in a cycle. This guarantees that CaMPL programs never deadlock. Additionally, livelock-freedom is guaranteed in the absence of general recursion.

In this talk, we will use code examples to showcase the type system of CaMPL which enables parallel computation. Then, to be able to write concurrent programs, one requires controlled non-determinism. Finally, we will discuss how CaMPL’s type system can be extended to quantum realms to describe quantum message passing.

Pre-requisites: Familiarity with functional-style programming languages.

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.