Agda Implementors' Meeting XXXIX

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


LocationOOTO (Webpage) Room 4 (ground floor) (Google Map)
ZulipAIM XXXIX Zulip Channel
Sunday, 24 November
18:30Pre-workshop self-funded dinner TBA
Monday, 25 November
09:30Welcoming
09:45Talk TBA
10:30Coffee break
11:00Introduction Round and Introduction to Code Sprints
12:30Lunch
13:30Code Sprints
15:00Coffee break
15:30Code Sprints
17:00Wrap up meeting
Tuesday, 26 November
09:30Talk TBA
10:15Coffee break
10:30Discussions and Code Sprints
12:30Lunch
13:30Code Sprints
15:00Coffee break
15:30Code Sprints
17:00Wrap up meeting
Wednesday, 27 November
09:30Talk TBA
10:15Coffee break
10:30Discussions and Code Sprints
12:30Lunch
13:30Code Sprints
15:00Coffee break
15:30Code Sprints
17:00Wrap up meeting
Thursday, 28 November
09:30Talk TBA
10:15Coffee break
10:30Discussions and Code Sprints
12:30Lunch
13:30Code Sprints
15:00Coffee break
15:30Code Sprints
17:00Wrap up meeting
Friday, 29 November
09:30Talk TBA
10:15Coffee break
10:30Discussions and Code Sprints
12:30Lunch
13:30Code Sprints
15:00Coffee break
15:30Code Sprints
17:00Wrap up meeting
Saturday, 30 November
10:00Excursion/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

  • Bullet 1
  • Bullet 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
  • Item 1
    • Subitem 1
    • Subitem 2
  • Item 2
    • Subitem 1
      • Subsubitem 1
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.

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

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
  • Name:
  • Online or In person:
  • Add my name to the Meeting webpage (yes/no):
  • Affiliation:
  • If you wish to give a talk:
    • Title
    • Short Abstract (Optional)
  • If you wish to suggest a talk topic:
    • Topic
    • Short Description (Optional)
  • If you wish to suggest a code sprint:
    • Proposal
    • Short Description (Optional)
  • Other comments (e.g. dietary restrictions):

Accommodation


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:

Page last modified on October 24, 2024, at 12:51 pm
Powered by PmWiki