Courses of EWSCS'12
Vassil S. Dimitrov (Dept. of Electrical and Computer Engineering, University of Calgary, Canada):
Computational number theory and its applications (details)Martín Escardó (School of Computer Science, University of Birmingham, UK):
Topology for functional programming (details)Giuseppe Italiano (Dip. di Informatica, Sistemi e Produzione, Università di Roma "Tor Vergata", Italy):
Dynamic graph algorithms (details)Jakob Nordström (School of Computer Science and Communication, KTH Royal Institute of Technology, Sweden):
Time-space trade-offs in proof complexity (details)Kwangkeun Yi (School of Computer Science and Engineering, Seoul National University, Republic of Korea):
Collage of static analyses in practice and theory (details)
SPONSORS
- Tiger University Plus programme of the Estonian Information Technology Foundation
- Estonian Centre of Excellence in Computer Science, EXCS (funded mainly by the European Regional Development Fund)
Last changed
July 9, 2013 19:13 EET
by
local organizers, ewscs12(at)cs.ioc.ee
EWSCS'12 page:
//cs.ioc.ee/ewscs/2012/