Alistair Donaldson co-chaired the Programme of the 2022 International Workshop on Metamorphic Testing, which is co-located with the upcoming International Conference on Software Engineering (ICSE).

Elaine Pimentel and David Pym organized a World Logic Day 2022 event
on the ’The meaning of proofs’.

The event included presentations from leading figures in proof theory and
proof-theoretic semantics and attracted a very large worldwide audience.

Welcome to Elaine Pimentel, who has joined PPLV as an Asscoiate Professor and Welcome to Aquinas Hobor, who has also joined PPLV as an Asscoiate Professor. 

Alastair Donaldson and John Wickerson, together with their students and colleagues, have had three OOPSLA papers accepted for presentation at the SPLASH 2021 conference. This is one of the premier conferences in the field of research into Programming Languages, and is being held in a hybrid setting, both online and in Chicago. The first paper describes the first proven-correct tool for compiling software programs into hardware designs; the second paper describes an empirically validated model of how shared memory works on hybrid CPU/FPGA devices; and the third paper describes the results of an investigation into the forward-progress guarantees that modern GPU devices offer to programmers.

Timo has recently completed his PhD in the Vienna logic group and will is working with David, Tristan, and Marius on logic-based systems modelling and its associated logical theory. We are also collaborating with Didier Galmiche’s group at Université deLorraine and LORIA, Nancy.

Paul Brunet has left us to take up a faculty position in computer science at Université Paris-Est Créteil. Paul will continue at UCL as an Honorary Research Fellow, and will continue to work with David on foundational aspects of systems modelling.

Diana Costa has left us to join the LASIGE project at the University of Lisbon, where she has a obtained a prestigious Fellowship. Diana will continue at UCL as an Honorary Research Fellow and will continue to work with David on proof-theoretic semantics, (associated with the ReLiC project) and with James, Aquinas, and David on pregraphs, compositionality,and local reasoning.

1

Will presented a paper on Government Platforms which draws on IRIS research. The conference was international, attended by practitioners from industry and government, and had 497 people registered to attend.

Vasileios joined the IRIS team at Imperial in April 2021, and he is working with Alastair and John on formalising the semantics of graphics shader languages. Vasileios previously was a doctoral researcher at the University of Sussex.

Presentation at the Open trust Fabric Webinar on the Evolution of property in Law “Decentralization over blockchain infrastructures: contracts vs. property”. 18th May 2021. Available at: Trakti Open Trust Fabric Webinar: The Evolution of Property in Law- 18th May – Open Trust Fabric