• Sign in
  • Sign up
conf.researchr.org / Michael Leuschel
  • PEPM 2015 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • SPLASH 2013 profile
  • SPLASH 2020 profile

Not registered as user yet

Name:Michael Leuschel
Affiliation:University of Düsseldorf

Contributions

LPOP 2020 Speaker of Break: Ask Me Anything within the LPOP 2020-track
PADL 2020 Committee Member in Program Committee within the PADL 2020-track
PEPM 2019 Committee Member in Program Committee within the PEPM 2019-track
PADL 2018 Author of Three is a crowd: SAT, SMT and CLP on a chessboard within the PADL 2018-track
PEPM 2015 Committee Member in Program Committee within the PEPM 2015-track
DLS 2013 Committee Member in Program Committee within the Research Papers-track

Share
xTue 30 May 18:48
using conf.researchr.org (v1.60.0)
Support page
Sign Up