[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
[1].  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 [2] and the Strange Loop organizers will have
to find us a bigger room.


[1] http://conf.tlapl.us/program/
[2] https://ti.to/strange-loop/2019

On 01.01.19 19:48, Markus Kuppe wrote:
> A TLA+ Conference will be held on September 12, 2019, in St. Louis, MO, USA.
> What?
> -----
> 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
> welcome.
> When?
> -----
> 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.
> Where?
> ------
> 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
> https://conf.tlapl.us.

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.