The 39th Agda Implementors' Meeting will take place in Gothenburg, Sweden from Monday 25 to Saturday 30 November 2024. It will be hosted by the Computing Science Divison, Logic and Types Unit, Department of Computer Science and Engineering, University of Gothenburg.
This is the 20th anniversary of Agda meetings, the first took place in Fall 2004 in Gothenburg.
Registration deadline | : 31 October 2024 (soft deadline) | |
AIM XXXIX | : Mon 25 – Sat 30 November 2024 |
Table of contents |
---|
Overview
Monday - Friday we will have talks in the morning, followed by code sprints. We start at 09:30. On Saturday there will be a social event TBA.
Full Program
Location | OOTO (Webpage) Room 4 (ground floor) (Google Map) | |
Zulip | AIM XXXIX Zulip Channel | |
Sunday, 24 November | ||
---|---|---|
18:30 | Pre-workshop self-funded dinner TBA | |
Monday, 25 November | ||
09:30 | Welcoming | |
09:45 | Talk TBA | |
10:30 | Coffee break | |
11:00 | Introduction Round and Introduction to Code Sprints | |
12:30 | Lunch | |
13:30 | Code Sprints | |
15:00 | Coffee break | |
15:30 | Code Sprints | |
17:00 | Wrap up meeting | |
Tuesday, 26 November | ||
09:30 | Talk TBA | |
10:15 | Coffee break | |
10:30 | Discussions and Code Sprints | |
12:30 | Lunch | |
13:30 | Code Sprints | |
15:00 | Coffee break | |
15:30 | Code Sprints | |
17:00 | Wrap up meeting | |
Wednesday, 27 November | ||
09:30 | Talk TBA | |
10:15 | Coffee break | |
10:30 | Discussions and Code Sprints | |
12:30 | Lunch | |
13:30 | Code Sprints | |
15:00 | Coffee break | |
15:30 | Code Sprints | |
17:00 | Wrap up meeting | |
Thursday, 28 November | ||
09:30 | Talk TBA | |
10:15 | Coffee break | |
10:30 | Discussions and Code Sprints | |
12:30 | Lunch | |
13:30 | Code Sprints | |
15:00 | Coffee break | |
15:30 | Code Sprints | |
17:00 | Wrap up meeting | |
Friday, 29 November | ||
09:30 | Talk TBA | |
10:15 | Coffee break | |
10:30 | Discussions and Code Sprints | |
12:30 | Lunch | |
13:30 | Code Sprints | |
15:00 | Coffee break | |
15:30 | Code Sprints | |
17:00 | Wrap up meeting | |
Saturday, 30 November | ||
10:00 | Excursion/social event TBA |
Talk Proposals
Please add your proposals here by editing this webpage (using the edit button). You can refer to examples from previous Agda Implementors meetings.
Talk Proposal Template |
Presenter 2 |
Paragraph 1 Paragraph 2
|
Being strictly positive with containers |
Thorsten Altenkirch |
I want to discuss what impact recent progress on containers could have on agda. |
Title |
---|
Presenter |
Abstract |
Link (optional) |
Discussion Proposals
Please add your proposals here by editing this webpage (using the edit button). You can refer to examples from previous Agda Implementors meetings.
Reducing Agda to a small core |
Thorsten Altenkirch |
I want a smaller core than anybody else! |
Proposal Template |
---|
Proposer 1 |
Abstract |
Code Sprint Proposals
Please add your proposals here by editing this webpage (using the edit button). You can refer to examples from previous Agda Implementors meetings.
Codesprint Template with webpage Example |
Proposer |
|
Injectivity in cubical |
Thorsten Altenkirch |
Can we automatically create injectivity and non-confusion? |
Title |
Author |
Description |
Organisation
Location
The meeting will take place at (Chalmers Johanneberg Campus), OOTO Room 4 (ground floor).
Restaurants
- TBA
Places to Visit
- City museum: 70 SEK, free with Museum Card (140 SEK)
- Konstmuseum art museum: 70 SEK, free with Museum Card (140 SEK)
- Universeum: science museum, 225 SEK (prebooking)
- TBA
Transportation, local Information, etc.
- General
- Cashless payment is the norm, often cash is not accepted.
- Public transport
- Buses, Trams, and local ferries: Västtrafik
- Tickets through the app or from Västtrafik service stations, or by tapping payment card on card reader onboard
- Bike rental, e.g. Styr och ställ
- Scooters are very popular: Voi, Tier, Lime
- Buses, Trams, and local ferries: Västtrafik
International Travel
- Sweden is a Schengen country in the EU. If you are outside of this zone, you may need to apply for a visa, please check.
- Even if you do not need a visa, you need to bring:
- a passport that is valid at least three months after leaving Schengen
- a return ticket that must be valid within 90 days
- a booking confirmation if you are staying at a hotel
- General
- Flying
- Landvetter Airport is well-connected to the major airports of Europe.
- From the airport take the frequent airport bus to Gothenburg (one way ~130 SEK). Tickets through the app or webpage, from sales machines at the bus stop or from the driver (no cash!).
- There are of course also taxis, but for roughly 4-times the money (e.g. fixed price ~550 SEK).
- Alternatives
- Ferry (e.g. from Kiel)
- Train, e.g. SJ, https://www.bahn.de/\DB, ...
- Coaches, e.g. Flixbus, bus4you, ...
Registration
To register, you can fill out the following form and send it to ulfn <at> chalmers <dot> se.
Please advice us if you don't want your name to be added to this webpage.
You can also (if you are okay with your name being public) directly fill your name in the section participants on this webpage using the edit option for it. In this case, you can also directly add a talk / discussion / code sprint proposal by copy and pasting the box examples.
If you can not attend in person, it will be possible to attend online. You can register via email or directly by adding your name to the list.
to: ulfn <at> chalmers <dot> se |
Subject: Registration for Agda Implementors' Meeting XXXVIII |
|
Accommodation
- E.g. Hotel Panorama in walking distance, our usual recommendation.
Excursion
TBA
Organising committee
- Andreas Abel, University of Gothenburg
- Nils Anders Danielsson, University of Gothenburg
- Ulf Norell, University of Gothenburg
Participants
Attending in person
- Andreas Abel, University of Gothenburg
- Nils Anders Danielsson, University of Gothenburg
- Ulf Norell, University of Gothenburg
- Andreas Källberg, Chalmers University
- Ondřej Kubánek, Chalmers University
- Naïm Favier, Chalmers University
- Marcin Jan Turek-Grzybowski
- Patrik Jansson, Chalmers [arriving Tuesday]
- Oskar Eriksson, University of Gothenburg
- Thorsten Altenkirch, University of Nottingham (arriving Wednesday morning)
Attending online
Wrap-up Notes
TBA
- Monday:
- Tuesday:
- Wednesday:
- Thursday:
- Friday: