TLA+ Community Meeting 2023

[Stephan Merz]

A TLA+ Community Event 2023 will be organized as a satellite of ETAPS 2023 (https://etaps.org/) in Paris, on April 22, 2023. It brings together the community of users of the TLA+ specification language and its associated tools. 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 30-minute presentation by January 20, 2023 to «tla2023» \o «@» \o «tlapl.us». Any additional material may appear in an appendix that will be read at the discretion of the program committee. Notification of acceptance will be sent soon after. There will not be formal proceedings, but accepted abstracts and slides of the presentations will be made available on the web. Presentations of relevant work published elsewhere are welcome. Speakers at the TLA+ Community Meeting will be required to register for workshop participation at ETAPS 2023.

For up-to-date information, please consult http://conf.tlapl.us/home/.

Program Committee

• Ivan Beschatnikh, University of British Columbia
• Murat Demirbas, University at Buffalo, SUNY
• Igor Konnov, Informal Systems
• Markus Kuppe, Microsoft
• Michael Leuschel, Heinrich-Heine Universität Düsseldorf
• Stephan Merz, Inria Nancy - Grand Est

[Stephan Merz]

Gentle reminder: contributions to the TLA+ Community Meeting in Paris are expected by next Friday, January 20. Please keep them coming so that we'll have a great meeting!

Stephan

[Stephan Merz]

We have already received a number of contributions to the Community Meeting, but a few more would be very welcome. We'll continue to accept submissions by email to  «tla2023» \o «@» \o «tlapl.us» until February 5. Also, I hear that the registration site for ETAPS 2023 will open within the next few days and that the deadline for early registration will be February 28.

Thanks,

Stephan

[Stephan Merz]

The provisional schedule of the meeting is online at http://conf.tlapl.us/2023/.

Participants should register through the ETAPS registration page [1]. Please note that registration fees will increase from March 22.

Looking forward to meeting many of you in Paris,

Stephan

[1] https://etaps.org/2023/registration/

[Aman Shaikh]

The program looks quite interesting. Will the links to presentations be available after the community meeting is over?

thx

aman

[Stephan Merz]

We will collect the slides of presentations (as far as presenters consent) and make them available on the workshop page. At this point, we cannot promise that we will be able to post videos of the presentations.

Stephan

--
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/9b248c08-cea2-4b68-8390-c68ab4d09303n%40googlegroups.com.

[Aman Shaikh]

Thanks Stephan. From my point of view slides are good enough.

aman