On Wednesday, July 15, 2020 at 5:26:24 PM UTC+2, Markus Alexander Kuppe wrote:
On 23.06.20 07:25, Stephan Merz wrote:
> 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.
More information, including the CfP (deadline 08/31), can now be found
at http://conf.tlapl.us/.
Will it be possible to attend the TLA+ meeting separately from the Symposium? My employer has frozen training budgets. I could probably pay for the TLA+ meeting personally, doing that for the whole symposium is another matter.
-Leroy
--
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/91eeac7a-c4fc-4acb-8212-ec2421d0b135o%40googlegroups.com.