Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Michael Leuschel
conf.researchr.org general profile
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
x
Tue 30 May 18:48