About University of Bristol

University of Bristol

Bristol is one of the most popular and successful universities in the UK, ranked 61st in the world in the QS World University Rankings 2023.
https://www.bristol.ac.uk/university/.

PLRG

TASE 2023 is hosted by the Programming Languages Research Group (PLRG) at Bristol. We are a vibrant research group in the School of Computer Science, Electrical and Electronic Engineering, and Engineering Maths (SCEEM) with interests including functional programming, semantics, verification, type theory, program synthesis and probabilistic programming. See here for some of our recent publications!