ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Leander Tentrup
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

SYNT Camp 2019 Committee Member in Organizing Committee within the SYNT Camp-track
Hand-on Synthesis Experience with BoSy (part 2)
Hand-on Synthesis Experience with BoSy
Session Chair of Hands-on BoSy Tutorial (part of SYNT Camp)
Session Chair of Reactive Synthesis Background & SYNTCOMP (part of SYNT Camp)
TACAS 2019 Constraint-based Monitoring of Hyperproperties
ETAPS 2019 Constraint-based Monitoring of Hyperproperties
Show activities from other conferences

ETAPS 2019-profile
View general profile