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, in the period 15-17 September 2026. See

https://gandalfsymposium.github.io/2026/

for more information and the call for papers. The PC is co-chaired by Giorgio Bacci (Aalborg University, Denmark) and Mickaël Randour (Université de Mons, Belgium) and the event will be co-organised by Giorgio and Elli Anastasiadi.

Spread the news and submit to the event!

Five AI-related PhD/Postdoc Positions at Reykjavik University

Glóð.ai, one of the two EU-cofunded projects in which my colleague Anna Liebel is involved, is opening a number of research opportunities in the area of AI and HPC. What follows is largely a copy-paste of text Anna wrote.

Reykjavik University has 5 PhD/Postdoc positions open for applications. Some of them are purely at the Department of Computer Science, several will be co-supervised between our department and our engineering colleagues, and one is even at the Department of Law.

If you or any of your (recent) students want to help my colleagues make the European AI infrastructure stronger and more competitive, work in research and support local businesses and the public sector with AI adoption and development, all while living in stunning Iceland, please apply!

Here are the links for the position announcements.

• https://jobs.50skills.com/ru/en/41631
• https://jobs.50skills.com/ru/en/41348
• https://jobs.50skills.com/ru/en/41225
• https://jobs.50skills.com/ru/en/41239
• https://jobs.50skills.com/ru/is/41088 (PhD in Law, in Icelandic)

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 located on the coast of the Gulf of Finland. This edition of the school was organised by Cybernetica AS and the programme/organising committee included 

• Peeter Laud (Cybernetica AS), 
• Monika Perkmann (Tallinn University of Technology),
• Pille Pullonen-Raudvere (Cybernetica AS),
• Ago-Erik Riet (University of Tartu) and
• Tarmo Uustalu (Reykjavik University and Tallinn University of Technology). 

The main objective of this series of winter schools is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to research topics that are usually not covered within the regular curricula. 

This year's edition of the school featured four courses, each consisting of four hours of lectures and three hours of exercises. Renato Neves (University of Minho, Braga, Portugal) delivered a course on "Reasoning precisely about imprecisions (metric program equialence)". Matej Pavlović (Near One) gave a course on "Distributed consensus, state machine replication and Byzantine fault tolerance". Miklós Simonovits (Alfréd Rényi Institute of Mathematics, Hungary) spoke about "Extremal graph theory and related areas". Finally, I contributed some lectures on "The equational logic of concurrent processes: Results and proof techniques".  

I thoroughly enjoyed taking part in this winter school. It was a great pleasure to learn from the other lecturers and to interact with the young researchers and students, including several BSc ones, who attended the event in a relaxed and idyllic setting. The organisation of the event was perfect and allowed all participants plenty of opportunities to discuss topics related to research, academic life and their studies with the lecturers and the organisers. We also had a lot of fun listening to the humorous presentations delivered at CRAPcon'26, including talks on pets in the wild, the Fibonacci properties of the broccolo romanesco, node equality in graphs, and reasons one should not enrich (in category theory and beyond). 

The organisers of the Estonian Winter School deserve the appreciation of the computer science community for their efforts over about 30 years. To my mind, events of this type have a huge positive influence on young computer scientists, some of whom then decide to pursue PhD studies and a research career. Organising the editions of the school for such a long period of time requires a lot of work and this type of contribution to the community is often not sufficiently recognised when evaluating an academic for positions or promotions. 

For the little that it might be worth, let me thank the organisers, the other lecturers and all the attendees for a lovely event, which rekindled a little, much-needed optimism in me in very troubled times.