• Sign in
  • Sign up
conf.researchr.org / Josef Urban
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2020 profile
  • POPL 2021 profile
Josef Urban

Registered user since Mon 17 Apr 2017

Name:Josef Urban
Country:Czech Republic
Affiliation:Czech Technical University in Prague
Personal website:https://www.ciirc.cvut.cz/~urbanjo3/

Contributions

CPP 2021 Committee Member in Program Committee within the CPP 2021-track
CPP 2020 Author of Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar within the CPP 2020-track
CPP 2018 Committee Member in Program Committee within the CPP 2018-track
CPP 2017 Author of BliStrTune: Hierarchical Invention of Theorem Proving Strategies within the CPP-track
CPP 2016 Author of Mizar Environment for Isabelle within the CPP-track

Share
xWed 18 May 04:44
using conf.researchr.org (v1.55.6)
Support page
Sign Up