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