Congrats to my colleague Marta K. Larusdottir for being one of the PIs for this project that received funding from NordForsk! I llok forward to following the scientific output of the project. www.nordforsk.org/projects/pro... The acceptance rate was 17/216. Is this a good thing? IMHO, answer = no.

What We Eat Is Harming Us news.thin-ink.net/p/what-we-ea... Recommended reading with plenty of food for though, as usual. Thanks @thinink.bsky.social for yeat another thought-provoking post!

Today, the Icelandic Centre of Excellence for Theoretical Computer Science will host a workshop at Reykjavik University to celebrate Anna Ingolfsdottir's scientific career. See icetcs.github.io/workshop4anna/ for the programme. Feel free to drop by if you are in Reykjavik.

This week's issue is about a very timely cross-border investigation that illustrated the shortfalls of the current system in protecting a crucial asset of European agriculture: farm workers. Full disclosure: I played a small role mentoring the team behind this. news.thin-ink.net/p/how-europe...

The Planetary Health Diet, Revisited news.thin-ink.net/p/the-planet...

My ICE-TCS colleague Tarmo Uustalu and his team are organising FroCoS 2025, ITP 2025, TABLEAUX 2025, Rocq 2025 and Lean 2025 from tomorrow till October 2. See icetcs.github.io/frocos-itp-t... for the details. Thanks to Tarmo for bringing these events to ICE-TCS icetcs.github.io !

GandALF 2025 has just kicked off in Malta. See gandalfsymposium.github.io/2025/ for details. My colleague Antonis Achilleos from the Department of Computer Science at Reykjavik University will deliver a talk in the morning session based on the paper at doi.org/10.48550/arX... Go Antonis!

Path to a Livable Planet news.thin-ink.net/p/path-to-a-... Look no further if you want to read something about food systems this weekend. Thanks to @thinink.bsky.social for her sustained efforts in sharing thought-provoking information on food systems with us every week. It's a lot of work to do so!

The ERC has announced the latest batch of Starting Grant recipients. See erc.europa.eu/news-events/... Congrats to the awardees and good luck for their work!

The Sleep Revolution project sleeprevolution.eu/en/home/ (funded by the European Union’s Horizon 2020) formally ended on August 29. The project was led by Reykjavik University and several of my colleagues at the Department of Computer Science played a key role in it. Congratulations!

Icelandic Collegiate Programming Contest --- Please spread the news! On the 13th of September, at 10:00 - 15:00, the Icelandic Collegiate Programming Contest (abbreviated to FKHÍ in Icelandic) will take place. See forms.gle/vCV6Zm4PEGmL... for further information and the registration form.

The proceedings of CONCUR 2025 are now online. See conferences.au.dk/confest2025/... for the links to the full proceedings and to the individual papers. Thanks to Patricia Bouyer-Decitre, Jaco van de Pol, Andreas Pavlogiannis and everyone involved in the organisation of CONFEST 2025.

As part of the ICE-TCS 20th anniversary series, Fabian Kuhn (Freiburg University) dblp.org/pid/26/5426.... will give a seminar entitled "Distributed Coloring Algorithms Based on List Defective Colorings" at Reykjavik University on Wednesday 13 August at 10am in room V102. Join us if you're in Rvk!

Maxime Roland René Flin will defend his PhD thesis "Distributed Vertex Coloring in Bandwidth Constrained Models" on August 12 at Reykjavik University. See www.ru.is/vidburdir/de... for more information. Maxime will join Jukka Suomela's group as a postdoc in September.

On Wednesday, 6 August, my colleagues at the Frostbyte research centre www.frostbyte.is will organise a Digital Identity Management Workshop featuring a talk by Michael J. Fischer.See the following links for more details: www.frostbyte.is/news/2025-ws... www.ru.is/vidburdir/vi...

The Good, The Bad, and The Ugly news.thin-ink.net/p/the-good-t...

My GSSI colleague Catia Trubiani will be one of the invited speakers at ECSA 2025. See conf.researchr.org/track/ecsa-2... for information on the keynotes. Congrats to Catia and to the CS@GSSI group as a whole!

