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 2019 Session 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 2019 ETAPS Steering committee meeting
Session Chair of Colcombet (part of Keynotes)
Committee Member in Steering Committee
Show activities from other conferences

ETAPS 2019-profile
View general profile