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
- Monday, 24 February 2020: Tarmo Uustalu delivers an ICE-TCS seminar
titled
Ultrasubstructural logics from
11:50 till 12:35 in room M1.08.
- February-May 2020: Ülo Reimaa (University of Tartu, Estonia) will
visit ICE-TCS as a postdctoral researcher to work with Tarmo
Uustalu.
- January-March 2020: Luca Aceto will chair the first CONCUR
Test-of-Time-Award Committee.
- January-February 2020: Antonis Achilleos is
DisCoTec 2020 workshop
co-chair.
Forthcoming Events
- 29 June–11 July 2020: Tarmo Uustalu will be one of the invited
lecturers at the
Oregon
Programming Languages Summer School.
- 29 June-3 July 2020: Henning Úlfarsson will deliver an invited
talk at
Permutation
Patterns 2020, Valparaiso University, USA.
- Monday, 11 May 2020: Ando Saabas
(Bolt Technology, Estonia) will
deliver an ICE-TCS seminar.
- 9-17 May 2020: Ando Saabas
(Bolt Technology, Estonia) will
visit ICE-TCS. The host for his stay is Tarmo Uustalu.
- Wednesday, 29 April 2020: The ICE-TCS Theory Day for 2020 will be
held on this day and will feature an invited talk by
Mohsen Ghaffari (ETH
Zurich), who will be visiting Magnus Halldorsson. Make a note in your
agendas!
- 20-24 April 2020: Tarmo Uustalu will be the main external
lecturer at the 2020 edition of the
Midlands Graduate School in
the Foundations of Computing Science, which will be held in
Sheffield, UK.
- 25-27 March 2020:
Paola Inverardi
(University of L'Aquila, Italy) visits ICE-TCS. The hosts for her
visit will be Luca Aceto and Anna Ingolfsdottir.
- Monday, 23 March 2020:
Exequiel Rivas
(Inria Paris - Rocquencourt, France) will deliver an ICE-TCS
seminar. Further details on the talk will be available in due course.
- 16-26 March 2020:
Exequiel Rivas
(Inria Paris - Rocquencourt, France) will visit ICE-TCS. The host for his
stay is Tarmo Uustalu.
- 10-17 March 2020: Niels
Voorneveld (Tallinn University of Technology, Estonia) will visit
ICE-TCS. The host for his stay will be Tarmo Uustalu.
Recent Events and News
- Monday, 17 February 2020: Niccoló Veltri delivers an ICE-TCS seminar
titled
Formalizing π-Calculus in Guarded Cubical Agda from
11:50 till 12:35 in room M1.08.
- 16-21 February 2020:
Niccolò Veltri (Department of
Software Science, Tallinn University of Technology) will visit
ICE-TCS. The host for his stay is Tarmo Uustalu.
- Friday, 7 February 2020: ICE-TCS researchers Duncan Paul
Attard, Anna Ingolfsdottir and Henning Úlfarsson have received
grants from the Reykjavik University Research Fund for 2020. The
total amount of the grants is 16,920,000 ISK (roughly 122,969
EUR). Congratulations!
- Wednesday, 5 February 2020: The paper
The
Complexity of Identifying Characteristic Formulae by Luca Aceto,
Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir. has been
accepted for publication in the Journal of Logical and Algebraic
Methods in Programming, Elsevier.
- Monday, 3 February 2020: The following two papers have been
accepted for journal publication:
- Monday, 27 January 2020: Shin-ya Katsumata delivers an ICE-TCS seminar
titled
Differentiable Causal Computations via Delayed Trace from
11:50 till 12:35 in room M1.08.
- 26 January-6 February 2020:
Shin-ya
Katsumata (National Institute for Informatics, Japan) will visit
ICE-TCS. The host for his stay is Tarmo Uustalu.
- Friday, 17 January 2020: The ICE-TCS
annual report for 2019 is now available.
- 15 January 2020: Christian Bean has received the only grant
awarded in the field of computer science by the Icelandic Research
Fund in 2020. Christian's project is titled "Fléttufræðileg könnun
og umraðanaflokkar" and will receive 9,775K ISK, which is roughly
71,500 EUR. Congratulations to Christian!