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

• 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.
• Tuesday, 14 May 2019: The paper Decomposing comonad morphisms by Danel Ahman and Tarmo Uustalu has been accepted for the 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 (London, June 2019).
• Tuesday, 14 May 2019: Jay Pantone (Marquette University, USA) will deliver an ICE-TCS seminar entitled Experimental Methods in Combinatorics from 12:10 till 13:00 in room V2.24. Further details on this talk are available here.

Forthcoming Events

• 14-18 September 2019: Kim G. Larsen (Aalborg University, Denmark) visits ICE-TCS. The hosts for his visit are Luca Aceto and Anna Ingolfsdottir.
• 12-16 August 2019: Bas Luttik (TU Eindhoven) visits ICE-TCS. The hosts for his visit are Luca Aceto and Anna Ingolfsdottir.
• 13-15 June 2019: Christian Bean will deliver an invited three-lecture mini-course at the Permutation Patterns 2019, Pre-Conference Workshop on Computational Mathematics.
• 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: Steven Chaplick (Universität Würzburg, Germany) will deliver an ICE-TCS seminar entitled Constrained Recognition Problems on Geometric Graph Classes. The seminar will be held in room M1.17 from 12:10 till 13:00.
• 21-25 May 2019: Steven Chaplick (Universität Würzburg, Germany) visits ICE-TCS. The host for his stay is Magnus M. Halldorsson.

Recent Events and News

• Friday, 3 May 2019: The ICE-TCS Theory 2019 will take place on this day from 13:00 till 15:00. It will feature invited talks by Ravi Boppana (Department of Mathematics, MIT) and Exequiel Rivas (Inria Paris - Rocquencourt, France). Further details on this event are available here.
• 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, 30 April 2019: Magnús M. Halldórsson will deliver an ICE-TCS seminar on the work of Avi Widgerson, who will receive the Knuth Prize 2019.
• 26 April-4 May 2019: Exequiel Rivas (Inria Paris - Rocquencourt, France) will visit ICE-TCS. The host for his stay is Tarmo Uustalu.
• Tuesday, 23 April 2019: Georgiana Caltais (University of Konstanz, Germany) will deliver an ICE-TCS seminar entitled Correctness of an ATL Model Transformation from SysML to Spin from 12:10 till 13:00 in room M1.11. More details on his talk are available here.
• 20-27 April 2019: Georgiana Caltais (University of Konstanz, Germany) visits ICE-TCS. The hosts for her stay are Luca Aceto and Anna Ingólfsdóttir.
• Monday, 15 April 2019: ICE-TCS researchers in the algorithms and in the programming-theory groups have published, or had accepted, 11 papers since the start of the year. See here and here for details.
• Wednesday, 10 April 2019: The paper Logical characterisations, rule formats and compositionality for input-output conformance simulation by Luca Aceto, Ignacio Fabregas, Carlos Gregorio-Rodriguez and Anna Ingólfsdóttir has been accepted for publication in the Journal of Logical and Algebraic Methods in Programming, Elsevier.
• Tuesday, 2 April 2019: Sergey Goncharov (FAU Erlangen-Nürnberg, Germany) will deliver an ICE-TCS seminar entitled Guarded traced categories for recursion and iteration from 12:10 till 13:00 in room M1.20. More details on his talk are available here.
• Sunday, 31 March 2019: The paper The Complexity of Identifying Characteristic Formulae by Luca Aceto, Antonis Achilleos, Adrian Francalanza and Anna Ingólfsdóttir is now available.
• 26 March-4 April 2019: Sergey Goncharov (FAU Erlangen-Nürnberg, Germany) visits ICE-TCS. The host for is stay is Tarmo Uustalu.
• 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.