Over the past 10 yrs, U.S.'s reliance on imported foods has increased significantly: its purchase of fruits, seafood, vegetables, beverages & cereal preparations now outpace its exports to the tune of $58.7 billion, said an analysis from @rethinktrade.bsky.social. news.thin-ink.net/p/stars-stri...

Today, DisCoTec 2025, the 20th International Federated Conference on Distributed Computing Techniques, kicks off in Lille. My GSSI colleagues Omar Inverso and Emilio Tuosto will deliver an invited talk and a tutorial, respectively. See www.discotec.org/2025/programme for details.

The 15th Nordic Combinatorial Conference, NORCOM 2025, will be held in the period 16-18 June 2025 at Reykjavik University. See norcom2025.github.io for the conference programme, which includes the "Einar Fest " to celebrate Einar Steingrimsson, and more information.

Breaking news: GSSI PhD graduate Nicola Cotumaccio receives the Canadian CS Distinguished Dissertation Award 2024. See cscan-infocan.ca/current-year... Nicola was also awarded the Best PhD Thesis Award 2024 of the Italian Chapter of the EATCS. Congrats Nicola!

On Thursday, 12 June, at 13:00 GMT, Joshua Springer will defend his doctoral dissertation "Computational methods for autonomous multirotor drone landing" at the Department of Computer Science at Reykjavik University. For more details, see www.ru.is/vidburdir/de...

This morning, Calvin Santiago Lee successfully defended his PhD thesis proposal entitled "Univalent generalized multicategories" at the Department of Computer Science at Reykjavik University. Calvin's thesis work is supervsed by my colleagues Tarmo Uustalu. Congratulations to Calvin and Tarmo!

The list of accepted papers for CONCUR 2025, the 36th International Conference on Concurrency Theory, is available at conferences.au.dk/confest2025/...

Tomorrow, Steinunn Gróa Sigurðardóttir will defend her PhD thesis "Living with Technology: Digital Mental Health & Patient Flourishing" at the Department of Computer Science at Reykjavik University. See www.ru.is/vidburdir/de... for more details.

Our colleague María Óskarsdóttir at the Department of Computer Science at Reykjavik University will publish a book with and her collaborators Cristian Bravo and Sebastian Maldonado! www.amazon.co.uk/Deep-Learnin...

Tomorrow, 23 May, at 13:00 GMT, Stian Lybech will defend his PhD thesis at the Department of Computer Science Reykjavik University. Stian's thesis is entitled "A Type Theoretic Approach to Smart Contract Safety". See www.ru.is/vidburdir/de... for more information.

The deadline to submit papers to GandALF 2025, which will be held in Malta on 16-17 September 2025 is on May 30. See gandalfsymposium.github.io/2025/cfp/ for information on how to submit.

We are used to trade-offs in our daily lives. Every day, we take calculated risks & give up something in exchange for another. But what happens when we prioritise profit over principles, or political expediency over a sustainable future, in the global food system? news.thin-ink.net/p/faustian-b...

Our colleagues at TU Wien will host the first Summer School on AI and Cybersecurity in the period 22-26 September 2025. See aisec-summerschool.cysec.wien for more information on this exciting, week-long event. Spread the news!

This week, I spent most of my waking hours in a cavernous conference room in Geneva, concentrating on reading the lines between the diplomatic language and protocols, talking to as many people as possible, and wondering at the wilful blindness of some folks. news.thin-ink.net/p/the-silver...

Marco Carbone has a PhD position at the IT University Copenhagen in the PROBABILIST project, funded by the Independent Research Fund Denmark (DFF-FNU) starting in August or soon thereafter. See the link below for details: candidate.hr-manager.net/ApplicationI... Spread the news!

Tomorrow, 2 May, at 1 PM, Bjarki Freyr Sveinbjarnarson will defend his PhD thesis entitled "Scaling Data Governance Through Automation and Dynamic Data Spaces" at the Department of Computer Science at Reykjavik University. Good luck to Bjarki Freyr! www.ru.is/vidburdir/de...

