[TYPES/announce] 2025 Estonian Winter School in Computer Science

[Tarmo Uustalu]

Hello,

I am writing to promote the 2025 Estonian winter school in computer
science.

EWSCS are general TCS schools with topics from both Theory A and B.
It is a long-running series, the first school happened in 1996 
and the school has since taken place annually, except for the 
3-year forced break because of Covid.

The primary audience is PhD students and ambitious MSc and BSc
students, but postdocs, faculty and professionals are equally welcome.

In this year's programme we have four courses on combinatorics, 
modern database theory, concurrency connected to topology, 
provable cybersecurity.

Application deadline 12 Feb.

Tarmo Uustalu

---


27th Estonian Winter School in Computer Science, EWSCS 2025
Viinistu, Estonia, 3-6 March 2025

https://urldefense.com/v3/__https://cs.ioc.ee/ewscs/2025/__;!!IBzWLUs!QU2MXFQB3C-MBixSRzcg-z9pAznqNrP84NY-3sP50ukf21jj78bh2AhRkCiyFs73FIIDzkiy8iB1nFHaa2BxeooqIA$ 


EWSCS is a series of annual regional-scope winter schools in
theoretical computer science. The schools are mostly intended for PhD
students as well as ambitious MSc and BSc students, but open for
anyone.

The 27th EWSCS takes place 3-6 March 2025, at the Viinistu Art Hotel
in the Lahemaa National Park (~80 kms from Tallinn).


Courses of EWSCS 2025:

Anders Claesson, University of Iceland, Reykjavik
Combinatorial species 

Uli Fahrenberg, EPITA Rennes
Discrete and continuous models for concurrent systems:
from Petri nets to directed spaces

Miika Hannula, University of Tartu 
Conjunctive query evaluation

Marino Miculan, University of Udine
Formally verifying security of complex architectures: 
multi-factor authentication and containerized systems 

(check the school webpage for abstracts and the timetable)

Participation fee: 490 EUR. Covered in the fee are accommodation of 3
nights in twin rooms, with full board, and transportation from Tallinn
to the school venue and back.

Application deadline: 12 Feb 2025.

---