News 2019

• Saturday, 21 December 2019: The paper Determinizing Monitors for HML with Recursion by Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir and Sævar Örn Kjartansson has been accepted for publication in the Journal of Logical and Algebraic Methods in Programming, Elsevier.
• Thursday, 5 December 2019: Antonis Achilleos gives an invited talk for the Logic and Theory Group's seminar at the University of Bern.
• Monday, 2 December 2019: Mohammad Hamdaqa (Reykjavik University) delivers a joint CRESS/ICE-TCS seminar on the analysis of smart contracts.
• 1-8 December 2019: Renato Neves (Universidade do Minho, Braga, Portugal) will visit ICE-TCS. The host for his stay is Tarmo Uustalu.
• Friday, 29 November 2019: Maciej Piróg (University of Wroclaw, Poland) will deliver an ICE-TCS seminar from 12:40 till 13:30. Further details will be available in due course.
• 28 November-2 December 2019: Maciej Piróg (University of Wroclaw, Poland) will visit ICE-TCS. The host for his stay is Tarmo Uustalu.
• Thursday, 21 November 2019: Emile Nadeau delivers an ICE-TCS seminar titled Future Directions for the Tilescope Algorithm from 11:50 till 12:35 in room M1.03.
• Monday, 18 November 2019: Michal Opler (Charles University, Prague) delivers an ICE-TCS seminar titled Solving hard problems effectively on permutations of small grid-width from 11:50 till 12:35 in room M1.06.
• 18-22 November 2019: Michal Opler and Jakub Pekárek (Charles University, Prague) visit ICE-TCS. The hosts for their stay are Christian Bean and Henning Ulfarsson.
• 16-24 November 2019: Adrian Francalanza and Duncan Paul Attard (University of Malta) visit ICE-TCS. The hosts for their stay are Luca Aceto, Antonis Achilleos and Anna Ingólfsdóttir.
• 15-23 November 2019: Karoliina Lehtinen (University of Liverpool, UK) visits ICE-TCS. The hosts for her stay are Luca Aceto, Antonis Achilleos and Anna Ingólfsdóttir.
• Monday, 11 November 2019: Yngvi Björnsson (Reykjavik University) delivers an ICE-TCS seminar on explainable AI, titled Trustworthy AI? from 11:50 till 12:35 in room M1.06. More information here.
• Monday, 4 November 2019: Dylan McDermott (Reykjavik University) delivers an ICE-TCS seminar titled On the relation between call-by-value and call-by-name from 11:50 till 12:35 in room M1.06. More information here.
• Thursday, 31 October 2019: Luca Aceto has been re-elected as chair of the editorial board of LIPIcs, Leibniz International Proceedings in Informatics for a second two-year term.
• Friday, 25 October 2019: Henning Arnór Úlfarsson delivers a Mathematics Seminar entitled Pattern avoidance in various domains at the University of Iceland.
• Wednesday, 23 October 2019: Dylan McDermott joins ICE-TCS as a postdoctoral researcher. Dylan will work with Tarmo Uustalu on the IRF-funded project "Quantified computational effects and interaction."
• Wednesday, 2 October 2019: Georgiana Caltais (University of Konstanz, Germany) delivers an ICE-TCS seminar entitled Explaining SDN Failures via Axiomatisations from 15:00 till 15:45 in room M1.23. (Note the non-standard date, time and location for the talk!) More information here.
• 1-7 October 2019: Georgiana Caltais (University of Konstanz, Germany) visits ICE-TCS. The hosts for her stay are Luca Aceto and Anna Ingólfsdóttir.
• Monday, 30 September 2019: Valentina Castiglioni (Reykjavik University) delivers an ICE-TCS seminar entitled Probabilistic Semantics: Discovering the Interplay of Nondeterminism and Probability from 11:50 till 12:35 in room M1.06. More information here.
• Thursday, 26 September 2019: The following two journal papers have been accepted for publication in the journal Theoretical Computer Science:
  • "The Metric Linear Time - Branching Time Spectrum on Nondeterministic Probabilistic Processes" by Valentina Castiglioni, Michele Loreti and Simone Tini;
  • "Probabilistic Divide & Congruence: Branching Bismilarity" by Valentina Castiglioni and Simone Tini.
