News

PPLV News

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 16 Apr 2019.