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

Re: [tlaplus] TLA+ community meeting 2020

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.


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.