Are videos of the talks going to be posted anywhere? I saw that some of the Strange Loop talks have started to be posted, but I haven't seen any of the ones specifically from the TLA+ Conf track.
Thanks,
-Kenny
On Tuesday, July 9, 2019 at 12:25:30 PM UTC-4, Markus Alexander Kuppe wrote:
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.
Markus
[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.