TLA+Conf Submission Deadline is Tomorrow!

[Hillel Wayne]

Hi everyone!

The deadline for TLA+ Conference submissions is July 1st! We're interested in all sorts of talks, including 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

If you're interested in speaking, then we'd love to hear from you. And if you have an idea for a talk but aren't to sure about this whole "public speaking" thing, I'd be happy to review slides, give rehearsal feedback, whatever would be helpful.

Link again: http://conf.tlapl.us/

H

[hwa...@gmail.com]

So turns out the US holiday weekend made the deadline tricky for some people, so we're extending the deadline to next Friday (July 9).

We've also gotten questions about if talks have to be in person, or if virtual talks are acceptable too. Submissions for virtual talks are totally fine! Looking forward to hearing from y'all.

Apply here: http://conf.tlapl.us/

H