corpus.blog
54,302 blogs · [ { "id": "01a0c672-d0ee-7018-86f9-f120e4396567", "title": "Notes on GandALF 2026", "url": "https://processalgebra.blogspot.com/2026/09/notes-on-gandalf-2026.html", "published_at": "2026-09-20T10:22:57+00:00" }, { "id": "01a087c9-c83b-70a5-abd6-ed821d45e02d", "title": "Interview with Krishnendu Chatterjee, Tom Henzinger and Nir Piterman, CONCUR 2026 ToT Award recipients", "url": "https://processalgebra.blogspot.com/2026/08/interview-with-krishnendu-chatterjee.html", "published_at": "2026-08-21T14:56:59+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd2db020ab", "title": "Tenure-track position in Computer Science at the Gran Sasso Science Institute (GSSI)", "url": "https://processalgebra.blogspot.com/2026/08/tenure-track-position-in-computer.html", "published_at": "2026-08-03T22:12:48+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd2e1b4311", "title": "Interview with Naoki Kobayashi, CONCUR 2026 ToT Award recipient", "url": "https://processalgebra.blogspot.com/2026/05/interview-with-naoki-kobayashi-concur.html", "published_at": "2026-05-21T10:31:39+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd2e8af908", "title": "CONCUR Test-of-Time Awards 2026", "url": "https://processalgebra.blogspot.com/2026/04/concur-test-of-time-awards-2026.html", "published_at": "2026-04-20T21:36:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd2f83c77c", "title": "Estonian-Latvian Computer Science Theory Days 2026", "url": "https://processalgebra.blogspot.com/2026/04/estonian-latvian-computer-science.html", "published_at": "2026-04-03T09:50:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd302c0751", "title": "GandALF 2026: First call for papers", "url": "https://processalgebra.blogspot.com/2026/03/gandalf-2026-first-call-for-papers.html", "published_at": "2026-03-28T09:41:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd30a537d9", "title": "Five AI-related PhD/Postdoc Positions at Reykjavik University", "url": "https://processalgebra.blogspot.com/2026/03/five-ai-related-phdpostdoc-positions-at.html", "published_at": "2026-03-20T21:44:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd31239712", "title": "28th Estonian Winter School in Computer Science", "url": "https://processalgebra.blogspot.com/2026/03/28th-estonian-winter-school-in-computer.html", "published_at": "2026-03-08T17:43:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd31608973", "title": "EATCS Distinguished Dissertation Award 2025 -- Call for Nominations", "url": "https://processalgebra.blogspot.com/2026/01/eatcs-distinguished-dissertation-award.html", "published_at": "2026-01-16T15:49:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd3201f540", "title": "EATCS Fellows 2026 - Call for Nominations", "url": "https://processalgebra.blogspot.com/2026/01/eatcs-fellows-2026-call-for-nominations.html", "published_at": "2026-01-14T14:52:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd32a85d43", "title": "2024 Award Winners announced by Computer Science Canada | Informatique Canada", "url": "https://processalgebra.blogspot.com/2025/06/2024-award-winners-announced-by.html", "published_at": "2025-06-12T07:47:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd3306f5d9", "title": "PhD Position in Probabilistic Session Types at the IT University of Copenhagen", "url": "https://processalgebra.blogspot.com/2025/05/phd-position-in-probabilistic-session.html", "published_at": "2025-05-05T15:17:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd337e0a20", "title": "Answers to four teaching-related questions from Teaching Affairs at Reykjavik University", "url": "https://processalgebra.blogspot.com/2025/04/answers-to-four-teaching-related.html", "published_at": "2025-04-22T11:32:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd34346d50", "title": "Call for papers - GandALF 2025", "url": "https://processalgebra.blogspot.com/2025/04/call-for-papers-gandalf-2025.html", "published_at": "2025-04-16T20:27:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd34c683f5", "title": "What's your opinion on double-blind reviewing in TCS conferences?", "url": "https://processalgebra.blogspot.com/2025/04/whats-your-opinion-on-double-blind.html", "published_at": "2025-04-15T17:06:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd3598c0a1", "title": "ICE-TCS seminar by Benjamin Moore on \"Smoothed analysis for graph isomorphism\"", "url": "https://processalgebra.blogspot.com/2025/04/ice-tcs-seminar-by-benjamin-moore-on.html", "published_at": "2025-04-01T16:19:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd35a0794f", "title": "Interview with Magnús Már Halldórsson on Reykjavik University's website", "url": "https://processalgebra.blogspot.com/2025/03/interview-with-magnus-mar-halldorsson.html", "published_at": "2025-03-16T15:21:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd365a95b2", "title": "Dagstuhl Publishing – Highlights of 2024", "url": "https://processalgebra.blogspot.com/2025/02/dagstuhl-publishing-highlights-of-2024.html", "published_at": "2025-02-09T14:09:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd3671faae", "title": "27th Estonian Winter School in Computer Science, EWSCS 2025 Viinistu, Estonia, 3-6 March 2025", "url": "https://processalgebra.blogspot.com/2025/02/27th-estonian-winter-school-in-computer.html", "published_at": "2025-02-01T14:18:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd36c5d787", "title": "Faculty positions in Computer Science at Reykjavik University", "url": "https://processalgebra.blogspot.com/2024/12/faculty-positions-in-computer-science.html", "published_at": "2024-12-24T15:19:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd372cbaab", "title": "Nicola Cotumaccio receives Best Italian PhD Thesis Award in Theoretical Computer Science", "url": "https://processalgebra.blogspot.com/2024/09/nicola-cotumaccio-receives-best-italian.html", "published_at": "2024-09-03T08:33:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd37eb66a0", "title": "Accepted papers for GandALF 2024 and SLSS 2024", "url": "https://processalgebra.blogspot.com/2024/05/accepted-papers-for-gandalf-2024-and.html", "published_at": "2024-05-16T07:47:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd384b1833", "title": "Call for expressions of interest for open-rank positions at the Gran Sasso Science Institute", "url": "https://processalgebra.blogspot.com/2024/04/call-for-expressions-of-interest-for.html", "published_at": "2024-04-11T10:12:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd38dc5c52", "title": "Ten fully-funded PhD positions at the Gran Sasso Science Institute", "url": "https://processalgebra.blogspot.com/2024/03/ten-fully-funded-phd-positions-at-gran.html", "published_at": "2024-03-27T12:05:00+00:00" }, { "id": "01a087c9-c83c-7163-ae75-66fd39161198", "title": "GandALF 2024: Call for papers", "url": "https://processalgebra.blogspot.com/2024/03/gandalf-2024-call-for-papers.html", "published_at": "2024-03-05T14:40:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade0c33651", "title": "EATCS Fellows 2024: Call for Nominations", "url": "https://processalgebra.blogspot.com/2024/02/eatcs-fellows-2024-call-for-nominations.html", "published_at": "2024-02-09T08:57:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade1715c43", "title": "World Logic Day 2024 in Tallinn", "url": "https://processalgebra.blogspot.com/2024/01/world-logic-day-2024-in-tallinn.html", "published_at": "2024-01-22T16:21:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade24df2e4", "title": "Postdoctoral position in the field of cyber-physical systems at the Gran Sasso Science Institute", "url": "https://processalgebra.blogspot.com/2024/01/postdoctoral-position-in-field-of-cyber.html", "published_at": "2024-01-10T17:57:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade29271d3", "title": "Eleven postdoc positions in Computer Science at the Gran Sasso Science Institute", "url": "https://processalgebra.blogspot.com/2023/11/eleven-postdoc-positions-in-computer.html", "published_at": "2023-11-16T07:48:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade2bc57f0", "title": "LIPIcs and International Open Access Week 2023", "url": "https://processalgebra.blogspot.com/2023/10/lipics-and-international-open-access.html", "published_at": "2023-10-24T08:07:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade3091c88", "title": "Interview with the CONCUR 2023 Test-of-Time Award recipients", "url": "https://processalgebra.blogspot.com/2023/10/interview-with-concur-2023-test-of-time.html", "published_at": "2023-10-20T14:15:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade3c1ba5d", "title": "LIPIcs: Affordable, high-quality and open-access proceedings of conferences in Computer Science", "url": "https://processalgebra.blogspot.com/2023/07/lipics-affordable-high-quality-and-open.html", "published_at": "2023-07-07T11:06:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade3dc6917", "title": "Summer School on Formal Methods for Cyber-Physical Systems and Workshop on Synthesis, Monitoring and Learning in Udine", "url": "https://processalgebra.blogspot.com/2023/06/summer-school-on-formal-methods-for.html", "published_at": "2023-06-08T09:21:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade46e1e69", "title": "TheoretiCS: Status update", "url": "https://processalgebra.blogspot.com/2023/04/theoretics-status-update.html", "published_at": "2023-04-03T10:33:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade4c12ff6", "title": "Ten fully-funded PhD positions in Computer Science at the Gran Sasso Science Institute", "url": "https://processalgebra.blogspot.com/2023/03/ten-fully-funded-phd-positions-in.html", "published_at": "2023-03-09T13:49:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade528c84c", "title": "Call for papers for the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23)", "url": "https://processalgebra.blogspot.com/2023/03/call-for-papers-for-fourteenth.html", "published_at": "2023-03-03T18:19:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade56ff68f", "title": "Resources on how to apply for a CS job in academia/industry", "url": "https://processalgebra.blogspot.com/2023/01/resources-on-how-to-apply-for-cs-job-in.html", "published_at": "2023-01-12T09:12:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade6219372", "title": "Computer Science and Mathematics at the GSSI named \"Excellent Department\"", "url": "https://processalgebra.blogspot.com/2022/12/computer-science-and-mathematics-at.html", "published_at": "2022-12-29T16:48:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade6347878", "title": "Report on the formative research evaluation of the Department of Computer Science at Reykjavik University", "url": "https://processalgebra.blogspot.com/2022/12/report-on-formative-research-evaluation.html", "published_at": "2022-12-09T10:17:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade67719c7", "title": "The World Dynamics Project", "url": "https://processalgebra.blogspot.com/2022/11/the-world-dynamics-project.html", "published_at": "2022-11-28T13:26:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade67d669d", "title": "Two faculty positions in Computer Science at Reykjavik University", "url": "https://processalgebra.blogspot.com/2022/11/two-faculty-positions-in-computer.html", "published_at": "2022-11-12T22:14:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade6dee073", "title": "Dean of the School of Technology at Reykjavik University: Call for applications", "url": "https://processalgebra.blogspot.com/2022/09/dean-of-school-of-technology-at.html", "published_at": "2022-09-19T16:58:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade77b8b73", "title": "CONCUR through time: A data- and graph-mining analysis", "url": "https://processalgebra.blogspot.com/2022/08/concur-through-time-data-and-graph.html", "published_at": "2022-08-10T13:55:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade8615f2c", "title": "Interview with Franck Cassez and Kim G. Larsen, CONCUR 2022 ToT Award Recipients", "url": "https://processalgebra.blogspot.com/2022/08/interview-with-kim-g-larsen-concur-2022.html", "published_at": "2022-08-09T12:17:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade87be982", "title": "Davide Sangiorgi's Interview with James Leifer, CONCUR 2022 ToT Award Recipient", "url": "https://processalgebra.blogspot.com/2022/07/davide-sangiorgis-interview-with-james.html", "published_at": "2022-07-29T16:29:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade96d1bd6", "title": "ICALP and the EATCS turn 50", "url": "https://processalgebra.blogspot.com/2022/07/icalp-and-eatcs-turn-50.html", "published_at": "2022-07-05T18:13:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13ade9eb5518", "title": "Interview with Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar and Mariëlle Stoelinga, CONCUR 2022 ToT Award Recipients", "url": "https://processalgebra.blogspot.com/2022/06/interview-with-luca-de-alfaro-marco.html", "published_at": "2022-06-21T20:53:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13adea878924", "title": "Orna Kupferman's Interview with Christel Baier, Holger Hermanns and Joost-Pieter Katoen, CONCUR 2022 ToT Award Recipients", "url": "https://processalgebra.blogspot.com/2022/05/orna-kupfermans-interview-with-christel.html", "published_at": "2022-05-30T15:15:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13adeb04b6d6", "title": "HALG 2022: Call for participation", "url": "https://processalgebra.blogspot.com/2022/05/halg-2022-call-for-participation.html", "published_at": "2022-05-06T15:01:00+00:00" }, { "id": "01a0be00-3872-71e1-ba7b-13adeb4154de", "title": "FOCS 2021 Test-of-Time Award winners (and one deserving paper that missed out)", "url": "https://processalgebra.blogspot.com/2022/03/focs-2021-test-of-time-award-winners.html", "published_at": "2022-03-12T12:24:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce21e1111", "title": "HALG 2022: Call For Submissions of Short Contributed Presentations", "url": "https://processalgebra.blogspot.com/2022/03/halg-2022-call-for-submissions-of-short.html", "published_at": "2022-03-06T15:26:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce26f6b77", "title": "Combinatorial Exploration: An algorithmic framework to automate the proof of results in combinatorics", "url": "https://processalgebra.blogspot.com/2022/03/combinatorial-exploration-algorithmic.html", "published_at": "2022-03-04T15:35:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce29c6ed0", "title": "Call for Invited Talk Nominations: 7th Highlights of Algorithms conference (HALG 2022)", "url": "https://processalgebra.blogspot.com/2021/12/call-for-invited-talk-nominations-7th.html", "published_at": "2021-12-15T08:46:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce2dceee8", "title": "Faculty positions in Computer Science at Reykjavik University", "url": "https://processalgebra.blogspot.com/2021/12/faculty-positions-in-computer-science.html", "published_at": "2021-12-14T16:29:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce3337a61", "title": "Near-Optimal Distributed Degree+1 Colouring", "url": "https://processalgebra.blogspot.com/2021/12/near-optimal-distributed-degree1.html", "published_at": "2021-12-14T10:23:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce33b6545", "title": "TheoretiCS: A new open-access journal in Theoretical Computer Science", "url": "https://processalgebra.blogspot.com/2021/12/theoretics-new-open-access-journal-in.html", "published_at": "2021-12-04T12:59:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce3f97d78", "title": "Inria Innovation Prize 2021 to Mateescu, Garavel, Lang and Serwe", "url": "https://processalgebra.blogspot.com/2021/11/inria-innovation-prize-2021-to-mateescu.html", "published_at": "2021-11-24T22:50:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce45b84c8", "title": "PhD scholarship in Data Science for sustainability at Reykjavik University", "url": "https://processalgebra.blogspot.com/2021/09/phd-scholarship-in-data-science-for.html", "published_at": "2021-09-16T12:23:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce5535b21", "title": "Interview with CONCUR 2021 ToT Award Recipients: David Janin and Igor Walukiewicz", "url": "https://processalgebra.blogspot.com/2021/08/nterview-with-concur-2021-tot-award.html", "published_at": "2021-08-28T12:27:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce56dba65", "title": "Interview with CONCUR 2021 ToT Award Recipients: Ahmed Bouajjani and Javier Esparza", "url": "https://processalgebra.blogspot.com/2021/08/interview-with-concur-2021-tot-award_23.html", "published_at": "2021-08-23T09:44:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce58048bd", "title": "The First: A Movie", "url": "https://processalgebra.blogspot.com/2021/08/the-first-movie.html", "published_at": "2021-08-11T09:38:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce58e0a06", "title": "Interview with CONCUR 2021 ToT Award Recipients: Uwe Nestmann and Benjamin Pierce", "url": "https://processalgebra.blogspot.com/2021/08/interview-with-concur-2021-tot-award.html", "published_at": "2021-08-06T21:36:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce63ded22", "title": "The detectEr runtime-verification tool for Erlang programs", "url": "https://processalgebra.blogspot.com/2021/06/the-detecter-runtime-verification-tool.html", "published_at": "2021-06-24T08:16:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce6b86ee6", "title": "Interview with CONCUR 2021 ToT Award recipients, Part 1: Rajeev Alur, Thomas Henzinger, Orna Kupferman and Moshe Vardi", "url": "https://processalgebra.blogspot.com/2021/06/interview-with-concur-2021-tot-award.html", "published_at": "2021-06-18T16:37:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce76ad419", "title": "Frank P. Ramsey on research and publication rates", "url": "https://processalgebra.blogspot.com/2021/06/frank-p-ramsey-on-research-and.html", "published_at": "2021-06-01T21:42:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce76c8ce0", "title": "Course on Ethics and Accountability in Computer Science", "url": "https://processalgebra.blogspot.com/2021/05/course-on-ethics-and-accountability-in.html", "published_at": "2021-05-26T19:04:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce8329bdc", "title": "PolyConc: Online collaboration to improve on a result on the equational theory of CCS modulo bisimilarity", "url": "https://processalgebra.blogspot.com/2021/04/polyconc-online-collaboration-to.html", "published_at": "2021-04-30T20:41:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce856ff1f", "title": "Article by Sergey Kitaev and Anthony Mendes in Jeff Remmel's memory", "url": "https://processalgebra.blogspot.com/2021/02/article-by-sergey-kitaev-and-anthony.html", "published_at": "2021-02-21T11:47:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce94ff581", "title": "Whence do research collaborations (in TCS) arise?", "url": "https://processalgebra.blogspot.com/2021/02/whence-do-research-collaborations-in.html", "published_at": "2021-02-08T17:42:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce984334e", "title": "Support research in the Foundations of Computing at the University of Leicester!", "url": "https://processalgebra.blogspot.com/2021/02/support-research-in-foundations-of.html", "published_at": "2021-02-05T11:30:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ce9d4ee32", "title": "Two PhD positions at the Department of Computer Science, Reykjavik University: Model-driven SE for blockchain and smart contracts", "url": "https://processalgebra.blogspot.com/2021/02/two-phd-positions-at-department-of.html", "published_at": "2021-02-01T09:10:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495cea9b0a64", "title": "One PhD and one postdoc position at Reykjavik University", "url": "https://processalgebra.blogspot.com/2021/01/one-phd-and-one-postdoc-position-at.html", "published_at": "2021-01-29T18:25:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ceac82079", "title": "Faculty positions at the Department of Computer Science, Reykjavik University", "url": "https://processalgebra.blogspot.com/2020/11/faculty-positions-at-department-of.html", "published_at": "2020-11-17T15:15:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ceb1b7ea2", "title": "An interview with Jos Baeten, outgoing director of the CWI", "url": "https://processalgebra.blogspot.com/2020/08/an-interview-with-jos-baeten-outgoing.html", "published_at": "2020-08-13T17:40:00+00:00" }, { "id": "01a0be08-b9b0-72c5-8104-495ceb5ee954", "title": "An interview with Hans Hüttel, CONCUR Test-of-Time Award recipient", "url": "https://processalgebra.blogspot.com/2020/06/an-interview-with-hans-huttel-concur.html", "published_at": "2020-06-18T21:29:00+00:00" } ] posts Claim your blog
Back to processalgebra.blogspot.com
Blog · corpus.blog/blogs/processalgebra.blogspot.com/posts

