Events archive for 2018

TLLA-Linearity 2018, July 6th to 19th, 2018

The TLLA and Linearity workshops will be jointly organised in 2018 as part of the FLOC conference in Oxford.

Probabilistic Interactive Higher-Order Computation, February 22nd to 23rd, 2018

The meeting has its own webpage.