Pages

▼
Monday, April 20, 2026

CONCUR Test-of-Time Awards 2026

›
As annoounced on the CONCUR 2026 website , t he 2026 CONCUR Test-of-Time Award Committee, consisting of Anca Muscholl (chair), Javier Esparz...
Friday, April 03, 2026

Estonian-Latvian Computer Science Theory Days 2026

›
The Estonian-Latvian Computer Science Theory Days 2026 will be at the University of Tartu, Tartu, Estonia, in the period 24-26 April 2026. ...
Saturday, March 28, 2026

GandALF 2026: First call for papers

›
The Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2026) will be held in Aalborg, Denmark,...
Friday, March 20, 2026

Five AI-related PhD/Postdoc Positions at Reykjavik University

›
Glóð.ai , one of the two EU-cofunded projects in which my colleague Anna Liebe l is involved, is opening a number of research opportunities ...
Sunday, March 08, 2026

28th Estonian Winter School in Computer Science

›
The 28th edition of the Estonian Winter School in Computer Science was held in the period 2-5 March in Viinistu , a small fishing village l...
Friday, January 16, 2026

EATCS Distinguished Dissertation Award 2025 -- Call for Nominations

›
It's the time of the year for the standard call for nominations for EATCS Awards. Today, I am reposting the call for nominations for the...
Wednesday, January 14, 2026

EATCS Fellows 2026 - Call for Nominations

›
The call for nominations for EATCS Fellows 2026 is out and I copy-paste it below. On behalf of my colleagues in the Fellow Selection Commit...