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 2019Author of AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention within the InterAVT-track
HCVS 2019Author of Decomposing Farkas Interpolants within the HCVS-track
TACAS 2019Author of Decomposing Farkas Interpolants within the TACAS 2019-track
ETAPS 2019General Chair in Organizing Committee
Author of ETAPS Steering committee meeting within the Social-track
Author of Decomposing Farkas Interpolants within the Posters-track
Session Chair of Workshop Poster Exhibition (Saturday) (part of Posters)
Author of Opening within the Social-track
Organizer of Banquet within the Social-track
Show activities from other conferences

ETAPS 2019-profile
View general profile