Type Theory
Meet other local people interested in Type Theory: share experiences, inspire and encourage each other! Join a Type Theory group.
2,303
members
7
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
Libera Animae - Freeing the Soul
Meeting Room 2b, Main Library
Join us for a welcoming evening of reflection, gentle music, and meaningful conversation. We’ll begin with a short grounding moment, followed by a brief reading from spiritual or philosophical traditions, and an open reflection circle where participants can share (or simply listen).
Libera Animae is an interfaith community focused on inner growth, creativity, and authentic connection. We desire to cultivate a space where all questions are welcome and each person is treated with compassion and respect.
Columbus in-person chapter meeting: Your 2026 Buy Box + Successful Rentals 101
(Note: RSVPing here on meetup does NOT reserve your seat. To do that, you’ll need to register at our website, **[HERE](https://www.coreerocks.com/Events.aspx?ID=Columbus-in-person-chapter-meeting-Your-2026-Buy-Box-Successful-Rentals-101-14-3-3-2026)**.)
Let’s be honest. In 2026, you can’t use 2023 strategies and “hope” a deal works out.
Demand for rentals, wholesale deals, retail deals, and even loans has changed, and that means that the most active, experienced investors have changed the way they do deals (and maybe even the kinds of deals they’ll do).
Here at COREE, our job is to shortcut your learning curve by introducing you to the people and concepts you need to take the shortest path from here to financial freedom, and we think you’ll agree that this meeting is a no-brainer, if you’re serious about making wealth-building deals this year.
Here’s the detailed agenda:
From 6:00–7:00 p.m.,
From 7:30–9:00 p.m.,
Agenda:
5:00–6:00 p.m. Complimentary Light Dinner & Networking
6:00–7:00 p.m\*\*. New Investor Meeting: Basics of Making Money in Rentals with Vena Jones-Cox\*\*. If you’re planning to buy rentals today, you have to know how to evaluate the REAL income and expenses before you make an offer. If you’re new, you’ll finally understand how rentals really produce profit. If you’ve been around a while, you’ll see how today’s numbers change the math.
7:00 –7:30 **Buy-Sell-Trade (Members Only)**
Bring your deals, money, buyer lists, referrals, and requests.
Fast-moving. Bring flyers or business cards.
Guests get a quick orientation with Executive Director Vena Jones-Cox.
7:30–9:00 p.m. **Main Meeting: Your 2026 Buy Box: What Experienced Investors are Buying in 2026 (and what they won’t touch).** Our panel of active, experienced investors will lay out their 2026 buy boxes. Not hypotheticals. Not “in theory.”
What they are actually buying—and what they won’t touch.
They’ll share:
* What property types investors are actively pursuing
* What strategies they’ve stopped using
* The exact numbers they require before they say yes
* How insurance, taxes, and rates have tightened the buy box
* What instantly disqualifies a deal in today’s market
* How to define your own 2026 buy box based on capital and risk tolerance
Members and non-members at any level of knowledge and experience are welcome—as long as you’re serious about real estate, value experience-based, no B.S. education, and want to give as much as you get.
Remember, to actually reserve your seat, you have to go **[HERE](https://www.coreerocks.com/Events.aspx?ID=Columbus-in-person-chapter-meeting-Your-2026-Buy-Box-Successful-Rentals-101-14-3-3-2026)** and register on our website!
Data Cleansing using Data Bricks
The March Ohio North Database Training user group meeting will be held on **March 3rd, 2026 at 5:00PM**. This will be a **HYBRID** event and we will be joined in person by **Sam Nasr**.
You're welcome to come meet in-person at our meeting location, the offices of Improving at
**[6000 Freedom Square Dr,](https://www.google.com/maps/place/Improving/@41.4004167,-81.6614462,17z/data=!3m2!4b1!5s0x8830e5b8255c5919:0xd8297060eb68fe04!4m6!3m5!1s0x8830dc7a0fe35dc9:0xbfc4710ecadfc5c!8m2!3d41.4004127!4d-81.6588713!16s%2Fg%2F1hm3hkqp3?entry=ttu&g_ep=EgoyMDI1MDQzMC4xIKXMDSoASAFQAw%3D%3D)**
**[Unit 110,](https://www.google.com/maps/place/Improving/@41.4004167,-81.6614462,17z/data=!3m2!4b1!5s0x8830e5b8255c5919:0xd8297060eb68fe04!4m6!3m5!1s0x8830dc7a0fe35dc9:0xbfc4710ecadfc5c!8m2!3d41.4004127!4d-81.6588713!16s%2Fg%2F1hm3hkqp3?entry=ttu&g_ep=EgoyMDI1MDQzMC4xIKXMDSoASAFQAw%3D%3D)**
**[Independence, OH 44131](https://www.google.com/maps/place/Improving/@41.4004167,-81.6614462,17z/data=!3m2!4b1!5s0x8830e5b8255c5919:0xd8297060eb68fe04!4m6!3m5!1s0x8830dc7a0fe35dc9:0xbfc4710ecadfc5c!8m2!3d41.4004127!4d-81.6588713!16s%2Fg%2F1hm3hkqp3?entry=ttu&g_ep=EgoyMDI1MDQzMC4xIKXMDSoASAFQAw%3D%3D)**
[Teams Link ](https://teams.microsoft.com/l/meetup-join/19%3ameeting_YTg3MTY3NzItODI3OS00MTRjLTgzYTItYTBlMjY5NTQ5MzU4%40thread.v2/0?context=%7b%22Tid%22%3a%22b966f302-6b93-4686-9041-c084635642c5%22%2c%22Oid%22%3a%2278c760cb-657f-46aa-bd2f-7066d9403bdb%22%7d)if anyone needs it after RSVP-ing for in person.
If you would like to subscribe to our email list outside of Meetup, we have changed platforms recently and you will need to register [here in Kit ](https://ohio-north-data-training.kit.com/b8f036f615)instead to receive emails.
Agenda:
**5:00 PM EST**: Online and in-person meeting begins with a social hour. This is an unstructured hour where you can join us to catch up and meet other group members before the session starts. There will be food brought in for in-person attendees.
**6:00 PM EST**: Updates and announcements, followed by our feature presentation. See below for presentation details.
**7:30 PM EST**: Optionally after the main presentations, the in-person crowd may go out for snacks and drinks at a local establishment.
We hope to see you there!
Session Abstract
### **Data Cleansing using Data Bricks**
Machine Learning is highly dependent on adequate data. Not only does quantity matter, but more importantly quality. In this session we’ll cover how to build a custom automated process using Data Bricks. This will provide methods for cleaning data in a data lake using functions in Azure.
\*Please note, that we will be using Microsoft Teams for the online portion of this meeting. You may want to join a few minutes early to ensure you do not have any issues. If you are attending in person, there are large TVs at the office, and you do not need to bring a laptop or use Teams.
Go Build & Learn
Meeting @ Improving's office in Downtown Columbus, near Cosi. Parking is paid, food & drink are free!
This time we're hanging out after the long winter break. We are going to look at a group-member's project used to help learn the fundamentals of Go, and if time allows, we can take a look at how we like to build Go projects using AI.
Take over this meetup group or it's gone!
I'm canceling my subscription as a Meetup organizer as of March 9th 2026. I have never made it a priority and I know anyone of you can do a better job than I did. I do believe that organizing like minded people together is important in the world we live in today. If any of you would like to take over the the leadership of this group and organize meetings for the members please let me know in the comments. I will contact you so we can transition the group to you.
Columbus Yarn Club at the Grandview Heights Library
5:45-7:45 in Conference Room B, Library lower level. Bring your yarn projects, meet new friends.
If you plan to attend, please RSVP yes. If you can’t attend, please change your RSVP to no. This helps anyone who is waitlisted and it allows me to have an accurate count of attendees as our space is quite limited.
Plenty of parking in the lot, in the overflow lot across the street, and on the street.
See you there!
Winter Note: If the weather is bad and I have to cancel the Meetup, i will issue the cancellation not later than 3 p.m. of that day.
Type Theory Events This Week
Discover what is happening in the next few days
IxDA Chat ‘n Pancakes
Join membersrs of the Central Ohio UX and digital design community for a casual monthly breakfast.
Thursday Night Preview: THE BRIDE at the Gateway Film Center!
Join us as we get together to see the period drama / classic monster movie, THE BRIDE! The film is written/directed by Maggie Gyllenhaal and stars Jessie Buckley and Christian Bale in a new take on the classic tale, The Bride of Frankenstein. We'll be seeing this one on Thurs, 3/5 one day ahead of the film's opening on Friday. Here’s a description, trailer and plan for this event:
DESCRIPTION: In 1930s Chicago, Frankenstein's creature asks Dr. Euphronius to create a companion for him. They give life to a murdered woman as "the Bride," sparking romance, police interest and radical social change. It is written, directed and co-produced by Maggie Gyllenhaal and stars Jessie Buckley, Christian Bale, Peter Sarsgaard, Annette Bening, Jake Gyllenhaal and Penélope Cruz.
TRAILER: https://www.youtube.com/watch?v=n-qJkAXLfYM
PARKING: Close, convenient parking is available in the nearby garage (located between 9th and 11th, just off High St). Bring your ticket with you and have it validated at the theater and for $2, you’re covered for the night!
PLAN: Please purchase your ticket for the 7:00pm showing and we’ll meet inside the upstairs lobby between 6:40 and 6:50pm. Advance ticket purchase is advised (via Gateway website preferred). Once you have yours, please list your seat number in the Comments below! Pre-show bite at Cazuela’s next door at 5:30pm. Please arrive by 5:30pm and ask for the Movie Group!
Look forward to seeing you there, Dan
Omnipresent Atheists Weekly Meetup (1st Tues)
Jimmy V's Grill & Pub in Grandview Heights. You are responsible for your own meal/drinks. We usually don't have any agenda other than eat, drink and talk. :) If the weather is nice we will be on the back patio, otherwise we are in the cigar room.
This group has been meeting every Tuesday evening for over a decade. Many attendees do not RSVP on meetup. Please don't let the small number here discourage you. Anyone/everyone is welcome to come. We'd love to have you join us.
COTA bus #5 comes to W. 5th and Wyandotte Rd. And it's a minute walk to the restaurant.
Did you know that there are atheists everywhere?!?! You may not know it, but we are! We're in your schools, diners, police force, military, government, and some are even still in your churches! So come and join us and meet other local atheists, along with agnostics, heathens, humanists, skeptics, and anyone else who's 'hell bound'!
Vision: a Central Ohio that accepts atheism as a viable alternative in all areas of public and private life.
Mission: grow, support, and provide community for atheists in Central Ohio.
Social meetings held most Tuesdays at a local pub/restaurant at 7:00 PM (and often into the wee hours). Attendees call themselves agnostics, skeptics, humanists, non-theists, deists or even theists. All attendees are welcome but should support our vision.
Atheists of Columbus (AoC) is part of Omnipresent Atheists (OA). AoC members are invited to join this OA meetup and/or OA Facebook group ( https://www.facebook.com/groups/omnipresentatheists/ ) but are free to continue conversations on the AoC Facebook group ( https://www.facebook.com/groups/columbusatheists/ ). AoC was founded in 2012 as a networking, social group for Central Ohio area humanists, skeptics, atheists, agnostics, nonbelievers, freethinkers, and the curious. It was a member of Columbus CoR and held weekly meetings, mostly on Fridays, for several years but then operated as an online only group for some time. In November 2018, Omnipresent Atheists (OA), a group that routinely meets on Tuesdays, invited AoC to merge.
Omnipresent Atheists is a member of the Columbus Coalition of Reason (ColumbusCoR.org). Omnipresent Atheists is a member of the Columbus Coalition of Reason ( http://www.ColumbusCoR.org ). Omnipresent Atheists endorses the mission of the Secular Coalition for America ( http://secular.org ).
This group has been meeting every Tuesday evening for over a decade. Many attendees do not RSVP on meetup. Please don't let the small number here discourage you. Anyone/everyone is welcome to come. We'd love to have you join us.
DoJo (Informal Python Meeting)
**New Dojo Location!**
**Draft Day Columbus**
1130 Dublin Road
Columbus, OH 43215
We're going to try a new dojo location for a few weeks and see how it works
Dojos are informal Python group study sessions where everyone interested in Python gathers to learn about Python, help others with Python, or just hang out. Everyone is welcome from Python beginners to experts. Bringing a laptop is encouraged (we'll have extension cords and power strips). If there's something you want to learn leave a comment on this invite so we can plan ahead.
We're looking for topic suggestions and people interested in presenting at our monthly meetings. To this end we've set up a survey form at [https://docs.google.com/forms/d/15eBKF1nQQ2XS5gzD4rvhVRHMBEj7lJtHuA9wXupS3Uc](https://docs.google.com/forms/d/15eBKF1nQQ2XS5gzD4rvhVRHMBEj7lJtHuA9wXupS3Uc)
Pot Luck at the Office!
Inspired by our successful events like "Saturday Mornings @ East Market" and other "Pot Luck in the Park" lunches, this gathering promises to be a blend of fun conversations, language exchange, and cultural insights, all while sharing wonderful foods with each other.
Please bring a dish to share and anything you would like to drink.
We will provide plates, plastic silverware and napkins.
So, come hungry and ready to chat!
Agile Coaching Circle -- IN-PERSON
Join other experienced and aspiring agile coaches and professionals to:
* develop and practice your coaching skills in a peer-to-peer environment
* share current successes and challenges in your work environment and get support from each other
* learn from each other, build better relationships and experiment with new ideas
COUNT Discussion Meeting: Topic: Current Events
We may pick a specific topic and post in advance or may discuss current events and various ad hoc topics . We would love to spend time hanging out and getting to know one another.
Atheist, agnostics, other non-theists, and atheist-friendly people are welcome to join us.
Note: COUNT operates a Facebook page at www.facebook.com/groups/COUNT.discussions (http://www.facebook.com/groups/COUNT.discussions/) to promote discussions among members and visitors.
Type Theory Events Near You
Connect with your local Type Theory community
Prototype, Play, and Build Workshops (In-Person @GameArena)!!!
This month, we are in-person at GameArena!!! We will also be joined by students and their games from [Shawnee State](https://www.shawnee.edu/game-design-programs)!
\-\-\-
Join us for our our monthly COGG Prototype and Play event @GameArena! Come to play and showcase your games.
We're back in the upper levels of the catwalk mezzanine area. It'll be packed with lots of camaraderie playing your game(s) and other's games on the 2nd floor as well as the 1st floor in the gaming room below the mezzanine.
Light snacks and water provided but you can buy food and drinks at the bar (alcoholic drink ID required).
[https://www.game-arena.co/menu](https://www.game-arena.co/menu)
**Attendees:**
Don't have a game to show? Not a problem! All are welcomed and invited from all ages and backgrounds. The more we can have to play test our games the better!
**Developers:**
Do you have a game that you would like to get critical feedback on? Would you like an excuse to work on a game with other talented artists, programmers, musicians, designers, and writers? Digital, table-top, non-experienced developers, and the like are welcomed! We'll provide signage for your game to help others learn more about your work. Wifi, outlets, tables, and seats (though standing tables also) are available.
Come to the Prototype and Play workshop to collaborate and meet local game developers for an evening of epic and raw game play fun! Play works-in-progress, show off your own game, work with others to add polish to a game, or even lend your talents to other fellow developers.
Can use South Garage at the Gateway with a $5 voucher on your way out.
75 E 11th Ave, Columbus, OH 43201
[https://maps.app.goo.gl/UwgveUYG37Jy7RtS9](https://maps.app.goo.gl/UwgveUYG37Jy7RtS9)
If you have any questions or comments, as always, feel free to reach out to us at [info@thecogg.com!](http://info@thecogg.com!/)
Cocoaheads
Come out to Improving for our monthly iOS and Mac meetings.
This Month's Presentation:
Nothing yet. (You should volunteer).
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/
CBusData - Discover the Power of Window Functions
Window functions have nothing to do with the Windows operating system but provide a “window” to a result set when used in SQL queries. They are powerful, set-based methods to view data in unexpected ways. Window functions provide easy, set-based solutions to solve some common problems:
* Using running totals
* Performing operations in intervals
* Identifying data gaps and islands
* Performing aggregates without losing detail
Many people are confused by window functions and do not know how to use them properly. This session will explore window functions, how they work, and how to use them. Demonstrations with several examples will solidify how window functions can simplify queries and make them more powerful.
Much Ado About Nullable - C# Nullable Reference Types Explained
On Thursday, March 12, 2026, we will meet at the TEKSystems offices at 700 N Hurstbourne Pkwy. Doors will open at 6:00 p.m., and the presentations will begin sharply at 6:30 p.m. Along with an excellent presentation, TEKsystems will provide food. Please RSVP so we know how much food to order. Afterward, we will go to Brick House Tavern for drinks and food to continue the conversation.
The session will also be broadcast at https://twitch.tv/TaleLearnCode.
### Much Ado About Nullable - C# Nullable Reference Types Explained
In 2019 (C# 8.0) Microsoft introduced a feature that has generated a lot of confusion, debate and outright dissent. I'm talking about Nullable Reference Types. In this presentation, I we dig into this feature, explore why it exists, what problem it tries to solve, how it works, and how people have critiqued it, so that you as a programmer can decide if and how you want to use it.
Columbus Code & Coffee 84 @ 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!
Sunday Brunch
Sleep in on Sundays. When you've had your fill of pajama-time, roll out and have some tasty brunch with your fellow Humanists!



























