ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Milan Ceska
Milan Ceska

Registered user since Mon 12 Mar 2018

Name: Milan Ceska

Country: Czech Republic

Affiliation: Brno University of Technology

Personal website: http://www.fit.vutbr.cz/~ceskam/

Contributions

HSB 2019Committee Member in Organizing Committee within the HSB-track
Committee Member in Program Committee within the HSB-track
Session Chair of I (part of HSB)
TACAS 2019Author of Shepherding Hordes of Markov Chains within the TACAS 2019-track
ETAPS 2019Workshops Co-Chair in Organizing Committee
Co-chair in Organizing Committee within the Workshops-track
Show activities from other conferences

Using general profile