17^th Estonian Winter School in Computer Science (EWSCS)
XVII Eesti Arvutiteaduse Talvekool

Application and submission of abstracts was closed on 13 January 2012.

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 January 13, 2012 7:59 EET by local organizers, ewscs12(at)cs.ioc.ee
EWSCS'12 page: http://cs.ioc.ee/ewscs/2012/