• Wednesday, 25 September 2019: Henning Úlfarsson deivers a colloquium talk entitled Combinatorial Exploration: guided by humans, proven by computer at Brown University, USA.
• Monday, 16 September 2019: Kim G. Larsen (Aalborg University, Denmark) will deliver a joint ICE-TCS/RUAP seminar entitled Synthesis, Verification and Optimization for Cyber-Physical Systems from 14:00 till 15:00 in room M1.03. Refreshments will be served at 13:30.
• 12-17 September 2019: Kim G. Larsen (Aalborg University, Denmark) visits ICE-TCS. The hosts for his visit are Luca Aceto and Anna Ingolfsdottir.
• 10 September 2019: Luca Aceto delivers an invited talk at the Colloquium Jacques Morgenstern, INRIA Sophia Antipolis.
• 10-15 September 2019: Luca Aceto co-organizes Nominal Techniques, 3rd School on Foundations of Programming and Software Systems, Warsaw, Poland. The other organizers are Bartek Klin, Andrew Pitts and Joanna Ochremiak. The school is supported by the EATCS, ETAPS, ACM SIGLOG and ACM SIGPLAN.
• Monday, 2 September 2019: Mathias Ruggaard Pedersen (Reykjavik University) will deliver an ICE-TCS seminar entitled Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects from 11:50 till 12:35 in room M1.06.
• Tuesday, 27 August 2019: Michael Engen (Department of Mathematics, University of Florida) will deliver an ICE-TCS seminar entitled Universal Permutations from 11:50 till 12:35 in room M1.09. Note the non-standard date and location!
• 26-30 August 2019: Michael Engen (Department of Mathematics, University of Florida) visits ICE-TCS. The host for his stay is Christian Bean.
• Tuesday, 20 August 2019: The paper Rule Formats for Nominal Process Calculi by Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir and Yolanda Ortega-Mallén has been accepted for publication in the journal Logical Methods in Computer Science.
• Monday, 19 August 2019: Guy Even (Tel Aviv University, Israel) will deliver an ICE-TCS seminar entitled On Dynamic and Incremental Space Efficient Filters and Dictionaries from 11:50 till 12:35 in room M1.06.
• 18-25 August 2019: Guy Even (Tel Aviv University, Israel) will visit ICE-TCS. The host for his stay is Magnus M. Halldorsson.
• 12-15 August 2019: Alexandra Silva (University College London), Jurriaan Rot (Radboud University Nijmegen and University College London), Tobias Kappé (University College London) visit ICE-TCS. The hosts for their 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.
• Wednesday, 7 August 2019: The following papers by the algorithms group at ICE-TCS have been accepted for publication:
  • Magnús M. Halldórsson, Tigran Tonoyan: Plain SINR is Enough! PODC 2019: 127-136
  • Michael Dinitz, Magnús M. Halldórsson, Taisuke Izumi, Calvin Newport: Distributed Minimum Degree Spanning Trees. PODC 2019: 511-520
  • Magnús M. Halldórsson, Murilo Santos de Lima. Query-Competitive Sorting with Uncertainty. MFCS, August 2019.
  • Michael Dinitz, Magnús M. Halldórsson, Calvin Newport, Alex Weaver. The Capacity of Smartphone Peer-to-Peer Networks. DISC, October 2019.
• Wednesday, 3 July 2019: The paper The sequent calculus of skew monoidal categories by T. Uustalu, N. Veltri and N. Zeilberger has been accepted for publication in the Joachim Lambek memorial volume edited by C. Casadio and P. J. Scott, Outstanding Contributions to Logic Series, Springer, to appear.
• Tuesday, 2 July 2019: The following papers by the concurrency group at ICE-TCS have been accepted for publication:
  • Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir and Karoliina Lehtinen. An Operational Guide to Monitorability. Proceedings of the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), LNCS, September 2019.
  • Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir and Mathias Ruggaard Pedersen. On the axiomatizability of priority III: The return of sequential composition. Proceedings of ICTCS 2019, the 20th Italian Conference on Theoretical Computer Science, September 2019.
  • Luca Aceto, Ian Cassar, Adrian Francalanza and Anna Ingólfsdóttir. Comparing Controlled System Synthesis and Suppression Enforcement. Proceedings of RV 2019, 19th International Conference on Runtime Verification, Lecture Notes in Computer Science, Springer, October 2019.
• 14 June 2019: The paper "Derivatives of trace closures of regular languages" by H. Maarand and T. Uustalu has been accepted for publication in the Proceedings of the 30th Int. Conf. on Concurrency Theory, CONCUR 2019 (Amsterdam, Aug. 2019).
• 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.
• 26-29 May 2019: Magnús M. Halldórsson is local organizing chair for the 2019 IEEE Communication Theory Workshop (IEEE CTW 2019), Selfoss, Iceland.
• 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.
• 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.
• 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.