CfP: TLA+ Conference 2022 - Deadling July 01

[Markus Kuppe]

CfP TLA+ Conference?

TLA+ conference brings together industrial and academic users of the TLA+ specification language and its associated tools; it complements the biannual TLA+ workshops with a stronger focus on applying TLA+. 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
• Novel tools & techniques exploiting TLA+ and its existing tools
• Teaching TLA+ and its combination with other (software) engineering methodologies

Please send a 1-2 page abstract summarizing the content of a 45-minute presentation by July 01, 2022 to «tla2022» \o «@» \o «tlapl.us». Notification of acceptance will be sent soon after. There will not be formal proceedings, but the recordings will be made available on the web. Presentations of relevant work published elsewhere are welcome. Speakers at the TLA+ Conference will get a free registration for both the TLA+ conference (Sept 22) as well as the subsequent Strange Loop program.

When & Where?
TLA+ conf will be an in-person(!) event in St. Louis, MO, USA, on September 22, 2022 co-located with Strange Loop 2022. Participants are required to register through the Strange Loop website at https://ti.to/strange-loop/2022.


Markus
(On behalf of Program Committee Chair Murat Demirbas)

[Markus Kuppe]

We are excited to announce Marc Brooker (Senior Principal Engineer at Amazon Web Services [1]) as the keynote speaker of TLA+ conf 2022. Marc was one of the authors of the 2015 CACM article "How Amazon Web Services Uses Formal Methods" [2]. In this year's keynote [3], he will reflect on "A decade of TLA+ at AWS”.

[1] https://www.linkedin.com/in/marc-brooker-b431772b/
[2] https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
[3] http://conf.tlapl.us/2022/marcbrooker/

> --
> 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+u...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/EADE7851-D2AF-449F-9D67-AE8669FFCF47%40lemmster.de.

[Markus Kuppe]

A friendly reminder that the CfP for the TLA+ conference 2022 ends a little more than a week on July 1st. Please send your proposals via email to tla...@tlapl.us. :-)

Thanks
Markus

> To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/0614CFF7-BFD6-4E25-A4DF-4CFEE8E176C0%40lemmster.de.

[shahid khan021]

Hi,

  Can you explain what is cfp

To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/B2A89CBF-0643-4227-B3C5-DC0F90AE0271%40lemmster.de.

[Stephan Merz]

cfp = call for papers

The conference is intended to be a friendly get-together of the TLA+ community. We'd be thrilled to hear about the ways in which you use TLA+ or about the development of innovative tools.

Stephan

To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAEuNn6-tpwyuy1QwRohTNTjCGi6sJcyKm9LfeVfjF4NsGE0hfg%40mail.gmail.com.

[s nedunuri]

Is this conference ever held in some city other than St Louis? And is it possible to virtually attend?