Courses of EWSCS'18
-
Jannik Dreier (LORIA, Université de Lorraine, France):
Symbolic verification of cryptographic protocols using Tamarin (details) -
Chris Heunen (School of Informatics, University of Edinburgh, UK):
Categories and quantum informatics (details) -
Sanjiva Prasad (Dept. of Computer Science and Engineering, IIT Delhi, India):
Formal foundations of routing in networks (details) -
Georg Struth (Dept. of Computer Science, University of Sheffield, UK):
Introduction to Kleene algebra (details) Ahto Buldas (Dept. of Software Science, Tallinn University of Technology, Estonia):
Block-chains - basic principles, proofs of work and alternative approaches (details)
Last changed
March 2, 2018 21:48 Europe/Helsinki (GMT +02:00)
by
local organizers, ewscs18(at)cs.ioc.ee
EWSCS'18 page:
//cs.ioc.ee/ewscs/2018/