MGS 2019 - Schedule of Talks
Sunday
timings |
Sunday
locations |
Sunday |
Weekday
timings |
Weekday
locations |
Monday
Tuesday
Wednesday |
Thursday |
|
UG09 |
LAM |
|
|
|
|
|
UG09 |
CAT
|
|
|
|
|
| 11:30-12:00 | CS Atrium | Coffee |
11:00-11:30 | CS Atrium | Coffee |
|---|
|
UG09 |
|
|
|
|
|
| 13:00-14:00 | CS Atrium | Lunch |
12:30-14:00 | Staff House | Lunch |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 16:00-16:30 | CS Atrium | Coffee |
16:00-16:30 | CS Atrium | Coffee |
|
|---|
|
|
|
|
|
|
|
| 17:30-18:30 | CS Atrium | Light dinner |
17:30-18:30 | CS Atrium | Light dinner |
|
|---|
| LAM | Lambda Calculus (Capretta) |
| CAT | Category Theory (Altenkirch) |
| UTT | Univalent Type Theory in Agda (Escardó) |
| TEST | Adventures in Property Based Testing (Hughes) |
| CALC | Calculating Programs (Hackett) |
| TRS | Type Refinement Systems (Zeilberger) |
| SYN | Synthesis of Reactive Systems (Dimitrova) |
| MCHC | Monoidal Categories, Higher Categories (Vicary) |
Each course consists of lectures and exercise classes.
The rooms UG06, UG07 (UG05 on Tuesday), and UG09 are all in the Learning Centre opposite Computer Science.
On Sunday we will start 30 minutes later to allow people to take the train from the city centre to the University.
The student presentations will be on Monday evening, starting at 6:30pm, in the Sloman Lounge adjacent to the CS Atrium.
The conference dinner will be on Wednesday evening, starting at 7:30pm, at Pasta di Piazza in Birmingham's Jewellery Quarter. Walking directions, kindly provided by Paul Taylor. Check your menu choices here.