24^th Estonian Winter School in Computer Science (EWSCS)
XXIV Eesti Arvutiteaduse Talvekool

Courses of EWSCS'19

• Jade Alglave (University College London, UK) :
  Herding cats (details)

• Zena Ariola (University of Oregon, Eugene, OR, USA):
  Logic and computation (details)

• Barbara Kordy (IRISA, Rennes):
  Attack trees 20 years later (details)

• Andrei Sabelfeld (Chalmers University of Technology, Gothenburg, Sweden):
  Information flow tracking (details)

• Jiří Sgall (Charles University of Prague, Czech Republic):
  Online algorithms (details) (cancelled for extraordinary circumstances)

Special lectures

• Danel Ahman (University of Ljubljana, Slovenia)
  Program verification with F* (details)

• Carsten Schürmann (ITU Copenhagen, Denmark)
  Behavioral types and logical frameworks: an introduction (details)

Last changed March 30, 2019 22:11 Europe/Helsinki (GMT +02:00) by local organizers, ewscs19(at)cs.ioc.ee
EWSCS'19 page: //cs.ioc.ee/ewscs/2019/