print · source · login   


  • Jurriaan Rot received a grant within NWO Open Competition call for the research proposal Modular Construction and Analysis of Distributive Laws for Programming Language Semantics.
  • Thorsten Wißmann coauthors the paper Explaining Behavioural Inequivalence Generically in Quasilinear Time that has been accepted for presentation at CONCUR'21, where it is a candidate for the best paper award.