Program
See here for the confluence version.
Pre-arrival
Please install Agda 2.6.3 as instructed here as well as emacs or (vscode + agda-mode).
Note: some of the key bindings are fiddly and don't quite work properly on vscode.
Sunday, May 28
18:00-21:00 Check-in & Reception (Via Frangipane, 4)
19:30-21:00 Welcome Buffet (Canteen - Via Frangipane, 2)
Monday, May 29
07:30-09:00 Breakfast ( at Canteen)
09:00-09:30 Registration
09:30-11:00 PLFA (Phil)
11:00-11:30 Coffee
11:30-13:00 PLFA (Phil)
13:00-14:00 Lunch (at Canteen)
14:00-15:30 PLFA (Phil)
15:30-16:00 Coffee
16:00-17:00 Agda Lab
17:00-17:30 agda2hs (James)
19:30-21:30 Dinner (TBD)
Tuesday, May 30
07:30-09:00 Breakfast
09:30-11:00 PLFA (Phil)
11:00-11:30 Coffee
11:30-13:00 PLFA (Phil)
13:00-14:00 Lunch
14:00-15:30 PLFA (Phil)
15:30-16:00 Coffee
16:00-17:00 Agda Lab
17:00-17:30 Plutus Core (Mauro)
19:30-21:30 Dinner (TBD)
Wednesday, May 31
07:30-09:00 Breakfast
09:30-11:00 PLFA (Phil)
11:00-11:30 Coffee
11:30-13:00 PLFA (Phil)
13:00-14:00 Lunch
14:00- Excursion
19:30-21:30 Dinner (TBD)
Thursday, June 01
07:30-09:00 Breakfast
09:30-11:00 Ledger (Andre)
11:00-11:30 Coffee
11:30-13:00 Ledger (Andre)
13:00-14:00 Lunch
14:00-15:30 Ledger Lab (Andre)
15:30-16:00 Coffee
16:00-17:00 Short Talks (various)
17:00-17:30 Short Talks
19:30-21:30 Dinner (TBD)
Friday, June 02
07:30-09:00 Breakfast
09:30-11:00 Crypto in Agda (James)
11:00-11:30 Coffee
11:30-13:00 Crypto in Agda (James)
13:00-14:00 Lunch
14:00- Departure