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

• 26 March-4 April 2019: Sergey Goncharov (FAU Erlangen-Nürnberg, Germany) visits ICE-TCS. The host for is stay is Tarmo Uustalu.

Forthcoming Events

• 29-31 May 2019: Magnús M. Halldórsson will give a keynote address, titled "How well do we know the physical model?", at DCOSS 2019.
• Tuesday, 21 May 2019: Georgiana Caltais (University of Konstanz, Germany) will deliver an ICE-TCS.
• 20-24 May 2019: Georgiana Caltais (University of Konstanz, Germany) visits ICE-TCS. The hosts for her stay are Luca Aceto and Anna Ingólfsdóttir.
• Wednesday, 15 May 2019: Valentina Castiglioni joins ICE-TCS as a postdoc working on the project "Open problems in the Equational Logic of Processes" under the supervision of Luca Aceto and Anna Ingolfsdottir. Valentina comes from INRIA Saclay - Ile de France.
• Friday, 3 May 2019: The ICE-TCS Theory 2019 will take place on this day from 13:00 till 15:00. It will feature an invited talk from Ravi Boppana (Department of Mathematics, MIT). Further details on this event will be available in due course.
• 1-17 May 2019: Ravi Boppana (Department of Mathematics, MIT) will visit ICE-TCS and will deliver an ICE-TCS seminar during his stay, which is hosted by Magnús M. Halldórsson. Ravi Boppana received a Ph.D. in Math from MIT at the age of 22. He is best known for his works with Noga Alon showing that monotone circuits for NP-complete problems require exponential size, and linking the expansion property of graphs to the second eigenvalue of its adjacency matrix. He received teaching awards both at Rutgers University and New York University and is celebrated for his exposition. He founded and directs the national Math Prize for Girls contest.
• Wednesday, 1 May 2019: Mathias Ruggaard Pedersen joins ICE-TCS as a postdoc working on the project "Open problems in the Equational Logic of Processes" under the supervision of Luca Aceto and Anna Ingolfsdottir. Mathias comes from Aalborg University.
• Tuesday, 2 April 2019: Sergey Goncharov (FAU Erlangen-Nürnberg, Germany) will deliver an ICE-TCS seminar from 12:10 till 13:00 in room M1.20. More details on his talk will be available in due course.

Recent Events and News

• Wednesday, 6 March 2019: The three-year project IT MATTERS: Methods and Tools for Trustworthy Smart Systems has been selected for funding by the Italian Ministry for University and Research under the grant programme PRIN. The project sees the involvement of Luca Aceto, who leads the team from the Gran Sasso Science Institute. The funding for Luca Aceto's team is of 156,000 EUR.
• Tuesday, 5 March 2019: Elli Anastasiadi will deliver an ICE-TCS seminar entitled Parameter trade-offs for the Model Checking Problem from 12:10 till 13:00 in room M1.20. More details on her talk are available here.
• 3-8 March 2019: Tarmo Uustalu will organize the 24th Estonian Winter School in Computer Science in Palmse, Estonia.
• Friday, 1 March 2019: Luca Aceto will become the chair of the Department of Computer Science at Reykjavik University.
• Tuesday, 26 February 2019: Jacky Mallett joins ICE-TCS. Jacky will contribute to the ICE-TCS research environment with her work on the dynamics and operation of large scale networked systems, time series analysis with deep learning for real time medical sleep monitoring, and investigating and simulating financial and economic systems.
• Monday, 25 February 2019: Elli Anastasiadi joins ICE-TCS as a PhD student working on the project "Open problems in the Equational Logic of Processes" under the supervision of Luca Aceto and Anna Ingolfsdottir. Elli comes from the National Technical University in Athens.
• Wednesday, 13 February 2019: The paper The Cost of Monitoring Alone by Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir and Karoliina Lehtinen is now available.
• Tuesday, 19 February 2019: Hendrik Maarand (Tallinn University of Technology, Estonia) will deliver an ICE-TCS seminar entitled Antimirov automata for trace closures of regular languages from 12:10 till 13:00 in room M1.20. More details on his talk will be available in due course.
• Tuesday, 12 February 2019: The RU Research Fund has awarded Duncan Paul Attard a Ph.D. Student Grant for a period of one year for the research project Ensuring Correctness in Distributed Systems. The grant amounts to 5,340,000 ISK (roughly, 39,349 euro).
• 11-23 February 2019: Hendrik Maarand (Tallinn University of Technology, Estonia) will be visiting ICE-TCS. The host for his stay is Tarmo Uustalu.
• 28 January-29 May 2019: Duncan Paul Attard (University of Malta) will be visiting ICE-TCS. The hosts for his stay are Luca Aceto, Antonis Achilleos and Anna Ingolfsdottir.
• Tuesday, 5 February 2019: The ICE-TCS annual report for 2018 is now available. Comments, criticisms and suggestions are most welcome.
• Tuesday, 29 January 2019: Dirk Draheim (Tallinn University of Technology, Estonia) will deliver an ICE-TCS seminar entitled A Frequentist Semantics of Partial Conditionalization from 13:00 till 13:50 in room M1.03.
• 26 January-1 February 2019: Dirk Draheim (Tallinn University of Technology, Estonia) will visit ICE-TCS. The host for his stay is Tarmo Uustalu.
• Tuesday, 22 January 2019: Luca Aceto will deliver an ICE-TCS seminar entitled Testing equivalence vs. runtime monitoring from 12:10 till 13:00 in room M1.20. See here for further details on this talk.
• Tuesday, 15 January 2019: Omer Egecioglu (University of California at Santa Barbara, visiting RU) will deliver an ICE-TCS seminar entitled Combinatorics of an Euler-like product with Fibonacci exponents from 12:10 till 13:00 in room M1.20. See here for further details on this talk.
• Thursday, 10 January 2019: Two ICE-TCS researchers have received the only project grants awarded in computer science by the Icelandic Research Fund for 2019. (See here in Icelandic.) The grants, which are for the period 2019-2021, are:
  • Open problems in the Equational Logic of Processes (Luca Aceto, PI; Anna Ingolfsdottir, Bas Luttik and Alexandra Silva co-proposers; 54,525 K ISK, roughly 395,962 EUR) and
  • Quantified computational effects and interaction (Tarmo Uustalu PI, Shin-ya Katsumata (NII) and Maciej Piróg (Wrocław U.) co-proposers; 48,900 K ISK, roughly 355,011 EUR).
  Congratulations to ICE-TCS!
• Tuesday, 8 January 2019: Robin Cockett (University of Calgary) will deliver an ICE-TCS seminar entitled The category CNOT from 12:10 till 13:00 in room M1.20. See here for more information on this talk.
• 6-13 January 2019: Robin Cockett (University of Calgary) will be visiting ICE-TCS and will deliver an ICE-TCS seminar entitled The category CNOT. The host for his stay is Tarmo Uustalu.
• Tuesday, 11 December 2018: Tarmo Uustalu (Reykjavik University) will deliver an ICE-TCS seminar entitled Derivatives of Existentially Regular Trace Languages. The talk will be held in room M1.10 from 12:10 till 13:00.
• 10-17 December 2018: Varmo Vene (University of Tartu, Estonia) will visit ICE-TCS. The hhost for his stay is Tarmo Uustalu.