Anyone interested in a BOF Session on formal methods at Elixir Conf this year?

Hi all,

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.