Meeting of CSE Divison Logic and Types 2019

Schedule

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

Excused:

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.
See Västtrafik Reseplaneraren.

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.