Type Theory
Meet other local people interested in Type Theory: share experiences, inspire and encourage each other! Join a Type Theory group.
2,445
members
8
groups
Largest Type Theory groups
Newest Type Theory groups
Frequently Asked Questions
Yes! Check out type theory events happening today here. These are in-person gatherings where you can meet fellow enthusiasts and participate in activities right now.
Discover all the type theory events taking place this week here. Plan ahead and join exciting meetups throughout the week.
Absolutely! Find type theory events near your location here. Connect with your local community and discover events within your area.
Type Theory Events Today
Join in-person Type Theory events happening right now
IxDA Chat n Pancakes
Join members of the local UX and Digital Design community for a casual monthly breakfast. There _might_ be a little snow, but there _will_ be effectively infinite serve-yourself coffee, so it evens out if you ask me.
Just a reminder, while the other locations are great too, we’re at the Lane Ave one this time.
Friday evening Meet + Boardgames
Hello, my people let us try this board game meet after our usual meeting. I cannot stay for board game part but figured that you folks got that covered.
Here is my plan -
5p meeting time for chatting - I’ll be there
5.30/6p onwards - boardgames - not hosted but I’ll set you guys up.
I’ll be around if anyone wants to chat but have to leave by 6p
Bring your favorite games and let’s have fun
Any questions, please ask
Type Theory Events This Week
Discover what is happening in the next few days
The 40 Rules of Love
**First Gathering: Love as Transformation**
Reading: **The Forty Rules of Love** by **Elif Shafak**
We begin Men, Meaning, and Madness with a novel that treats love not as sentiment, but as a force that disrupts, humbles, and reshapes the self.
The Forty Rules of Love explores love as discipline, surrender, and moral risk. It asks what happens when certainty breaks, when the ego is wounded, and when meaning is found not through control, but through transformation.
This gathering is for men interested in serious literature and honest inquiry into how love shapes character, responsibility, and the inner life.
Discussion will be guided by questions rather than summaries. The aim is depth, not debate.
Come having read the book or engaged with it seriously.
FREE Pizza Social at our KIND MEALS meeting at Mikey's Late Night Slice!
Our group, KIND MEALS, will be picking up the tab for pizzas, at MIKEY'S LATE NIGHT SLICE, on Sunday, February 8th from 12-2pm.
We will be trying out MIKEY'S Vegan Fake-ass BBQ Chick'n pizza and Vegan Fake-ass Pepperoni pizza, as well as some other special vegan pizzas that are served there. All the vegan pizzas are covered with Selfish Cow vegan cheese.
The pizza is free, drinks on your own.
Join us to learn more about **[KIND MEALS](https://kindmealscolumbus.org)** (a 501c3 nonprofit organization based in Cols. Ohio, providing hunger relief services to those in need).
All of the food we serve is fresh and vegan!
If you love working with community, being of service, looking to hang with some fun like-minded people, and just love to socialize on a Sunday afternoon, join us for some FREE vegan pizzas at MIKEY'S LATE NIGHT on 4th and Main. Mikey said the more the merrier!
Neurospicy Columbus - Join us for Stauff's Coffee and Book Loft
Join Neurospicy Columbus at the Stauff's for coffee and then a stroll through the Book Loft nearby!
This will be a friendly chat for like minded individuals with Autism and/or ADHD (or somewhere on the Neurodiverse Spectra).
Meet us at the Brazilian Grill & Bakery!
Inspired by the successful events like "Pot Luck in the Park" and "Saturday Mornings @ East Market," this meetup promises a fun and engaging atmosphere where like-minded individuals can connect over a shared love for languages and cultures. Whether you're a language learner, ESL student, or simply passionate about exploring new cultures, this event is perfect for anyone looking to immerse themselves in a diverse and welcoming community. Come join us for an enlightening afternoon of language, culture, food, of course, and connections!
(Everyone will individually choose from the buffet and pay for their own meal, by weight.)
Contra dance with Big Scioty on Feb. 7 - First Congregational Church
**Caller: Dan Kappus**
**Band: Trillium**
**Big Scioty Contra Dance**
**temporarily returning to our long ago location for Jan-March - First Congregational Church, 444 E. Broad St., Columbus 43215**
WHAT IS CONTRA DANCING? Picture the Grand Ball scenes like you’ve seen in period films such as “Pride and Prejudice”, where the dancers are lined up in long lines, across from each other. That’s English Country Dancing, the predecessor of contra dancing. Now, add moves like “swing your partner” and “do-si-do,” like you’ve seen in square dancing. Set it to fabulous, high energy, live music with fiddles, guitars, percussion and more, alá “Riverdance.” Finally, set the whole scene down in the middle of Woodstock, with a hip, groovy atmosphere, a bit of tie-dye, and hints of counter-culture attitude. THAT’s Contra Dancing!
Wear cool and comfortable clothes (you will get warm) and clean shoes that won't mark up our nice wood floor.
Be sure to come for the beginner's lesson from 7:30 - 8:00, followed by dancing 8:00 - 10:30. All dances are taught; we will help you learn! Beginners always welcome, no need to bring a partner.
Cost is $10.00 adults, $5.00 ages 12-26. Under 12 free. Free parking in church lot.
For more information contact me or check out our website: [www.bigscioty.com](http://www.bigscioty.com/)
Please bring your own refillable water bottle. Snacks to share are always welcome!
Type Theory Events Near You
Connect with your local Type Theory community
Cocoaheads
Come out to Improving for our monthly iOS and Mac meetings.
This Month's Presentation:
Bring a lightning talk with you and let's learn some quick things.
What is Cocoaheads (http://cocoaheads.org/)?
CocoaHeads is a group devoted to discussion of Apple Computer's Cocoa Framework for programming on MacOS X and iOS (including the iPhone, iPad and Apple Watch). During monthly meetings, members present on their projects and offer tutorials on various programming topics.
What is BuckeyeCocoa (http://buckeyecocoa.org/)?
BuckeyeCocoa is a group of Objective-C/Swift developers/enthusiasts. We host monthly Cocoaheads and near-weekly NSCoder meetings in Columbus, Ohio. The meetings are free to attend.
Presentations!
Presenters welcome! We are always in need of people willing to present material. Any Swift and/or Objective-C related topic is welcome. Times can be 5 minutes (i.e. lightning talks) to a maximum of 2 hours. Interested? Contact info is on the BuckeyeCocoa website.
To volunteer for a presentation contact us at @BuckeyeCocoa on Twitter.
Follow us on Twitter! @BuckeyeCocoa (https://twitter.com/#!/Buckeyecocoa/) For more information: http://buckeyecocoa.org/
Columbus Code & Coffee 83 @ Improving
Columbus Code & Coffee is an inclusive, informal co-working session. People of all skill levels attend, and we love it that way. Many people (optionally) bring projects to work on, and many other people (optionally) socialize the entire time. It's entirely up to you!
**What to Expect at the Intro Circle**
\~\~\~\~\~\~\~\~\~\~\~\~\~
Near the beginning of the event (1:30 pm), we do a standup:
* Organizer announcements, updates, and logistics
Round 1 - (7 secs max):
* Your name
* What you're working on
* What you can help others with
Round 2:
* Community events you wanna plug. If none, that's cool too.
Round 3:
* Job opportunities you're hiring for OR announce that you are looking for one. If none, that's cool.
After the introduction circle, everything is self-organized! Feel free to work alone, pair up, attend one of our workshops/presentations, or mingle!
COhPy Monthly Meeting
**NEW LOCATION: Improving Office in Franklinton**
Physical location:
Improving Office
330 Rush Alley Suite #150
Columbus, OH 43215
Schedule:
* 6:00 p.m.: Socialize, eat, and drink. Improving will be providing pizza and beverages.
* 6:30 to 8:00 pm. Main meeting and presentation(s).
Lonnie Morgan will be presenting information about the DLT Library.
"The Python library `dlt` provides a powerful [REST API toolkit](https://dlthub.com/docs/dlt-ecosystem/verified-sources/rest_api/basic) to ingest data. Combined with our [LLM scaffolds](https://dlthub.com/workspace) and [MCP server](https://dlthub.com/docs/hub/features/mcp-server), you can build a custom connector for any of the 8k+ available sources in 10 minutes by following this guide. Building with LLMs is an iterative process. We will follow this general workflow and give practical tips for each step."
See Our [Parking Map](https://docs.google.com/presentation/d/1u2A4fLNlxwLJn0KA_hKc8bnFlFHLvsHBDh-_8wzX_tk/edit?usp=sharing)
We meet on the last Monday of each Month. Presentations are given by members and friends of this group. If you would like to do a presentation (small or large) on a python topic, please contact centralohpython@gmail.com
Trademarks 101: Protecting Your Brand the Right Way
Join us for a practical, founder-friendly deep dive into trademarks and brand protection with a licensed business and intellectual property attorney.
**Speaker:**
Gaea Kassatly
Founder & Managing Attorney, GK Law Co.
Startup & Intellectual Property Attorney
In this session, we will break down what trademarks are, how they work, and how to use them strategically to protect and grow your brand. Whether you’re a startup founder, creative, or small business owner, this workshop will help you avoid common (and costly) trademark mistakes.
### **What we’ll cover:**
* What qualifies as a trademark (and what doesn’t)
* The core elements of a trademark, explained in plain English
* Types of trademarks (word marks, logos, slogans, and more)
* A detailed walkthrough of each trademark element
* Non-traditional trademarks (sounds, colors, product shapes, trade dress, etc.)
* Common trademark myths and pitfalls for small businesses
* How to think about trademarks strategically as your business grows
This is a paid event (small fee) to help ensure attendance and engagement.
⚠️ **Important note:**
This event will be recorded. By registering and attending, you acknowledge and consent to being recorded.
The session will include time for Q&A, and attendees will leave with a clearer understanding of how to protect their brand with confidence.
🎁 Bonus for attendees:
Everyone who attends will receive a free consultation at the end of the workshop and will be entered into a raffle to win a free trademark clearance search (a $750 value).
Humanist Community Celebrating Darwin Day
Dale Gnidovec, Curator of the Orton Hall Museum of Geology at The Ohio State University, will be presenting a program he has wanted to share with us for a long time: Plate Tectonics. His description of his program:
Continents on the move - Nothing in Earth history makes sense without moving continents - it tells us why mountains, volcanoes, minerals, and fossils are where they are. This talk examines the evidence for continental drift, why it was disbelieved, and explains how the more-encompassing theory of plate tectonics was developed and eventually proven. Dale is an energetic, incredibly knowledgeable, and very entertaining speaker and this will be another wonderful program by Dale. Hope to see you there!
Food and drinks will be provided at the event. Feel free to show up a little bit early to hang out and talk.
Going forward our meetings will be hybrid. You can meet us in-person or attend online
Join Zoom Meeting
[https://us02web.zoom.us/j/87836564953?pwd=4Mi57ElZkDIFlb1fnlNwOJ0NiOK4tP.1](https://us02web.zoom.us/j/87836564953?pwd=4Mi57ElZkDIFlb1fnlNwOJ0NiOK4tP.1)
Meeting ID: 878 3656 4953
Passcode: 760812
One tap mobile
+19292056099,,87836564953#,,,,\*760812# US (New York)
+13017158592,,87836564953#,,,,\*760812# US (Washington DC)
The formal presentation will start at noon

























