Re: [tlaplus] Keynote Speaker: TLA+ Conference 2022

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

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/

> On May 23, 2022, at 7:52 PM, Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx> wrote:
> 
> 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)
> 
> -- 
> 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/EADE7851-D2AF-449F-9D67-AE8669FFCF47%40lemmster.de.

-- 
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/0614CFF7-BFD6-4E25-A4DF-4CFEE8E176C0%40lemmster.de.