- Date: 20 September 2019
- Place: Aspenäs Herrgård
Time | Program |
---|---|
08.15 | Meet at Chalmers Kopparbunken |
08.30 | Minibus departs |
09.00 | Coffee |
09.30 | Peter: Universes in type theory (and in Agda) |
10.00 | Bahareh: An infinitary treatment of full mu-calculus |
10.30 | Break |
11.00 | Q&A session with Linn and Oscar: Education, admininstration, and economy |
11.20 | Ana, Peter: Discussion on work environment |
12.10 | Andreas: BSc thesis topics brainstorming |
12.40 | Lunch |
14.00 | Nisse: On the erasure modality @0 |
14.30 | Andreas: On intrinsic scoping and the sublist category |
15.00 | Coffee |
15.30 | Victor: Unification with heterogeneous equality |
16.00 | Talk 6: Possibly: Report from the Agda meeting |
16.30 | Promenad |
18.00 | Dinner |
- Andreas Abel
- Robin Adams
- Bahareh Afshari
- Ana Bove
- Jesper Cockx
- Nils Anders Danielsson
- Peter Dybjer
- Linn Holmeskog (until 14.00)
- Ulf Norell
- Victor Lopez Juan
- Fabian Ruch
Excused:
- Oscar Bernskiöld
- Thierry Coquand
- Rebecca Cyren
A minibus will leave at 8.30 from Chalmers Kopparbunken. Let's meet there around 8.15.
The venue is not easily reachable by public transport, as the connections are not frequent. Here is some basic connection information.
-
To Lerum:
- train from Göteborg Central to Lerum station (20 min)
- or bus LerumS from Svingeln to Hedlunds Backe (23 min).
-
In Lerum:
- Bus 539 from Lerum Station to Lerum Aspenäsgården (12 min); (instructions for Summer only?: to be ordered at least 1 hour in advance on 0771-919090.)
- or walk (45 min) from Lerum Station
- or get out already at Aspedalen Station and walk (35 min).
-
See Google Maps.
Public transport can be reimbursed by the division.
You will be reimbursed by the division if you use your car to take other people with you.