ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Mikoláš Janota

Registered user since Tue 30 Oct 2018

Name: Mikoláš Janota

Country: Portugal

Affiliation: INESC-ID, IST, ULisboa

Personal website: http://sat.inesc-id.pt/~mikolas

Research interests: Constraint Solving, SMT

Contributions

InterAVT 2019Committee Member in Program Committee within the InterAVT-track
Show activities from other conferences

ETAPS 2019-profile
View general profile