On Tuesday, March 14, 2023 at 9:20:35 AM UTC-4 Stephan Merz wrote:
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
On Sunday, January 22, 2023 at 7:06:25 PM UTC+1 Stephan Merz wrote:
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
On Friday, January 13, 2023 at 3:31:46 PM UTC+1 Stephan Merz wrote:
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
On Saturday, December 3, 2022 at 9:36:11 AM UTC+1 Stephan Merz wrote:
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