Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Helsinki Algorithms & Theory Days
29–30 Aug, 2024. Helsinki, Finland

About the event

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.

Invited speakers

  • Andreas Björklund, IT University of Copenhagen
  • Mika Göös, EPFL
  • Tuukka Korhonen, Univerisity of Bergen / University of Copenhagen

Attending the workshop

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.

Practical information

Dinner

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.

Social event

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.

Organizers

  • Melissa Antonelli, University of Helsinki
  • Massimo Equi, University of Helsinki
  • Tuomas Hakoniemi, University of Helsinki (co-chair)
  • Michael Klooss, Aalto University
  • Augusto Modanese, Aalto University (co-chair)
  • Geert van Wordragen, Aalto University

Contact

For further questions please email Massimo Equi or Augusto Modanese.

Massimo Equi: firstname.lastname@helsinki.fi

Augusto Modanese: firstname.lastname@aalto.fi

Venue

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


View Larger Map

Workshop schedule

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 PDF
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 PDF
12:30-14:00 Lunch break
14:00-14:30 Corinna Coupette. Model-Agnostic Approximation of Constrained Forest Problems PDF
14:30-15:00 Andreas Grigorjew. Flow decompositions and directed graph minors PDF
15:00-15:30 Pekka Orponen. Applications of graph theory in RNA nanostructure design PDF
15:30-16:00 Coffee break
16:00-16:30 Jukka Suomela. Limits of distributed computing PDF
16:30-17:00 Juho Hirvonen. Fast and Distributed Mechanisms PDF
18:00- Dinner
Friday, August 30th
09:30-10:30 Mika Göös. Constant-Cost Communication PDF
10:30-11:00 Coffee break
11:00-11:30 Jeremias Berg. Certified Automated Reasoning PDF
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? PDF
14:00-14:30 Russell W. F. Lai. On the Expanding Zoo of Lattice Assumptions PDF
14:30-15:00 Open problems session
15:00- Social event