Process Algebra Diary

For several reasons, I have attended very few conferences and workshops for quite a while.

Krishnendu Chatterjee, Thomas Henzinger and Nir Piterman will receive one of the two CONCUR 2026 Test-of-Time Awards at CONCUR 2026.

The Gran Sasso Science Institute (GSSI) in L’Aquila, Italy, invites applications for a full-time tenure-track researcher position in Computer Science.

As mentioned in a previous post, Naoki Kobayashi will receive one of the two CONCUR 2026 Test-of-Time Awards at CONCUR 2026.

As announced on the CONCUR 2026 website, the 2026 CONCUR Test-of-Time Award Committee, consisting of Anca Muscholl (chair), Javier Esparza and Prakash Panangaden, has selected the following two papers for the 2006-2009 ToT award.

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

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.

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.

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.

It's the time of the year for the standard call for nominations for EATCS Awards.

The call for nominations for EATCS Fellows 2026 is out and I copy-paste it below.

Computer Science Canada | Informatique Canada has announced the list of recipients of its awards for 2024.

Marco Carbone has a PhD position at the IT University Copenhagen in the PROBABILIST project (PROBABILIstic Session Types), funded by the Independent Research Fund Denmark (DFF-FNU) starting in August or soon thereafter.

The Teaching Affairs Office at Reykjavik University is creating a video in which several faculty members answer some questions related to the principles that guide their pedagogical work.

If you do research on any of the topics covered by GandALF, do consider submitting a paper to the conference and making the trip to Malta in mid-September!

Recent discussions with some colleagues spurred me to read again Ran Canetti's white paper on double-blind reviewing in IACR conferences.

Today, the ICE-TCS seminar series at Reykjavik University hosted a talk by Benjamin Moore (Institute of Science and Technology Austria) who is visiting our postdoctoral researcher Nicolaos Matsakis.

Magnús Már Halldórsson, the director of ICE-TCS, was interviewed by the Communication Department at Reykjavik University to mark the 20th anniversary of ICE-TCS on April 29, 2025.

On behalf of Dagstuhl Publishing, Michael Wagner has posted the highlights for 2024.

I received the following announcement from my colleague Tarmo Uustalu.

The Department of Computer Science at Reykjavik University invites applications for full-time, permanent faculty positions at any rank, in particular in the fields of data science, software engineering, theoretical computer science (see the ICE-TCS web pa…

At this time of the year, the Italian Chapter of the EATCS announces its awards.

The list of papers that were selected for presentation at GandALF 2024 is available at https://scool24.github.io/GandALF/ I am looking forward to listening to the presentations based on those articles and to the four invited talks by Bernd Finkbeiner (CIS…

I hope that this call for expressions of interest for faculty positions in Computer Science at the Gran Sasso Science Institute (GSSI) will entice some of the readers of this blog to "express interest", possibly for a direct call.

The Computer Science Department of the Gran Sasso Science institute (see https://gssi.it), which has recently been ranked among the best computer science departments in the Italian research evaluation exercise, offers 10 fully-funded PhD scholarships in C…

GandALF 2024: Call for papers Abstract submission deadline: 7 April 2024 Paper submission deadline: 10 April 2024 Website: https://scool24.github.io/GandALF/ The Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF