Courses of EWSCS'08
Nick Benton (Microsoft Research, Cambridge, UK):
Modelling and Reasoning about State (details)David Harel (Weizmann Institute, Rehovot, Israel):
Biological Systems as Reactive Systems (details)Eyal Kushilevitz (Technion, Haifa, Israel):
Randomization Techniques for Secure Computation and Parallel Cryptography (details)José Meseguer (Univ. of Illinois at Urbana-Champaign, USA):
Software Specification and Verification in Rewriting Logic (details)Giuseppe Persiano (Università di Salerno, Italy):
Zero Knowledge and the Construction of Secure Encryption Schemes (details)
Last changed
February 29, 2008 13:38 EET
by
local organizers, ewscs08(at)cs.ioc.ee
EWSCS'08 page:
//cs.ioc.ee/ewscs/2008/