Idris Developers Meeting, April May 2014

There will be an Idris Developers Meeting at Chalmers in Gothenburg, Sweden from Tuesday 29th April - Friday 2nd May 2014. The meeting is open to anyone who is interested in contributing to Idris, implementing libraries or applications in Idris, or just interested in watching progress.

Location

The meeting will take place in the D&IT building at Rännvägen 6 on the Jonhanneberg campus. Watch this space for specific details about room bookings.

Content

Tuesday, 29 April

We will begin at 9:30 in the lunchroom in the D&IT building (all the way up on the top floor) for a half-hour coffee meetup and check-in. Someone will be down in the building lobby to collect new arrivals at 9:30 and at 10:00.

9:30-10:00	Hello and coffee break		D&IT lunchroom
10:00-12:00	Intro to dependent types and Idris for functional programmers	David Christiansen	8103
12:00-13:30	Lunch on our own
13:30-14:00	Idris in the browser	raichoo	8103
14:00-15:30	Intro to Idris for Agda users	Andrea Vezzosi and David Christiansen	8103

Specific rooms TBA. Assume unplanned time (15:30 onwards) for working together on projects and perhaps going out for some food.

Wednesday, 30 April

Evening: Walpurgis Night celebration in Gothenburg - go out and watch the festivities Swedish description

Thursday, 1 May

Friday, 2 May

Registration

Space will be fairly limited, so if you plan to attend, please send an email to David Christiansen stating:

Which days you will be attending
Whether you'd like to give a talk (please also add this to the list above)

Optionally, you can also add your name to the list below.

There is no fee for participation, but you will be responsible for your own food and lodging.

Attendees

David Christiansen
Andrea Vezzosi (Saizan)
Víctor López Juan
Baldur Blöndal
Jean-Louis Giordano
Tim Dysinger (hopeful)
Edwin Brady (not Tuesday)
Jan de Muijnck-Hughes (Not Tuesday, Friday Morning maybe...)
Cezar Ionescu
raichoo (Hopefully this time!)
Andreas Reuleaux
Daniel Öberg (Tuesday and Wednesday)
Ahmad Salim Al-Sibahi (Wednesday-Thursday)
Paul Koerbitz
Evgeny Kotelnikov
Carlo Hamalainen (Tuesday and perhaps Wednesday)
Patrik Jansson (Wednesday-Friday)
Nicola Botta
Andreas Abel
Thomas Didriksen (Wednesday, Thursday)
Sune Alkærsig (Wednesday, Thursday)
Niklas Larsson
Mort Yao
Francesco Mazzoli (Thursday evening, Friday)

Community Discussions

What is 1.0? (revisit from last meeting)
How can we get better documentation?
How can we de-bottleneck Edwin?
Release cadence for Idris and important related tooling and documentation.

Aims and Objectives

High level goals for the Hackathon.

New community led document that presents Idris in styles similar to that of both the Hutton and LYAH books.

Practicalities

If you don't have access to Eduroam, then we will need to create a guest account for you here at Chalmers so that you can access the wireless Internet. Please write to David if you need this.

Inexpensive places to stay that are close to Chalmers include: