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
2020
LPOP
Speaker of Break: Ask Me Anything within the LPOP 2020-track
Symposium on Practical Aspects of Declarative Languages
Committee Member in Program Committee within the PADL 2020-track
2019
PEPM
Committee Member in Program Committee within the PEPM 2019-track
2018
Symposium on Practical Aspects of Declarative Languages
Author of Three is a crowd: SAT, SMT and CLP on a chessboard within the PADL 2018-track
2015
PEPM
Committee Member in Program Committee within the PEPM 2015-track
2013
DLS
Committee Member in Program Committee within the Research Papers-track
Share
x
Sun 3 Dec 15:41