• Related topics:

• Automated Reasoning ·
• Type-theory ·
• Coq ·
• Programming Languages ·
• _Type_ Theory ·
• Deep Specification ·
• OCaml Programming ·
• theorem proving ·
• Compilers ·
• Exploitation

Largest Formal methods Meetups

• 1 Empire Hacking 1,072 Hackers | New York, NY
  Dan G.
  Organized by Dan G.
  Dan G.
  Organized by Dan G.
• 2 Silicon Valley Deep Specification 155 Deep Specification explorers | Redwood City, CA
  Christopher B.
  Organized by Christopher B.
  Christopher B.
  Organized by Christopher B.
• 3 Austin Types, Theorems, and Programming Languages 99 Members | Austin, TX
  Darren R.
  Organized by Darren R.
  Darren R.
  Organized by Darren R.
• 4 Imandra Paris Meetup 1 Members | Paris, France Organized by Magdalena W. Organized by Magdalena W.

Formal methods Meetups are just getting started. You can start your own or check out related topics