Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / Grant Passmore
Grant Passmore

Registered user since Mon 22 Jul 2019

Name:Grant Passmore
Affiliation:Imandra Inc.
Personal website:https://www.cl.cam.ac.uk/~gp351/

Contributions

PADL 2020 Panel: Experience and Direction
Invited Talk: An Introduction to the Imandra Automated Reasoning System
Show activities from other conferences

POPL 2020-profile
View general profile