• Sign in
  • Sign up
conf.researchr.org / Mikolaj Bojanczyk
  • ETAPS 2019 profile
  • POPL 2024 profile
No Photo

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
xSun 11 May 23:53
using conf.researchr.org (v1.69.0)
Support page
Sign Up