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

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

A friendly reminder that the CfP for the TLA+ conference ends in 28 days
from now on July 1st.  Please send your proposals via email to
tla2019@xxxxxxxx  See http://conf.tlapl.us/submission/ for more information.

Thanks
Markus

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/60112b80-18ee-c584-6432-48fc549271cd%40lemmster.de.
For more options, visit https://groups.google.com/d/optout.