Skip to content

Formal methods

2,078

members

17

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,551 Hackers | New York, USA
Dan Guido
Organized by Dan Guido
Dan Guido
Organized by Dan Guido
2
Silicon Valley Deep Specification
172 Deep Specification explorers | Redwood City, USA
Vadim Zaliva
Organized by Vadim Zaliva
Vadim Zaliva
Organized by Vadim Zaliva
3
NYC HoTT Group
50 HoTTpockets | New York, USA
Emily Pillmore
Organized by Emily Pillmore
Emily Pillmore
Organized by Emily Pillmore
4
ACM Nashville
36 Peers | Nashville, USA
ACM
Organized by ACM
ACM
Organized by ACM
5
Imandra London
31 Members | London, United Kingdom
Magdalena Wojcik
Organized by Magdalena Wojcik
Magdalena Wojcik
Organized by Magdalena Wojcik
6
Imandra Paris
28 Members | Paris, France
Magdalena Wojcik
Organized by Magdalena Wojcik
Magdalena Wojcik
Organized by Magdalena Wojcik
7
Imandra New York
26 Members | New York, USA
Magdalena Wojcik
Organized by Magdalena Wojcik
Magdalena Wojcik
Organized by Magdalena Wojcik
8
Formal Methods Stockholm
26 Members | Stockholm, Sweden
Leandro Ostera
Organized by Leandro Ostera
Leandro Ostera
Organized by Leandro Ostera
9
Imandra Boston
24 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

ACM Nashville
36 Peers
Started Sep 12 in Nashville, USA
Women Who Go Palma
16 Members
Started Dec 21 in Palma, Spain
Formal Methods Stockholm
26 Members
Started Mar 25 in Stockholm, Sweden
NYC HoTT Group
50 HoTTpockets
Started Jan 1 in New York, USA
Imandra Vienna
16 Members
Started Oct 30 in Vienna, Austria
Imandra Cambridge
18 Members
Started Oct 29 in Cambridge, United Kingdom