ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Nikos Tzevelekos

Registered user since Tue 7 Aug 2018

Name:Nikos Tzevelekos
Affiliation:Queen Mary University of London
Personal website:http://www.tzevelekos.org
Research interests:Programming Language Semantics, Verification, Automata

Contributions

GaLoP 2019 A Framework for Compositional Model Checking
Committee Member in Program Committee within the GaLoP-track
PERR 2019 Co-chair in Program Committee within the PERR-track
Co-chair in Organizing Committee within the PERR-track
Show activities from other conferences

ETAPS 2019-profile
View general profile