processalgebra.blogspot.com

processalgebra.blogspot.com

2026

Notes on GandALF 2026original ↗
20 Sept 2026
Interview with Krishnendu Chatterjee, Tom Henzinger and Nir Piterman, CONCUR 2026 ToT Award recipientsoriginal ↗
21 Aug 2026
Tenure-track position in Computer Science at the Gran Sasso Science Institute (GSSI)original ↗
3 Aug 2026
Interview with Naoki Kobayashi, CONCUR 2026 ToT Award recipientoriginal ↗
21 May 2026
CONCUR Test-of-Time Awards 2026original ↗
20 Apr 2026
Estonian-Latvian Computer Science Theory Days 2026original ↗
3 Apr 2026
GandALF 2026: First call for papersoriginal ↗
28 Mar 2026
Five AI-related PhD/Postdoc Positions at Reykjavik Universityoriginal ↗
20 Mar 2026
28th Estonian Winter School in Computer Scienceoriginal ↗
8 Mar 2026
EATCS Distinguished Dissertation Award 2025 -- Call for Nominationsoriginal ↗
16 Jan 2026
EATCS Fellows 2026 - Call for Nominationsoriginal ↗
14 Jan 2026

2025

2024 Award Winners announced by Computer Science Canada | Informatique Canadaoriginal ↗
12 Jun 2025
PhD Position in Probabilistic Session Types at the IT University of Copenhagenoriginal ↗
5 May 2025
Answers to four teaching-related questions from Teaching Affairs at Reykjavik Universityoriginal ↗
22 Apr 2025
Call for papers - GandALF 2025original ↗
16 Apr 2025
What's your opinion on double-blind reviewing in TCS conferences?original ↗
15 Apr 2025
ICE-TCS seminar by Benjamin Moore on "Smoothed analysis for graph isomorphism"original ↗
1 Apr 2025
Interview with Magnús Már Halldórsson on Reykjavik University's websiteoriginal ↗
16 Mar 2025
Dagstuhl Publishing – Highlights of 2024original ↗
9 Feb 2025
27th Estonian Winter School in Computer Science, EWSCS 2025 Viinistu, Estonia, 3-6 March 2025original ↗
1 Feb 2025

