ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Jan Kofroň
Jan Kofroň

Registered user since Mon 4 May 2015

Name:Jan Kofroň
Country:Czech Republic
Affiliation:Charles University
Personal website:http://d3s.mff.cuni.cz/~kofron/
Research interests:Code Model Checking, Source code verification and analysis Security of web applications

Contributions

InterAVT 2019 AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention
HCVS 2019 Decomposing Farkas Interpolants
TACAS 2019 Decomposing Farkas Interpolants
ETAPS 2019 General Chair in Organizing Committee
ETAPS Steering committee meeting
Decomposing Farkas Interpolants
Session Chair of Workshop Poster Exhibition (Saturday) (part of Posters)
Opening
Banquet
Show activities from other conferences

ETAPS 2019-profile
View general profile