conf.researchr.org / Leander Tentrup
Registered user since Thu 15 Nov 2018
Name:Leander Tentrup
Affiliation:Saarland University
Personal website: https://www.react.uni-saarland.de/people/tentrup.html
Contributions
2019
SYNTCOMP Camp
- Committee Member in Organizing Committee within the SYNT Camp-track
- Author of Hand-on Synthesis Experience with BoSy (part 2) within the SYNT Camp-track
- Author of Hand-on Synthesis Experience with BoSy within the SYNT Camp-track
- Session Chair of Hands-on BoSy Tutorial (part of SYNT Camp)
- Session Chair of Reactive Synthesis Background & SYNTCOMP (part of SYNT Camp)