News

Recent activities and happenings related to ICE-TCS and its members, roughly in reverse chronological order. Older news items are available from our archive.

This Week at ICE-TCS

• 23 May 2023: ICE-TCS organises a workshop on formal methods for secure systems. Speakers include Musard Balliu (KTH), Rosario Giustolisi (ITU Copenhagen), Roberto Guanciale (KTH), Sebastian Mödersheim (DTU) and Stephen D. Wolthusen (Royal Holloway and NTNU). More details are available here.
• 18-31 May 2023: Mohammad Reza Mousavi (King's College London, UK) will visit ICE-TCS. Mohammad will deliver two ICE-TCS seminars: one on May 26 entitled "Establishing Trust in Connected and Autonomous Systems through Conformance Testing", and one on May 30 entitled "Automata Learning for Evolving and Concurrent Systems". Further details avaliable on the seminars webpage.

Forthcoming Events

• 19-23 June 2023: Magnús M. Halldórsson chairs ACM PODC 2023.
• 12-13 June 2023: Michael Szell (IT University Copenhagen, DK) and Roberta Sinatra (University of Copenhagen, DK) visit CISDAS and ICE-TCS. More details on their visit will follow.

Recent Events and News

• 20 May 2023: The paper A framework to measure the robustness of programs in the unpredictable environment by Valentina Castiglioni, Michele Loreti and Simone Tini has been accepted for publication in the journal Logical Methods for Computer Science.
• 19 May 2023: Marta Kwiatkowska (University of Oxford, UK) will visit ICE-TCS and deliver a talk in the Valkyrja Distinguished Lecture Series entitled "Safety and robustness for deep learning with provable guarantees". Marta's talk will also be part of the celebrations for the 18th birthday of ICE-TCS and the 25th birthday of Computer Science at Reykjavik University.
• 15 May 2023: Patrik Eklund (University of Umeå, Sweden) will deliver an ICE-TCS seminar entitled AI with symbols and not just numbers - We need your comeback! at 11:00 in room V103 at Reykjavik University.
• 4 May 2023: Roman Kossak (CUNY, USA) will deliver an ICE-TCS seminar entitled Undefinability and Absolute Undefinability in Arithmetic at 14:00 in room M108 at Reykjavik University.
• 29 April 2023: ICE-TCS turns 18!
• 28 April 2023: Simone Tini (University of Insubria, Italy) delivers an ICE-TCS seminar entitled “Quantitative robustness analysis of sensor attack on cyber-physical systems”. The talk will held at 14:00 in room V103 at Reykjavik University.
• 25 April-5 May 2023: Simone Tini (University of Insubria, Italy) will visit the logic and concurrency group at ICE-TCS.
• 19 April 2023: Henning A. Ulfarsson has been promoted to associate professor at the Department of Computer Science at Reykjavik University.
• 18 April 2023: Duncan Paul Attard defended his PhD thesis at the University of Malta. Duncan delivered his thesis in October 2022 and has been a postdoc at the University of Glasgow since November 2022.
• 8 April 2023: The paper "STARK: A Software Tool for the Analysis of Robustness in the unKnown environment" by Valentina Castiglioni, Michele Loreti and Simone Tini has been accepted at COORDINATION 2023.
• 30 March 2023: Jana Wagemaker delivers an ICE-TCS seminar entitled "Kleene Algebra" at 13:00 in room V105 at Reykjavik University.
• 28 March 2023: Valentina Castiglioni delivers a talk at the Gran Sasso Science Institute, L'Aquila. See here for the details.
• 27 March 2023: Ülo Reimaa (University of Tartu, Estonia) delivers an ICE-TCS seminar entitled "Introduction to cocategories" at 15:00 in room V105 at Reykjavik University.
• 15 March-2 April 2023: Ülo Reimaa (University of Tartu, Estonia) visits ICE-TCS.
• 16 March 2023: Nicola Del Giudice (University of Camerino) will deliver an ICE-TCS seminar entitled "YODA: Yet anOther agent Description lAnguage" at 13:00, in room V105 at Reykjavik University and on-line.
• 9 March 2023: Denis Firsov (Guardtime and Tallinn University of Technology) will deliver an ICE-TCS seminar entitled "EasyCrypt for working cryptographers" at 16:00, in room V105 at Reykjavik University. This is the 400th seminar in the ICE-TCS series.
• 8 March-8 June 2023: Nicola Del Giudice (University of Camerino, Camerino, Italy) has joined the concurrency group at ICE-TCS as a visiting PhD student for three months.
• 6 March 2023: Jana Wagemaker has joined ICE-TCS as a postdoctoral researcher in the MoVeMnt project. We look forward to working with her!
• 1-10 March 2023: Denis Firsov (Guardtime and Tallinn University of Technology) will visit the programming theory group at ICE-TCS.
• 14 February 2023: ICE-TCS organises a public talk on Rebooting our food systems by Thin Lei Win. The talk will be held at noon in room M103 at Reykjavik University.
• 10 February 2023: Several PhD students at ICE-TCS received grants from competitive funding agencies.
  • Maxime Roland René Flin was awarded 6,592 K ISK (approximately 43 K Euros) in 2023 for the project "Distributed Graph Coloring in Constrained Models."
  • Jasmine Xuereb and Yasuaki Morita were awarded grants from the Reykjavik University Research Fund worth 6,420 K ISK (approximately 42 K Euros) each in 2023.
• 20 January 2023: The paper Bidirectional runtime enforcement of first-order branching-time properties by L. Aceto, I. Cassar, A. Francalanza and A. Ingolfsdottir has been accepted for publication in the journal Logical Methods in Computer Science.
• 19 January 2023: The ICE-TCS annual report for 2022 is now available.
• 12 January 2023: Sergey Goncharov (FAU Erlangen-Nürnberg, Germany delivers an ICE-TCS seminar entitled Towards a Higher-Order Mathematical Operational Semantics at 16:00 in room V105 at Reykjavik University and on-line.
• 8-15 January 2023: Sergey Goncharov (FAU Erlangen-Nürnberg, Germany) will visit ICE-TCS. The host for his stay is Tarmo Uustalu.