On 23.06.20 07:25, Stephan Merz wrote:
We are excited to announce the program of the TLA+ Community Event at
. The event will take place online during
European afternoon hours on Thursday 15th, Friday 16th, and Monday the
19th of October, enabling participation for other time zones.
Extended versions of the presentations will be made available online
early in October, and speakers will present shortened versions during
the event, followed by questions and answers.
We will send out more announcements once presentations are online and
when DISC registrations (free of charge for *participants*)  are
open. In the meantime, feel free to join the virtual hallway track at