2024

Faculty positions in Computer Science at Reykjavik Universityoriginal ↗
24 Dec 2024
Nicola Cotumaccio receives Best Italian PhD Thesis Award in Theoretical Computer Scienceoriginal ↗
3 Sept 2024
Accepted papers for GandALF 2024 and SLSS 2024original ↗
16 May 2024
Call for expressions of interest for open-rank positions at the Gran Sasso Science Instituteoriginal ↗
11 Apr 2024
Ten fully-funded PhD positions at the Gran Sasso Science Instituteoriginal ↗
27 Mar 2024
GandALF 2024: Call for papersoriginal ↗
5 Mar 2024
EATCS Fellows 2024: Call for Nominationsoriginal ↗
9 Feb 2024
World Logic Day 2024 in Tallinnoriginal ↗
22 Jan 2024
Postdoctoral position in the field of cyber-physical systems at the Gran Sasso Science Instituteoriginal ↗
10 Jan 2024

2023

Eleven postdoc positions in Computer Science at the Gran Sasso Science Instituteoriginal ↗
16 Nov 2023
LIPIcs and International Open Access Week 2023original ↗
24 Oct 2023
Interview with the CONCUR 2023 Test-of-Time Award recipientsoriginal ↗
20 Oct 2023
LIPIcs: Affordable, high-quality and open-access proceedings of conferences in Computer Scienceoriginal ↗
7 Jul 2023
Summer School on Formal Methods for Cyber-Physical Systems and Workshop on Synthesis, Monitoring and Learning in Udineoriginal ↗
8 Jun 2023
TheoretiCS: Status updateoriginal ↗
3 Apr 2023
Ten fully-funded PhD positions in Computer Science at the Gran Sasso Science Instituteoriginal ↗
9 Mar 2023
Call for papers for the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23)original ↗
3 Mar 2023
Resources on how to apply for a CS job in academia/industryoriginal ↗
12 Jan 2023

