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,
Sara
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. :-)
Regards,
Stephan