- Home
- Topics
- _Type_ Theory
- Worldwide
_Type_ Theory
4,457
members27
groupsFind out what's happening in _Type_ Theory Meetup groups around the world and start meeting up with the ones near you.
Largest _Type_ Theory groups
- 1
- 2
- 3
Seattle Area Haskell Users' Group
493 Haskellers | Bellevue, USA
Richard Cook
Organized by Richard Cook - 4
Bay Area Categories And Types
410 categorists and typists | Santa Clara, USA
Vlad Patryshev
Organized by Vlad Patryshev - 5
- 6
- 7
Functional Programming Graz
195 Typists | Graz, Austria
Benedikt Maderbacher
Organized by Benedikt Maderbacher - 8
- 9
Silicon Valley Deep Specification
155 Deep Specification explorers | Redwood City, USA
Christopher Brinkley
Organized by Christopher Brinkley - 10
Heidelberg λ Meetup
143 Members | Heidelberg, Germany
Hans-Christian Esperer
Organized by Hans-Christian Esperer
Newest _Type_ Theory groups
Haskell Rotterdam
53 Members
Started May 23 in Rotterdam, Netherlands
NYC Category Theory
123 Category Theorists
Started Feb 19 in New York, USA
NYC HoTT Group
46 HoTTpockets
Started Jan 1 in New York, USA
Imandra Edinburgh
11 Members
Started Oct 30 in Edinburgh, United Kingdom
Imandra Vienna
16 Members
Started Oct 30 in Vienna, Austria
Imandra Cambridge
17 Members
Started Oct 29 in Cambridge, United Kingdom