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)
Best Student Talk
This years best student talk prize went to Vesal Vojdani (University of Tartu).
SPONSORS
- Tiger University Plus programme of Estonian Information Technology Foundation
- Doctoral School in ICT of Measure 1.1 of the Estonian NDP
Last changed
March 10, 2008 12:04 EET
by
local organizers, ewscs08(at)cs.ioc.ee
EWSCS'08 page:
//cs.ioc.ee/ewscs/2008/