[tlaplus] TLA+ Community Meeting 2023

[Stephan Merz <stephan.merz@xxxxxxxxx>]

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

-- 
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/F83DBACA-7F59-4A3D-BBFF-C987E09C9A4A%40gmail.com.