Skip to content

Formal methods

1,941

members

16

groups

Find out what's happening in Formal methods Meetup groups around the world and start meeting up with the ones near you.

Join Formal methods groups

Related topics:

Largest Formal methods groups

1
Empire Hacking
1,266 Hackers | New York, USA
Dan Guido
Organized by Dan Guido
Dan Guido
Organized by Dan Guido
2
Silicon Valley Deep Specification
154 Deep Specification explorers | Redwood City, USA
Christopher Brinkley
Organized by Christopher Brinkley
Christopher Brinkley
Organized by Christopher Brinkley
3
Formal Methods
135 Members | San Francisco, USA
David Karapetyan
Organized by David Karapetyan
David Karapetyan
Organized by David Karapetyan
4
Austin Types, Theorems, and Programming Languages
118 Members | Austin, USA
Darren Rhea
Organized by Darren Rhea
Darren Rhea
Organized by Darren Rhea
5
NYC HoTT Group
47 HoTTpockets | New York, USA
Emily Pillmore
Organized by Emily Pillmore
Emily Pillmore
Organized by Emily Pillmore
6
Imandra London
33 Members | London, United Kingdom
Magdalena Wojcik
Organized by Magdalena Wojcik
Magdalena Wojcik
Organized by Magdalena Wojcik
7
Imandra Paris
28 Members | Paris, France
Magdalena Wojcik
Organized by Magdalena Wojcik
Magdalena Wojcik
Organized by Magdalena Wojcik
8
Imandra New York
25 Members | New York, USA
Magdalena Wojcik
Organized by Magdalena Wojcik
Magdalena Wojcik
Organized by Magdalena Wojcik
9
Imandra Boston
25 Members | Boston, USA
Magdalena Wojcik
Organized by Magdalena Wojcik
Magdalena Wojcik
Organized by Magdalena Wojcik
10
Imandra Austin
22 Members | Austin, USA
Magdalena Wojcik
Organized by Magdalena Wojcik
Magdalena Wojcik
Organized by Magdalena Wojcik

Newest Formal methods groups

Formal Methods
135 Members
Started Feb 19 in San Francisco, USA
NYC HoTT Group
47 HoTTpockets
Started Jan 1 in New York, USA
Imandra Vienna
16 Members
Started Oct 30 in Vienna, Austria
Imandra Cambridge
17 Members
Started Oct 29 in Cambridge, United Kingdom
Imandra San Francisco
20 Members
Started Oct 29 in San Francisco, USA
Imandra New York
25 Members
Started Oct 29 in New York, USA