2022

Computer Science and Mathematics at the GSSI named "Excellent Department"original ↗
29 Dec 2022
Report on the formative research evaluation of the Department of Computer Science at Reykjavik Universityoriginal ↗
9 Dec 2022
The World Dynamics Projectoriginal ↗
28 Nov 2022
Two faculty positions in Computer Science at Reykjavik Universityoriginal ↗
12 Nov 2022
Dean of the School of Technology at Reykjavik University: Call for applicationsoriginal ↗
19 Sept 2022
CONCUR through time: A data- and graph-mining analysisoriginal ↗
10 Aug 2022
Interview with Franck Cassez and Kim G. Larsen, CONCUR 2022 ToT Award Recipientsoriginal ↗
9 Aug 2022
Davide Sangiorgi's Interview with James Leifer, CONCUR 2022 ToT Award Recipientoriginal ↗
29 Jul 2022
ICALP and the EATCS turn 50original ↗
5 Jul 2022
Interview with Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar and Mariëlle Stoelinga, CONCUR 2022 ToT Award Recipientsoriginal ↗
21 Jun 2022
Orna Kupferman's Interview with Christel Baier, Holger Hermanns and Joost-Pieter Katoen, CONCUR 2022 ToT Award Recipientsoriginal ↗
30 May 2022
HALG 2022: Call for participationoriginal ↗
6 May 2022
FOCS 2021 Test-of-Time Award winners (and one deserving paper that missed out)original ↗
12 Mar 2022
HALG 2022: Call For Submissions of Short Contributed Presentationsoriginal ↗
6 Mar 2022
Combinatorial Exploration: An algorithmic framework to automate the proof of results in combinatoricsoriginal ↗
4 Mar 2022

