 
                        
                How Europeโs Farm Subsidy Scheme Fails Workers
                As lawmakers concentrate on meat bans, the CAP continues to bankroll exploitation in the fields
            
        
    
    
            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...
               
            
            
                10.10.2025 16:45 โ ๐ 20    ๐ 12    ๐ฌ 2    ๐ 1                      
            
         
            
        
            
        
            
            
            
            
            
    
    
            
                        
                FroCoS/ITP/TABLEAUX '25
                
            
        
    
    
            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 !
               
            
            
                26.09.2025 08:16 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                             
                        
                GandALF 2025
                Sixteenth International Symposium on  Games, Automata, Logics, and Formal Verification  16-17 September 2025, Valletta, Malta
            
        
    
    
            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!
               
            
            
                16.09.2025 07:45 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                             
                        
                Path to a Livable Planet
                The World Bank makes a case for putting nature at the heart of economies
            
        
    
    
            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!
               
            
            
                05.09.2025 16:09 โ ๐ 1    ๐ 1    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
        
            
            
            
            
            
    
    
            
                             
                        
                
                General Assembly 2025 On Wednesday June 4th and Thursday June 5th the General Assembly for the Sleep Revolution will be held in Berlin, Germany. We have an exciting program for
            
        
    
    
            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!
               
            
            
                31.08.2025 17:00 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                             
                        
                Forritunarkeppni Hรกskรณlanna รก รslandi (FKHร) 2025
                The contest will take place on the 13th of September (2025-09-13) from 10:00 to 15:00 GMT (UTC+00).
Note that the contest will start exactly at 10:00:00, so it is advisable to be at least 15 minutes e...
            
        
    
    
            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.
               
            
            
                28.08.2025 14:17 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                        
                Proceedings and Papers
                
            
        
    
    
            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.
               
            
            
                18.08.2025 11:33 โ ๐ 1    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                        
                dblp: Fabian Kuhn
                List of computer science publications by Fabian Kuhn
            
        
    
    
            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!
               
            
            
                11.08.2025 15:19 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                             
                        
                Dept. of Computer Science PhD thesis defence - Maxime Roland Renรฉ Flin | Hรกskรณlinn รญ Reykjavรญk
                Join us for a PhD thesis defence of Maxime Roland Renรฉ Flin on his thesis: Distributed Vertex Coloring in Bandwidth Constrained Models.
            
        
    
    
            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.
               
            
            
                07.08.2025 12:19 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                        
                Frostbyte
                Welcome to the Frostbyte lab
Explore the world of cybersecurity with our state-of-the-art research and innovative solutions.
Frostbyte - T...
            
        
    
    
            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...
               
            
            
                04.08.2025 09:23 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
        
            
        
            
            
            
            
            
    
    
            
                             
                        
                Stars, Stripes, & Supply Chains
                America imports more of its food than we think
            
        
    
    
            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...
               
            
            
                18.07.2025 17:13 โ ๐ 7    ๐ 3    ๐ฌ 1    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                        
                Programme
                The website of DisCoTec - the International Federated Conference on Distributed Computing Techniques
            
        
    
    
            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.
               
            
            
                16.06.2025 09:12 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                        
                NORCOM 2025  16-18 June 2025, Reykjavik, Iceland
                
            
        
    
    
            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.
               
            
            
                14.06.2025 12:21 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                        
                Current Year Winners โ CS-CAN | INFOCANAccessibility ToolsIncrease TextDecrease TextGrayscaleHigh ContrastNegative ContrastLight BackgroundLinks UnderlineReadable FontReset
                
            
        
    
    
            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!
               
            
            
                11.06.2025 07:45 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                        
                Dept. of Computer Science PhD thesis defence - Joshua Springer | Hรกskรณlinn รญ Reykjavรญk
                Join us for a PhD thesis defence of Joshua Springer on his thesis: Computational methods for autonomous multirotor drone landing
            
        
    
    
            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...
               
            
            
                07.06.2025 10:28 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
    
    
            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!
               
            
            
                05.06.2025 13:30 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                        
                CONCUR 2025
                
            
        
    
    
            The list of accepted papers for CONCUR 2025, the 36th International Conference on Concurrency Theory, is available at conferences.au.dk/confest2025/...
               
            
            
                02.06.2025 16:24 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
        
            
            
            
            
            
    
    
            
                        
                Deep Learning in Banking: Leveraging Artificial Intelligence for Next-Generation Financial Services: Amazon.co.uk: Bravo, Cristian, Maldonado, Sebastian, Oskarsdottir, Maria: 9781394295371: Books
                Buy Deep Learning in Banking: Leveraging Artificial Intelligence for Next-Generation Financial Services by Bravo, Cristian, Maldonado, Sebastian, Oskarsdottir, Maria (ISBN: 9781394295371) from Amazon'...
            
        
    
    
            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...
               
            
            
                26.05.2025 18:19 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                        
                Dept. of Computer Science PhD thesis defence - Stian Lybech | Hรกskรณlinn รญ Reykjavรญk
                Join us for a PhD thesis defence of Stian Lybech on his thesis A Type Theoretic Approach to Smart Contract Safety.
            
        
    
    
            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.
               
            
            
                22.05.2025 17:25 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                        
                Call for Papers
                Sixteenth International Symposium  on Games, Automata, Logics, and Formal Verification.
            
        
    
    
            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.
               
            
            
                20.05.2025 09:36 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                             
                        
                Faustian Bargains?
                When we prioritise profit over principles in the global food system
            
        
    
    
            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...
               
            
            
                16.05.2025 17:14 โ ๐ 3    ๐ 2    ๐ฌ 1    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                             
                        
                
                Summer School on Artificial Intelligence and Cybersecurity
            
        
    
    
            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!
               
            
            
                18.05.2025 08:30 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                             
                        
                The Silver Of The Sea
                About an Icelandic museum dedicated to herring
            
        
    
    
            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...
               
            
            
                09.05.2025 21:34 โ ๐ 3    ๐ 1    ๐ฌ 2    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                             
                        
                PhD Position in Probabilistic Session Types at the IT University of Copenhagen
                The IT University of Copenhagen invites applications for a PhD position in the PROBABILIST project (PROBABILIstic Session Types), funded by the Indepe
            
        
    
    
            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!
               
            
            
                05.05.2025 13:41 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0                      
            
         
            
        
            
            
            
            
            
    
    
            
                             
                        
                Dept. of Computer Science PhD thesis defence - Bjarki Freyr Sveinbjarnarson | Hรกskรณlinn รญ Reykjavรญk
                Join us for a PhD thesis defence of Bjarki Freyr Sveinbjarnarson on his thesis: Scaling Data Governance Through Automation and Dynamic Data Spaces.
            
        
    
    
            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...
               
            
            
                01.05.2025 16:33 โ ๐ 0    ๐ 0    ๐ฌ 0    ๐ 0