Paul Blain Levy - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Fri 3 Jul 2015

Name:Paul Blain Levy

Country:United Kingdom

Affiliation:University of Birmingham

Personal website: http://www.cs.bham.ac.uk/~pbl/

Contributions

2019

FOSSACS

Committee Member in Program Committee within the FOSSACS 2019-track

GaLoP

Universal property of the monad for infinite trace strategies (work in progress)

Show activities from other conferences

ETAPS 2019-profile
View general profile