Process Algebra Diary

2024 Award Winners announced by Computer Science Canada | Informatique Canada

PhD Position in Probabilistic Session Types at the IT University of Copenhagen

Answers to four teaching-related questions from Teaching Affairs at Reykjavik University

Call for papers - GandALF 2025

What's your opinion on double-blind reviewing in TCS conferences?

ICE-TCS seminar by Benjamin Moore on "Smoothed analysis for graph isomorphism"

Interview with Magnús Már Halldórsson on Reykjavik University's website

Dagstuhl Publishing – Highlights of 2024

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

Faculty positions in Computer Science at Reykjavik University

Nicola Cotumaccio receives Best Italian PhD Thesis Award in Theoretical Computer Science

Accepted papers for GandALF 2024 and SLSS 2024

Call for expressions of interest for open-rank positions at the Gran Sasso Science Institute

Ten fully-funded PhD positions at the Gran Sasso Science Institute

GandALF 2024: Call for papers

EATCS Fellows 2024: Call for Nominations

World Logic Day 2024 in Tallinn

Postdoctoral position in the field of cyber-physical systems at the Gran Sasso Science Institute

Eleven postdoc positions in Computer Science at the Gran Sasso Science Institute

LIPIcs and International Open Access Week 2023

Interview with the CONCUR 2023 Test-of-Time Award recipients

LIPIcs: Affordable, high-quality and open-access proceedings of conferences in Computer Science

Summer School on Formal Methods for Cyber-Physical Systems and Workshop on Synthesis, Monitoring and Learning in Udine

TheoretiCS: Status update

Ten fully-funded PhD positions in Computer Science at the Gran Sasso Science Institute