Skip to content

Constructive Logic

374

members

6

groups

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

Join Constructive Logic groups

Related topics:

Largest Constructive Logic groups

1
Silicon Valley Deep Specification
155 Deep Specification explorers | Redwood City, USA
Christopher Brinkley
Organized by Christopher Brinkley
Christopher Brinkley
Organized by Christopher Brinkley
2
Coq Users in PariS [CUPS]
110 membres | Paris, France
Emilio Jesús Gallego Arias
Organized by Emilio Jesús Gallego Arias
Emilio Jesús Gallego Arias
Organized by Emilio Jesús Gallego Arias
3
Paris Idris Group
51 Membres | Paris, France
Christophe Calvès
Organized by Christophe Calvès
Christophe Calvès
Organized by Christophe Calvès
4
Imandra Boston
25 Members | Boston, USA
Magdalena Wojcik
Organized by Magdalena Wojcik
Magdalena Wojcik
Organized by Magdalena Wojcik
5
Imandra Austin
22 Members | Austin, USA
Magdalena Wojcik
Organized by Magdalena Wojcik
Magdalena Wojcik
Organized by Magdalena Wojcik
6
Imandra Edinburgh
11 Members | Edinburgh, United Kingdom
Magdalena Wojcik
Organized by Magdalena Wojcik
Magdalena Wojcik
Organized by Magdalena Wojcik

Newest Constructive Logic groups

Imandra Edinburgh
11 Members
Started Oct 30 in Edinburgh, United Kingdom
Imandra Boston
25 Members
Started Oct 29 in Boston, USA
Imandra Austin
22 Members
Started Oct 29 in Austin, USA
Coq Users in PariS [CUPS]
110 membres
Started Nov 29 in Paris, France
Paris Idris Group
51 Membres
Started Sep 12 in Paris, France
Silicon Valley Deep Specification
155 Deep Specification explorers
Started Jan 9 in Redwood City, USA