SYNT Camp 2019 Contributors -

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

co-located with ETAPS 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (4)

A Guillermo A. PerezA. Perez, Guillermo University of AntwerpBelgium Session Chair of Reactive Synthesis Background & SYNTCOMP (part of SYNT Camp) Session Chair of Hands-on BoSy Tutorial (part of SYNT Camp) Reactive Synthesis Background and the Synthesis Competition Committee Member in Program Committee within the SYNT Camp-track Committee Member in Organizing Committee within the SYNT Camp-track
B Roderick BloemBloem, Roderick Institute of Software Technology, Graz University of Technology Committee Member in Program Committee within the SYNT Camp-track
J Swen JacobsJacobs, Swen CISPA Helmholtz Center for Information SecurityGermany Committee Member in Program Committee within the SYNT Camp-track
T Leander TentrupTentrup, Leander Saarland University Session Chair of Reactive Synthesis Background & SYNTCOMP (part of SYNT Camp) Session Chair of Hands-on BoSy Tutorial (part of SYNT Camp) Hand-on Synthesis Experience with BoSy (part 2) Hand-on Synthesis Experience with BoSy Committee Member in Organizing Committee within the SYNT Camp-track