Helsinki Algorithms & Theory Days
29–30 Aug, 2024. Helsinki, Finland
Theory Days is an activity of HALT - Helsinki Algorithms and Theory that will bring together the theoretical computer science community in the Helsinki area.
The focus area of the event is theory and foundational research. Our main goal is to promote the sharing of ideas and potentially spark new collaborations. The event will include presentations by invited speakers from abroad as well as talks contributed by participating HALT research groups.
Registration will be made by HALT research group leaders via a private form. Details will be sent via email in due time.
If you would like to attend, please contact your nearest HALT group leader and make sure they register you for the event.
Attendance will be free of charge for all participants, including coffee breaks and a social event as well as a dinner on the first day of the workshop. (Kindly note that lunch will not be provided.)
We acknowledge the generous funding by the Helsinki Institute for Information Technology (HIIT). We are also deeply grateful to Prof. Jukka Suomela and Prof. Petteri Kaski (Aalto University) for their support.
The dinner on Thursday 29th will be served at Ravintola Kansis. The restaurant's address is Kansakoulukuja 1. It is located behind Annantalo, just off the Kamppi mall. Appetizers will be served from 18:00 on. The dinner buffet starts at 19:00.
The social event on Friday 30th will be an exclusive guided tour of the guns and tunnels of Suomenlinna.
We will be divided into two groups: one from 15:45 to 17:15 and another from 16:15 to 17:45. There is a maximum of 30 people per group, so please take the ferry at 15:30 at the latest so we have time to split everyone between the two groups evenly. (In case you are late, you can still take the ferry at 16:00 in time to join the second group.)
We assume most people will have a valid HSL ticket to use the ferry; if you do not, please purchase your ticket yourself and email us the receipt so we can have it refunded.
For further questions please email Massimo Equi or Augusto Modanese.
Massimo Equi: firstname.lastname@helsinki.fi
Augusto Modanese: firstname.lastname@aalto.fi
The workshop will take place in Fabianinkatu 24, Room 532, in the University of Helsinki downtown campus.
The room is located in the 5th floor of the building. Entrance via Fabianinkatu 24 A. (Note the entrance used to be via the inner courtyard but has been changed recently.)
Thursday, August 29th | ||
09:30-10:30 | Andreas Björklund. Finding long cycles in graphs | |
10:30-11:00 | Coffee break | |
11:00-11:30 | Tuukka Korhonen. Minor Containment and Disjoint Paths in almost-linear time | |
11:30-12:00 | Sándor Kisfaludi-Bak. The impact of curvature on geometric (intersection) graphs | PDF paper |
12:00-12:30 | Juha Harviainen. On Sampling and Counting Directed Acyclic Graphs | |
12:30-14:00 | Lunch break | |
14:00-14:30 | Corinna Coupette. Model-Agnostic Approximation of Constrained Forest Problems | |
14:30-15:00 | Andreas Grigorjew. Flow decompositions and directed graph minors | |
15:00-15:30 | Pekka Orponen. Applications of graph theory in RNA nanostructure design | |
15:30-16:00 | Coffee break | |
16:00-16:30 | Jukka Suomela. Limits of distributed computing | |
16:30-17:00 | Juho Hirvonen. Fast and Distributed Mechanisms | |
18:00- | Dinner | |
Friday, August 30th | ||
09:30-10:30 | Mika Göös. Constant-Cost Communication | |
10:30-11:00 | Coffee break | |
11:00-11:30 | Jeremias Berg. Certified Automated Reasoning | |
11:30-12:00 | Petteri Kaski. A multilinear Johnson–Lindenstrauss transform | |
12:00-13:30 | Lunch break | |
13:30-14:00 | Arshpreet Maan. What algorithms should be studied with 100 qubits and 1M logical gates? | |
14:00-14:30 | Russell W. F. Lai. On the Expanding Zoo of Lattice Assumptions | |
14:30-15:00 | Open problems session | |
15:00- | Social event |