Nikos Tzevelekos - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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

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