[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] TLA+ community meeting 2020

Registration for DISC and satellite events is now open at

The registration as a participant is free of charge, but it is necessary for obtaining 
the link for attending the conference online. (Authors of papers published at the
DISC conference are required to pay a publication fee, this does not apply to
authors of presentations accepted at satellite events.)

The program of the TLA+ Community Event is available at https://conf.tlapl.us.
Please join us for what promises to be a nice meeting. As a reminder, the
virtual hallway track is already open at https://talk.tlapl.us.


On Wednesday, September 9, 2020 at 7:14:36 PM UTC+2 Markus Alexander Kuppe wrote:
On 23.06.20 07:25, Stephan Merz wrote:
> Dear TLA+ community,
> we will again organize a meeting for presenting new developments around TLA+ and exchanging around ongoing work. The meeting is planned as a satellite of the Symposium on Distributed Computing [1] in mid-October. Due to the ongoing pandemic the meeting will in all likelihood take place as a virtual meeting online, with the exact date(s) to be determined.
> Please let us know if you have suggestions or requests for the content or the organization of the meeting. A call for contributions will be published once the format of the meeting has been fixed.
> Best regards, and stay healthy,
> Stephan Merz
> [1] http://www.disc-conference.org/wp/disc2020/

We are excited to announce the program of the TLA+ Community Event at
https://conf.tlapl.us/. 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*) [1] are
open. In the meantime, feel free to join the virtual hallway track at


[1] http://www.disc-conference.org/wp/disc2020/registration/

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/fd96a6cb-f44f-4ff1-a83a-c407d5ab3f6cn%40googlegroups.com.