Last Thursday, 29 April, ICE-TCS, the Icelandic Centre of Excellence in Theoretical Computer Science, turned twenty. We started the centre on 29 April 2005, inspired by the experience of BRICS. See icetcs.github.io for information on the centre. Thanks to my colleagues!

Tomorrow, Luka Biedebach will defend her PhD thesis "New Pathways for Unsupervised Machine Learning in Digital Health: Applications and Future Potentials for Sleep" at the Department of Computer Science at Reykjavik University. See www.ru.is/vidburdir/de... for more details.

Consider submitting to TABLEAUX 2025, co-chaired and co-organised by my colleague Tarmo Uustalu at Reykjavik University. Submission of title and abstract: 9 May 2025 Submission of paper: 14 May 2025 For more information, see icetcs.github.io/frocos-itp-t...

The CS group at the GSSI has posted a call for applications for a full professor position. See alboufficiale.gssi.it/act/details/... (in Italian). Spread the news!

Tomorrow, 22 April, at 1 PM, Lilja Guðrún Jóhannsdóttir will defend her PhD thesis "Ensuring Patient Safety through Digital Health Technologies" at the Department of Computer Science at Reykjavik University. See www.ru.is/vidburdir/de... for further details. Good luck to Lilja Guðrún!

Congrats to Maxime Flin and his supervisor Magnus M. Halldorsson for papers at two top-notch conferences: Faster Dynamic Delta+1-Coloring Against Adaptive Adversaries, ICALP'25, Decentralized Distributed Graph Coloring: Cluster Graphs, with former postdoc Alexandre Nolin, PODC'25.

The Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification , GandALF 2025, will take place in Valletta, Malta, 15-18 September 2025. The PC co-chairs are Giorgio Bacci and Aadrian Francalanza. See gandalfsymposium.github.io/2025/ for more information.

Given the unprecedented assaults on journalists and media freedom and the increasing authoritarianism in the world, there's a lot of talk about collaboration and innovation as key tools to combat not only attacks on the media but also disinformation and apathy. news.thin-ink.net/p/water-wate...

What's your opinion on double-blind reviewing as authors, PC members and PC chairs, especially in conferences in TCS, broadly construed? Do you prefer to submit to conferences that implement double-blind reviewing? If so, why? processalgebra.blogspot.com/2025/04/what...

ICTCS 2025, the 26th Italian Conference on Theoretical Computer Science, will be held in Pescara (my home town) in the period 10-12 September 2025. See ictcs2025.unich.it for the call for papers and further information on the event.

Today's The Guardian features an article by @thinink.bsky.social. If you wish to provide a donation to the people of Myanmar, use the agencies mentioned in the weekly post on @thinink.bsky.social I shared yesterday. www.theguardian.com/commentisfre...

Shattered Ground news.thin-ink.net/p/shattered-... Another interesting read giving us much to ponder over the weekend.

Today, the ICE-TCS seminar series at Reykjavik University hosted an excellent talk by Benjamin Moore (ISTA) on his paper "Smoothed analysis for graph isomorphism", coauthored with his ISTA colleagues Michael Anastos and Matthew Kwan. processalgebra.blogspot.com/2025/04/ice-...

The submission deadline for CONCUR 2025 is approaching. So, now is the time to finalise your papers and submit an abstract to CONCUR, which will be held in Aarhus in the period 26-29 August 2025. Full CFP: conferences.au.dk/confest2025/... Submission: easychair.org/conferences/...

Congratulations to Gurindar (Guri) Sohi and Moshe Y. Vardi for receiving the 2025 IEEE Computer Society Computer Pioneer Award for their contributions to "high-end microprocessors and automated reasoning in computer systems". See www.computer.org/press-room/c... for the press release.

Magnús Már Halldórsson describes theoretical computer science research and the role that creativity plays in it. Kudos Magnús! www.ru.is/en/news/theo...

The call for applications for PhD positions at the GSSI is out at amministrazionetrasparente.gssi.it/page/5/detai... Deadline: May 30th 2025, 3 pm Italian time. This CS group at the GSSI offers 12 PhD positions. Spread the news and encourage strong candidates to apply!