Speakers

Prof. Moshe Vardi, Rice University, USA
Prof. Moshe Vardi, Rice University, USA
Prof. Moshe Vardi, Rice University, USA
Prof. Moshe Vardi, Rice University, USA
Prof. Moshe Vardi, Rice University, USA
Prof. Moshe Vardi, Rice University, USA
Prof. Andrew Yao, Tsinghua University, China
Prof. Andrew Yao, Tsinghua University, China
Prof. Andrew Yao, Tsinghua University, China
Prof. Andrew Yao, Tsinghua University, China
Prof. Andrew Yao, Tsinghua University, China
Prof. Sören Auer, TIB Leibniz Information Centre for Science and Technology, Germany
Prof. Sören Auer, TIB Leibniz Information Centre for Science and Technology, Germany
Artemiy Firsov, A.P. Ershov Institute of Informatics Systems
Prof. Marta Kwiatkovska, Oxford University, Great Britain
Prof. Marta Kwiatkovska, Oxford University, Great Britain
Prof. Marta Kwiatkovska, Oxford University, Great Britain
Denis Kleyko, Lulea University of Technology, Sweden
Denis Kleyko, Lulea University of Technology, Sweden
Denis Kleyko, Lulea University of Technology, Sweden
Prof. Joost-Pieter Katoen, Aachen University, Germany
Prof. Joost-Pieter Katoen, Aachen University, Germany
Prof. Joost-Pieter Katoen, Aachen University, Germany
Margus Veanes Microsoft Research, USA
Margus Veanes (Microsoft Research, USA)
Margus Veanes (Microsoft Research, USA)