Please turn JavaScript on
header-image

Processalgebra

follow.it gives you an easy way to subscribe to Processalgebra's news feed! Click on Follow below and we deliver the updates you want via email, phone or you can read them here on the website on your own news page.

You can also unsubscribe anytime painlessly. You can even combine feeds from Processalgebra with other site's feeds!

Title: Process Algebra Diary

Is this your feed? Claim it!

Publisher:  Unclaimed!
Message frequency:  0.11 / day

Message History

The Estonian-Latvian Computer Science Theory Days 2026 will be at the University of Tartu, Tartu, Estonia, in the period 24-26 April 2026. (Hat tip: My colleague Tarmo Uustalu at the Department of Comput...


Read full story

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 pape...

Read full story

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. Wh...


Read full story

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 EATCS Distinguished Dissertation Award 2025. See below and


Read full story