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

• 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.

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.
• 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.
• Tuesday, 29 January 2019: Dirk Draheim (Tallinn University of Technology, Estonia) will deliver an ICE-TCS seminar from 12:10 till 13:00 in room M1.20.
• 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.
• 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.

Recent Events and News

• 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.