[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] TLA+ community meeting 2020
On 23.09.20 00:26, Stephan Merz wrote:
> 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
> 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.
This is an iCal  file to import the TLA+ Community Event schedule
into your calendars.
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/db5c187c-c8bd-279e-abeb-ab38dc123792%40lemmster.de.