I’m honored to be one of the speakers for Elixir Conf 2022 coming up at the end of the month of August. One thing I was hoping for (as icing on the cake I guess) was to find other Elixir folks who have some interest in studying formal methods. By formal methods I mean modeling tools such as Alloy and TLA+ but I wouldn’t mind talking about Coq or any other formal method tool that anyone would care to discuss.
Consider this an informal invitation; I’d like to lead/join a BOF session on formal methods. I wanted to see if others might be interested in discussing the topic as well.