What we're about
# NEW # You can now find us at the IRC channel #formal-verification-ch on Freenode.net!
Join us to talk about the latest meetup and keep in touch!
# The meetup #
This meetup aims to bring together the community of developpers interested in formal methods and program verification. We use tools like Idris, Agda and Coq but also Why3 and Stainless.
Beginners and experts alike are welcome to share their experience and knowledge, regardless of age, gender or race. I want to create a space were we can all share our passion and learn confidently without fear of being judged. So, don't shy away from asking questions and be patient and thoughtful when answering them.
If you are interested in functional programing or want to learn more about the state of the art in computer science you have a good chance of finding something interesting to learn here.