ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Mikolaj Bojanczyk
Mikolaj Bojanczyk

Registered user since Thu 8 Mar 2018

Name: Mikolaj Bojanczyk

Bio: I work at the University of Warsaw. My research is on logic in computer science, with a focus on automata.

Country: Poland

Affiliation: University of Warsaw

Personal website: https://www.mimuw.edu.pl/~bojan/

Contributions

FOSSACS 2019Session Chair of Verification (part of FOSSACS 2019)
Co-chair in Program Committee within the FOSSACS 2019-track
Session Chair of Verification (continued) (part of FOSSACS 2019)
ETAPS 2019Author of ETAPS Steering committee meeting within the Social-track
Session Chair of Colcombet (part of Keynotes)
Committee Member in Steering Committee
Show activities from other conferences

ETAPS 2019-profile
View general profile