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

Re: [tlaplus] relevant conferences?

Hi Stephan,
  Thank you for answering my question, and for your kind reminder about the TLA+ Community Meeting. I indeed consider this meeting a great opportunity to get feedback on my work, and of course to attend Langworthy's talk. At the moment, I am not sure if I can make the adventure from Australia to UK in July. Once this is cleared, I might be able to apply soon.

Highly appreciate your assistance Stephan.

Thank you,

On Wednesday, March 28, 2018 at 3:24:53 AM UTC+11, Stephan Merz wrote:
If your focus is on the protocols, I'd recommend that you target a distributed algorithms or systems conference. If your focus is on modeling and verification, better target a conference in formal methods. ABZ specifically mentions TLA+ as being in scope, but many other venues are suitable as well.

And of course, don't forget to tell us about your work at the TLA+ Community Event associated with FLoC. :-)


On 27 Mar 2018, at 06:49, Sara Hamouda <sar...@xxxxxxxxx> wrote:

Hi TLA team and users,
   Could anyone please recommend academic venues that are suitable for publishing distributed protocols modeled by TLA+ or similar tools?

Thanks in advance for your assistance.

Best Regards,

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 post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.