[tlaplus] Re: TLA+ Conference September 12, 2019 in St. Louis, MO, USA

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

The recordings as well as the slides have been published at
https://conf.tlapl.us/program



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 view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/c4e48243-748f-a009-fd5f-d0966990c95d%40lemmster.de.