[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] CfP: TLA+ Conference 2022 - Deadling July 01

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.

(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.