photo of the Isaac Newton Institute

INI Concurrency Meeting 2022

Thursday 11 ‐ Friday 12 August 2022

This two-day meeting is the closing event of a series of summer events on Verified Software hosted at the Isaac Newton Institute. It aims to bring together researchers, from the UK and elsewhere, who are working on the theory of concurrency and related areas.

Venue

Isaac Newton Institute (INI), Cambridge, England

Registration

Registration is free. Please email Teresa Carbajo Garcia by Tuesday 2 August 2022 if you'd like to attend.

Schedule

(Updated with links to the YouTube recordings.)

Thursday 11th August

12:00
Arrival and buffet lunch
13:00
Luke Cheeseman (Imperial College London), When Concurrency Strikes: Behaviour Oriented Concurrency
13:25
Nobuko Yoshida (Imperial College London), Idioms for Interactions
13:50
Tea/coffee ☕
14:10
Fangyi Zhou (Imperial College London), Generalised Multiparty Session Types with Crash-Stop Failures
14:35
Mark Batty (University of Kent), Isolating the thin air problem: semantic dependency for optimised concurrency
15:00
Ben Simner (University of Cambridge), Relaxed virtual memory semantics
15:25
Tea/coffee ☕
15:45
Viktor Vafeiadis (MPI-SWS), Automating the metatheory of axiomatic memory models
16:10
Brijesh Dongol (University of Surrey), Implementing and Verifying Release-Acquire Transactional Memory in C11
19:00
Dinner in the Fellows' Dining Room at Churchill College (funded by VeTSS)

Friday 12th August

08:30
Tea/coffee/pastries â˜•đŸ„
09:00
Glynn Winskel (Huawei Research Centre, Edinburgh), Making concurrency functional
09:25
Esti Fraca (UCL), On the fluidization of Petri nets
09:50
Tea/coffee ☕
10:10
Matt Windsor (University of York), CSP in Practice: Timed Verification of Robot Software
10:35
Dan Iorga (Imperial College London), Simulating Operational Memory Models
11:00
Tea/coffee ☕
11:20
Yann Herklotz (Imperial College London), On formalising predicated execution and predicate-aware scheduling
11:45
Cliff Jones (Newcastle University), New applications of Rely/Guarantee thinking
12:10
Buffet lunch

Participants

Alasdair Armstrong • Rini Banerjee • Adam Barwell • Mark Batty • Luke Cheeseman • Jianyi Cheng • Sylvan Clebsch • Simon Cooksey • Brijesh Dongol • Stephen Ellis • Estibaliz Fraca • Philippa Gardner • Lorenzo Gheri • Akshay Gopalakrishnan • Angus Hammond • Ian Hayes • Yann Herklotz Grave • Shahin Honarvar • Ping Hou • Cliff Jones • Ilya Kaysin • Neel Krishnaswami • He Li • Andreas Loow • Daniele Nantes • Matthew Parkinson • Christopher Pulte • Azalea Raad • Kashish Raimalani • Xiaojia Rao • Matteo Sammartino • Mikhail Semenyuk • Peter Sewell • Thomas Sewell • Zhong Shao • Ben Simner • Viktor Vafeiadis • Martin Vassor • Conrad Watt • John Wickerson • Thomas Wies • Matt Windsor • Glynn Winskel • Shale Xiong • Nobuko Yoshida • Fangyi Zhou

Gallery

Photo credits: Isaac Newton Institute and Jean-Luc Benazet.

Announcements

Further announcements will be made via the Concurrency Working Group mailing list. Please subscribe by following the link above and clicking Subscribe or Unsubscribe, and do encourage any other interested parties to do the same.

Organisers

Previous events

Jan 2009
Concurrency Theory Workshop, Queen Mary University of London
Nov 2009
Northern Concurrency Workshop, University of Newcastle
Jul 2010
Cambridge Concurrency Workshop, University of Cambridge
Apr 2011
Dublin Concurrency Workshop, Trinity College Dublin
Jul 2012
Oxford Concurrency Workshop, University of Oxford
Apr 2014
York Concurrency Workshop, University of York
July 2015
Imperial Concurrency Workshop, Imperial College
July 2016
Kent Concurrency Workshop, University of Kent
May 2017
Aarhus Concurrency Workshop, Aarhus University, Denmark
July 2019
Surrey Concurrency Workshop, University of Surrey