Courses of EWSCS'17
-
Thorsten Altenkirch (University of Nottingham, UK):
Introduction to homotopy type theory (details) -
Alexander Belov (University of Latvia):
Quantum query complexity and the adversary bound (details) -
Roberto Guanciale (KTH Royal Institute of Technology, Sweden):
Formal verification of low-level execution platforms (details) -
Yuval Ishai (Technion, Israel & University of California at Los Angeles, USA):
Homomorphic secret sharing (details) -
Paweł Sobociński (University of Southampton, UK):
Graphical linear algebra (details)
SPONSORS
TUT Institutional Development Programme for 2016-2022
(ERDF, 2014-2020.4.01.16-0032)
Doctoral School in ICT
| EXCITE, Excellence in IT in Estonia
(ERDF, 2014-2020.4.01.15-0018) |
 |
Last changed
March 3, 2017 21:01 Europe/Helsinki (GMT +02:00)
by
local organizers, ewscs17(at)cs.ioc.ee
EWSCS'17 page:
//cs.ioc.ee/ewscs/2017/