ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Tomáš Vojnar
Tomáš Vojnar

Registered user since Mon 2 Nov 2015

Name:Tomáš Vojnar
Country:Czech Republic
Affiliation:Brno University of Technology
Personal website:http://www.fit.vutbr.cz/~vojnar
Research interests:program analysis, static program analysis, dynamic program analysis, testing, formal verification and analysis, automata, logics

Contributions

ETAPS 2019 Committee Member in Steering Committee
ETAPS Steering committee meeting
Session Chair of Flanagan (part of Keynotes)
InterAVT 2019 Committee Member in Program Committee within the InterAVT-track
TACAS 2019 Co-chair in Program Committee within the TACAS 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile