Courses of EWSCS'14
-
Jifeng He (Software Engineering Institute, East China Normal University, China):
Unifying theories of programming (details) -
Elias Koutsoupias (Dept. of Computer Science, University of Oxford, United Kingdom):
Algorithmic mechanism design (details) -
Conor McBride (Dept. of Computer and Information Sciences, Univ. of Strathclyde, United Kingdom):
Programming in dependent types (details) -
Claudio Orlandi (Dept. of Computer Science, Aarhus Universitet, Denmark):
Cryptographic tools for secure two-party computation (details) -
Jacques Sakarovitch (CNRS / Télécom Paristech, France):
An introduction to weighted automata theory (details)
Last changed
March 9, 2014 14:13 EET
by
local organizers, ewscs14(at)cs.ioc.ee
EWSCS'14 page:
//cs.ioc.ee/ewscs/2014/