The schedule got messed up in formatting. Here is a fixed version:
20:00 − 20:15: Assembly
20:15 − 21:00: Main Talk
21:00 − 22:00: Dinner and Discussion
22:00 − 23:00: Rump session
The schedule got messed up in formatting. Here is a fixed version:
20:00 − 20:15: Assembly
20:15 − 21:00: Main Talk
21:00 − 22:00: Dinner and Discussion
22:00 − 23:00: Rump session