Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mikolaj Bojanczyk
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2024 profile
Registered user since Thu 8 Mar 2018
Name:
Mikolaj Bojanczyk
Contributions
2024
POPL
Author of Polyregular functions on unordered trees of bounded height within the POPL-track
2019
ETAPS
Author of ETAPS Steering committee meeting within the Social-track
Session Chair of Colcombet (part of Keynotes)
Committee Member in Steering Committee
FOSSACS
Session Chair of Verification (part of FOSSACS 2019)
Co-chair in Program Committee within the FOSSACS 2019-track
Session Chair of Verification (continued) (part of FOSSACS 2019)
Share
x
Thu 26 Dec 21:51