News

PPLV News

October 2019

  • This month we welcome many new members to the group! Cristoph Hasse joins the group as an associate professor; Mehrnoosh Sadrzadeh joins the group as an associate professor; Bas Westerbaan joins the group as a research fellow; Sonia Marin joins the group as a research fellow on the ReLiC project; Todd Wayne Schmid joins the group as a PhD student on the ReLiC project; Alex Gheorghiu joins the group as a PhD student on the ReLiC project; Jas Semrl joins the group as a PhD student in UCL's new Foundational AI CDT.
  • The PPLV group is proud to announce that Byron Cook has been elected fellow (FREng) of the Royal Society of Engineering: congratulations Byron!
  • Paul Brunet's paper "A complete axiomatisation for a fragment of language algebra" has been accepted for publication at CSL 2020.
  • Jurriaan Rot's paper (with coauthor Joshua Moerman) "Separation and Renaming in Nominal Sets" has been accepted for publication at CSL 2020.
  • Jurriaan Rot's paper (with coauthor Clemens Kupke) "Expressive Logics for Coinductive Predicates" has been accepted for publication at CSL 2020.

August 2019

  • Diana Costa's paper "A four-valued hybrid logic with non-dual modal operators" (with coauthor Manuel A. Martins) has been accepted for publication at DaLi 2019.

July 2019

  • Congratulations to PPLV members Jade Alglave, who has been promoted to Professor of Computer Science, and Fabio Zanasi, who has been promoted to Associate Professor!
  • Peter O'Hearn has coauthored an article "Scaling Static Analysis at Facebook" with Dino Distefano, Manuel Fähndrich and Francesco Logozzo for this month's Communications of the ACM. The article gives a high level account of static analysis development and deployment at Facebook (much of it with roots in academic research conducted by PPLV members and affliates past and present), in particular: the feedback loop provided by working closely with engineers, and the methods by which the team overcomes the challenge of scaling up state-of-the-art academic research on program analysis to huge code bases. It can be read at the C.ACM website here.

June 2019

  • The PPLV group hosted MFPS XXXV and CALCO 2019 in the first week of June. Pre-proceedings can be found here.
  • Simon Docherty will give a talk titled "Resource Reasoning in Duality-Theoretic Form: Stone-Type Dualities for Bunched and Separation Logics" at TACL 2019 this month.
  • Simon Docherty and Reuben Rowe's paper "A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic" has been accepted for publication at TABLEAUX 2019.
  • Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker and Fabio Zanasi's paper "Kleene Algebra with Observations" has been accepted for publication at CONCUR 2019.
  • Robin Piedeleu and Fabio Zanasi's paper "Bialgebra Semantics for String Diagrams" (with coauthors Filippo Bonchi and Pawel Sobocinski) has been accepted for publication at CONCUR 2019.
  • Gerco van Heerdt, Joshua Moerman, Matteo Sammartino and Alexandra Silva's paper "A (Co)algebraic Theory of Succinct Automata" has been published in the Journal of Algebraic and Relational Methods in Computer Science.
  • Tiago Ferriera, Matteo Sammartino and Alexandra Silva's paper "Symbolic Register Automata" (with coauthor Loris D'Antoni) has been accepted for publication at CAV 2019.
  • Paul Brunet and Alexandra Silva's paper "A Kleene Theorem for Nominal Automata" has been accepted for publication at ICALP 2019.

May 2019

  • Congratulations to Alexandra Silva and Matteo Sammartino on their successful EPSRC grant proposal "Verification of Hardware Concurrency via Model Learning (CLeVer)". More information about the project can be found at the EPSRC site.
  • The PPLV group hosts the 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019) and the 35th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXV) on June 3 - 7 in UCL. Information on registration can be found here.
  • Tao Gu and Fabio Zanasi's paper "A Coalgebraic Approach to Probabilistic Logic Programming" has been accepted for publication at CALCO 2019.
  • Gerco van Heerdt, Tobias Kappe, Jurriaan Rot, Matteo Sammartino and Alexandra Silva's paper "Tree Automata as Algebras: Minimisation and Determinisation" has been accepted for publication at CALCO 2019.

April 2019

  • David Pym has written an article on bunched logics and resource semantics for the Semantics column of ACM SIGLOG's April newsletter. The article recounts a wealth of logical research undertaken by David and members of the PPLV group, providing the foundations for the program verification formalism Separation Logic, resource-sensitive process calculi and simulation modelling for information security. It can be read here.
  • Robin Piedeleu and Fabio Zanasi's paper "Graphical Affine Algebra" (with coauthors Filippo Bonchi and Pawel Sobocinski) has been accepted for publication at this year's LICS. 
  • PPLV members Tobias Kappé and Matteo Sammartino are co-organizers (with Remi Eyraud and Guillaume Rabusseau) of a LICS affliated workshop LearnAut 2019, focused on learning, automata theory and grammatical inference. The workshop will be held on June 23rd 2019, and information on registration and submission can be found here.

March 2019

  • Peter O'Hearn is the introductory speaker at Gordon Plotkin's BCS Ada Lovelace lecture on Monday 3rd March. Tickets are available here.
  • The first IRIS Day O'Science is to be held on Wednesday 5th March, with contributed talks on topics related to the EPSRC project Interface Reasoning for Interacting Systems. If interested, please contact James Brotherston for more information. 
  • David Pym is an invited plenary speaker at the Third Tübingen Conference on Proof-Theoretic Semantics on March 27-30th.
  • Alexandra Silva will give a tutorial on verifying networks at the Dagstuhl seminar "Programmable Network Data Planes", to be held 31st March - 5th April. More information can be found here.

February 2019

  • Peter O'Hearn has written a review article on Separation Logic in this month's issue of the Communications of the ACM. It can be read here.
  • Tobias Kappé, Paul Brunet, Alexandra Silva and Fabio Zanasi's paper "On series-parallel pomset languages: Rationality, context-freeness and automata" (with coauthor Bas Luttik) has been accepted for publication in the Journal of Algebraic and Logical Methods in Programming.
  • Jurriaan Rot joins the group as a Marie Curie Fellow. Welcome Jurriaan!
  • Derek Dreyer gives a UCL CS Distinguished Lecture on February 22nd as part of the group's research seminar.
  • The PPLV group is advertising the following vacancies: one lecturer, one research fellow (associated with David Pym, Alexandra Silva and Simon Docherty's EPSRC project ReLiC) and many PhD studentships (associated with ReLiC and David Pym, Will Venters, Peter O'Hearn, Edmund Robinson, George Danezis, James Brotherston and Alistair Donaldson's EPSRC project IRIS). 

January 2019

  • Simon Docherty and David Pym's paper "Stone-type Dualities for Separation Logics" has been accepted for publication in the journal Logical Methods in Computer Science.
  • Jana Wagemaker joins the group as a PhD student, supervised by Alexandra Silva. Welcome Jana!
  • Robin Piedeleu presented the paper "Diagrammatic Algebra: from Linear to Current Systems" at this year's POPL in Lisbon.
  • Fabio Zanasi's paper "Causal Inference by String Diagram Surgery" (with coauthors Aleks Kissinger and Bart Jacobs) has been accepted for publication at FoSSaCS 2019.

Older news can be found in the archive.

This page was last modified on 03 Oct 2019.