[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] Re: TLA+ Conference September 12, 2019 in St. Louis, MO, USA
The conference program for TLA+ conf in St. Louis has been published
. We are looking forward to a day packed with talks about how
engineers build mission critical systems with TLA+, tools that connect
TLA+ to programming languages, and how to learn and teach TLA+.
Just a few more sign-ups  and the Strange Loop organizers will have
to find us a bigger room.
On 01.01.19 19:48, Markus Kuppe wrote:
> A TLA+ Conference will be held on September 12, 2019, in St. Louis, MO, USA.
> The objective of the TLA+ Conference is to bring together industrial
> users of the TLA+ specification language and its associated tools; it
> complements the biannual TLA+ workshops. The conference will
> consist of invited talks that present developments concerning the TLA+
> language and tools, and of contributed talks.
> Contributed talks should present work of interest to users of TLA+ or
> PlusCal, such as but not limited to:
> - Industrial and academic case studies
> - Use of the TLA+ tools or reports on their shortcomings
> - Teaching of TLA+ in industry or academia
> - Novel techniques exploiting TLA+ and its tools
> The presentations of either 20, 45, or 60 minutes should be informal and
> leave sufficient time for discussions. There will not be formal
> proceedings, and presentations of relevant work published elsewhere are
> Proposals for presentations, with a one-page summary of the content,
> should be sent by July 01, 2019 to <<tla2019>> \o <<@>> \o <<tlapl.us>>.
> Notification of acceptance will be given by July 15, 2019. The abstracts
> and presentations given at the event will be made available on the web.
> The conference will take place in St. Louis, MO, USA, on September 15,
> 2019 as part of Strange Loop 2019. Participants are required to register
> through the Strange Loop web site (https://www.thestrangeloop.com/).
> For more details and future announcements please check
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 post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/1c3bc450-3d58-d689-286d-6850fe500963%40lemmster.de.
For more options, visit https://groups.google.com/d/optout.