POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Thorsten Altenkirch

Registered user since Fri 11 Dec 2015

Name: Thorsten Altenkirch

Affiliation: University of Nottingham

Contributions

CPP 2018Session Chair of Type Theory, Set Theory, and Formalized Mathematics (part of CPP 2018)
POPL 2018Session Chair of Types (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Show activities from other conferences

POPL 2018-profile
View general profile