2021

Call for Invited Talk Nominations: 7th Highlights of Algorithms conference (HALG 2022)original ↗
15 Dec 2021
Faculty positions in Computer Science at Reykjavik Universityoriginal ↗
14 Dec 2021
Near-Optimal Distributed Degree+1 Colouringoriginal ↗
14 Dec 2021
TheoretiCS: A new open-access journal in Theoretical Computer Scienceoriginal ↗
4 Dec 2021
Inria Innovation Prize 2021 to Mateescu, Garavel, Lang and Serweoriginal ↗
24 Nov 2021
PhD scholarship in Data Science for sustainability at Reykjavik Universityoriginal ↗
16 Sept 2021
Interview with CONCUR 2021 ToT Award Recipients: David Janin and Igor Walukiewiczoriginal ↗
28 Aug 2021
Interview with CONCUR 2021 ToT Award Recipients: Ahmed Bouajjani and Javier Esparzaoriginal ↗
23 Aug 2021
The First: A Movieoriginal ↗
11 Aug 2021
Interview with CONCUR 2021 ToT Award Recipients: Uwe Nestmann and Benjamin Pierceoriginal ↗
6 Aug 2021
The detectEr runtime-verification tool for Erlang programsoriginal ↗
24 Jun 2021
Interview with CONCUR 2021 ToT Award recipients, Part 1: Rajeev Alur, Thomas Henzinger, Orna Kupferman and Moshe Vardioriginal ↗
18 Jun 2021
Frank P. Ramsey on research and publication ratesoriginal ↗
1 Jun 2021
Course on Ethics and Accountability in Computer Scienceoriginal ↗
26 May 2021
PolyConc: Online collaboration to improve on a result on the equational theory of CCS modulo bisimilarityoriginal ↗
30 Apr 2021
Article by Sergey Kitaev and Anthony Mendes in Jeff Remmel's memoryoriginal ↗
21 Feb 2021
Whence do research collaborations (in TCS) arise?original ↗
8 Feb 2021
Support research in the Foundations of Computing at the University of Leicester!original ↗
5 Feb 2021
Two PhD positions at the Department of Computer Science, Reykjavik University: Model-driven SE for blockchain and smart contractsoriginal ↗
1 Feb 2021
One PhD and one postdoc position at Reykjavik Universityoriginal ↗
29 Jan 2021

2020

Faculty positions at the Department of Computer Science, Reykjavik Universityoriginal ↗
17 Nov 2020
An interview with Jos Baeten, outgoing director of the CWIoriginal ↗
13 Aug 2020
An interview with Hans Hüttel, CONCUR Test-of-Time Award recipientoriginal ↗
18 Jun 2020