Re: [tlaplus] TLA+ community meeting 2020

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

On 23.09.20 00:26, Stephan Merz wrote:
> Registration for DISC and satellite events is now open at
> http://www.disc-conference.org/wp/disc2020/registration/.
> 
> 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.


This is an iCal [1] file to import the TLA+ Community Event schedule
into your calendars.

Markus

[1]
https://calendar.google.com/calendar/ical/roeh7nl6lj6lel53krokqrkdcg%40group.calendar.google.com/public/basic.ics

-- 
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.