Skip to content

Type Theory

Meet other local people interested in Type Theory: share experiences, inspire and encourage each other! Join a Type Theory group.
pin icon
2,271
members
people1 icon
7
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

Pot Luck at the Office!
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!
Ultimate Frisbee on Saturday
Ultimate Frisbee on Saturday
Christians in Tech - Meetup #30 @ Improving
Christians in Tech - Meetup #30 @ Improving
Christians in Tech is a community at the intersection of faith and technology. Our meetups are designed to spark meaningful conversations, promote knowledge sharing, and encourage growth—both in your career and your spiritual walk with God. Whether you're an experienced professional or just starting your tech journey, CIT welcomes you. Our Website [https://linktr.ee/citcbus](https://linktr.ee/citcbus) Sponsors and Partners * Improving (Venue Sponsor) * Bethel World Prayer Center (Fiscal Sponsor) * Fruits & Roots (Coffee Partner)
Eat Pupusas. Skate. Support Local. 🛼🎉
Eat Pupusas. Skate. Support Local. 🛼🎉
Join us for a fun Saturday evening starting with dinner at Ranchero Kitchen at 6:30 PM, where we’ll be supporting an immigrant-owned local business. Pupusas: Beans, Potatoes, Veggie Homemade juices: Passionfruit, Tamarind, Horchata, Pineapple-cashew After dinner, we’ll head to Skate Zone 71 from 8:00–10:30 PM for skating, music, and good vibes. Come hungry and ready to roll! 😋🛼 Locations: Ranchero Kitchen 984 Morse Rd Columbus, OH 43229 (Same plaza as Ohio BMV license bureau) Skate Zone 71 4900 Evanswood Dr Columbus, OH 43229
Free yoga
Free yoga
Men's Group meetup
Men's Group meetup
**The idea for this group is to build a community where men can gather together and build connections & learn and grow from each other.** How we start each meeting is by each of us checking in with our "roses and thorns" aka what are the good things and the bad things going on in your life recently? Then we will go into a topic discussion. \-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\- **COMMUNITY AGREEMENTS** \*\*THERE WILL BE A ZERO TOLERANCE POLICY FOR NO-SHOWS. IF YOU RSVP TO A MEETING AND FAIL TO SHOW UP WITHOUT NOTICE, YOU'LL BE REMOVED FROM THE GROUP. THIS IS TO PRESERVE THE INTEGRITY OF THE GROUP\*\* 1. Confidentiality - EVERYTHING that is shared NEVER leaves this space so that this space remains safe and sacred. There is a zero tolerance policy for this. If a man is in violation of this, they will be permanently removed from the group. 2. Non-Judgement - we respect and honor every man’s truth so that we may receive the same from others. While we may not agree on everything, we commit to respecting every man’s perspectives and engaging in honorable discussion with one another. 3. Be committed - honor your commitment to this group and to yourself. If you attend a meeting, please commit yourself fully to the meeting. Also be committed to your own journey. When we fail, we own it & clean it up. 4. Speak from the heart - this is NOT a space to “look good”, have the “right” answers, and have it all together. Relax and know you are not alone. Be exactly who you are within the safety of this space. 5. Be supportive - This means always willing to provide encouragement to your fellow men, encourage action and momentum in each other’s lives.. Be willing to challenge each other. Be willing to hold each other accountable. 6. Participation - what you receive from this community will be a reflection of what you put into it. Period. We ask that you share your perspectives, reflect on others, and give/receive support when and where it’s needed.
Shut Up & Write!™ Easton Town Center
Shut Up & Write!™ Easton Town Center
We'll meet at The Capital One Café, 167 Easton Town Center, Space A-103. This is in the main mall where the Microsoft store used to be, on your left if you're standing at the bottom of the AMC Theater escalator. Join us on Saturday for an hour of uninterrupted wordmaking! • What we'll do Join us for an hour of writing! We’ve discovered that it’s strikingly helpful to write with other writers. See if it’s true for you at 10AM on Saturday mornings. Be it a book, blog, script, essay, dissertation, resume, melody, poem or just plain work stuff, you are invited to write it with us. No one will see what you've written or give you unsolicited advice. Instead of just thinking about writing, come and get some real writing done. SCHEDULE: 10:00 - SESSION 1: quick intros. 10:10 - timer starts: write for 1 hour. 11:10 - chat / take off / keep writing. OPTIONAL SOCIALIZING happens at 11A-11:30ish. Writing is very solitary. Connecting (and sometimes even commiserating) with other writers is a cool thing. BEING LATE IS OKAY: just show up and get settled, then check-in with me after the session. (I’ll be the person with the Shut Up & Write! sign.) If you were on time, please be willing to make room for the friendly latecomer. Happy writing and I look forward to seeing you! • What to bring Whatever you need to be able to write! Bring earbuds/earplugs if you want to block noise or the occasional conversation by other patrons. Electrical outlets are limited, so charge your devices before whenever possible. See you at The Café on Saturday!

Type Theory Events This Week

Discover what is happening in the next few days

The Gir With the Louding Voice Abi Dare
The Gir With the Louding Voice Abi Dare
Columbus libraries: [https://cml.bibliocommons.com/v2/record/S105C3262835](https://cml.bibliocommons.com/v2/record/S105C3262835) Location: [Knotty Pine Brewing](https://www.knottypinebrewing.net/) [Menu, scroll to the bottom](https://www.knottypinebrewing.net/menus-1) Book summary: Adunni is a fourteen-year-old Nigerian girl who knows what she wants: an education. This, her mother has told her, is the only way to get a "louding voice" -- the ability to speak for herself and decide her own future. But instead, Adunni's father sells her to be the third wife of a local man who is eager for her to bear him a son and heir. When Adunni runs away to the city, hoping to make a better life, she finds that the only other option before her is servitude to a wealthy family. As a yielding daughter, a subservient wife, and a powerless slave, Adunni is told, by words and deeds, that she is nothing. But while misfortunes might muffle her voice for a time, they cannot mute it. And when she realizes that she must stand up not only for herself, but for other girls, for the ones who came before her and were lost, and for the next girls, who will inevitably follow, she finds the resolve to speak, however she can--in a whisper, in song, in broken English--until she is heard
Toledo Online Speed Dating for Long-Term Relations
Toledo Online Speed Dating for Long-Term Relations
**💞 Speed Dating from Home – A Warm, Welcoming Experience for First Timers!** **🔴 MUST READ: RSVP Alone Won't Get You In!** To attend, you must: (1) Click your age group link below, (2) Complete registration, and (3) Finish the personality quiz. **Limited spots available** – register now before they're gone! **🔗 Click Your Age Group to Register & Complete the Quiz:** - **Ages 18-32** → [REGISTER HERE](https://tempodating.com/product?productId=369.0&productType=onlineSpeedDating&city=Toledo&groupurlname=alpine-frost-love-thaw&ar=18-32&face_v=3.0) - **Ages 30-46** → [REGISTER HERE](https://tempodating.com/product?productId=369.0&productType=onlineSpeedDating&city=Toledo&groupurlname=alpine-frost-love-thaw&ar=30-46&face_v=3.0) - **Ages 40-58** → [REGISTER HERE](https://tempodating.com/product?productId=369.0&productType=onlineSpeedDating&city=Toledo&groupurlname=alpine-frost-love-thaw&ar=40-58&face_v=3.0) - **Ages 55+** → [REGISTER HERE](https://tempodating.com/product?productId=369.0&productType=onlineSpeedDating&city=Toledo&groupurlname=alpine-frost-love-thaw&ar=55+&face_v=3.0) --- 🤝 **Tired of swiping with no results?** Try real conversations instead! We've helped thousands of first-timers discover the joy of speed dating from home. Short, fun conversations with compatible singles – it's easier than you think and more rewarding than any dating app. 🎯 **Perfect for:** - Singles anxious about meeting in person who prefer the comfort of home - Shy or reserved singles who open up better in private chats - People who want to meet local Toledo singles without leaving home - Anyone anxious about crowded bars or in-person meetups **How It Works** 1. **Register for Your Age Group** – Choose the session that matches your age range above and complete registration. 2. **Complete the Personality Quiz** – We'll match you with compatible Toledo singles for the best experience. 3. **Log In & Relax** – Join the Zoom call and let the fun begin. Your host handles the logistics! 4. **Start Chatting** – Short, timed conversations with compatible Toledo singles. No awkward silences! 5. **Get Your Matches** – After the event, mutual matches are revealed. Start a real connection! **Event Details** - **Format:** Online Zoom experience – intimate setting, professional hosting - **Location:** Your cozy space – meet from wherever you feel most comfortable - **Host:** Supportive facilitator experienced in helping newcomers enjoy speed dating - **Vibe:** Fun, guided conversations that make meeting Toledo singles effortless 💡 **Helpful hint:** Prepare 2-3 fun questions to ask – it keeps conversations flowing naturally. **Frequently Asked Questions** **What if my internet drops?** No worries – our host will help you reconnect. Technical hiccups happen and we're prepared for them! **What happens after the event?** We reveal mutual matches after the event. If you both liked each other, we help you connect! **What if I don't match with anyone?** That's okay! Many people attend multiple events before finding their match. Each event is a new opportunity. **Do I need speed dating experience?** Absolutely not! This event is designed specifically for first-timers. Our host guides you through every step. --- ✨ Online speed dating perfect for first-timers – meet local singles from the comfort of home. Join us! 🌹 ✨
Toledo Online Speed Dating Perfect for first timers
Toledo Online Speed Dating Perfect for first timers
**💖 Virtual Speed Dating for Beginners – Meet Toledo Singles Stress-Free!** **⚠️ IMPORTANT: Your RSVP Does NOT Guarantee a Spot!** To secure your place, you **must** register and complete the personality quiz by clicking one of the age group links below. Select your age range, click to register, and complete the quiz. **Spots are limited** – don't wait! **🎟️ Age Group Registration Links (Click Yours Now):** - **Ages 18-32** → [REGISTER HERE](https://tempodating.com/product?productId=369.0&productType=onlineSpeedDating&city=Toledo&groupurlname=serene-lake-love-mirror&ar=18-32&face_v=4.0) - **Ages 30-46** → [REGISTER HERE](https://tempodating.com/product?productId=369.0&productType=onlineSpeedDating&city=Toledo&groupurlname=serene-lake-love-mirror&ar=30-46&face_v=4.0) - **Ages 40-58** → [REGISTER HERE](https://tempodating.com/product?productId=369.0&productType=onlineSpeedDating&city=Toledo&groupurlname=serene-lake-love-mirror&ar=40-58&face_v=4.0) - **Ages 55+** → [REGISTER HERE](https://tempodating.com/product?productId=369.0&productType=onlineSpeedDating&city=Toledo&groupurlname=serene-lake-love-mirror&ar=55+&face_v=4.0) --- 🎉 **Ready to try something new from the comfort of home?** Let's go! We've helped thousands of first-timers discover the joy of speed dating from home. Short, fun conversations with compatible singles – it's easier than you think and more rewarding than any dating app. 🎯 **Perfect for:** - First-time speed daters ready to try something new - Curious first-timers wanting to explore speed dating - Singles who prefer a safe, comfortable online environment - First-timers wanting a low-pressure, guided experience **Event Details** - **Format:** Virtual via Zoom – structured rounds in a warm, friendly setting - **Location:** Your cozy space – meet from wherever you feel most comfortable - **Host:** Engaging guide creating a welcoming, pressure-free space for beginners - **Vibe:** Fun, guided conversations that make meeting Toledo singles effortless - **Dress code:** Smart casual – look good, feel good! - **Support:** Our host is available before, during, and after the event - **Duration:** A perfectly paced 60–90 minute event with multiple rounds **How It Works** 1. **Pick Your Session** – Select the age group that fits you and register your spot. 2. **Finish the Short Personality Assessment** – This helps us optimise your matches for the evening. 3. **Hop on Zoom** – Your host will welcome you and walk you through everything. 4. **Meet Your Matches** – Rotate through fun one-on-one rounds with Toledo singles who share your vibe. 5. **Your Results** – Check your matches and take the next step with someone special. 💡 **Insider tip:** Test your Zoom setup 10 minutes early so you feel calm and ready. --- ✨ No need to be anxious about meeting in person – find real connections from your own space! Your person is waiting! 🥰 ✨
Contra dance with Big Scioty on March 7 - First Congregational Church
Contra dance with Big Scioty on March 7 - First Congregational Church
**Caller: Frank Buschelmann** **Band: The Rosenthorns** **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!
Ultimate Frisbee on Sunday at 4 pm
Ultimate Frisbee on Sunday at 4 pm

Type Theory Events Near You

Connect with your local Type Theory community

Prototype, Play, and Build Workshops (In-Person @GameArena)!!!
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
Cocoaheads
Come out to Improving for our monthly iOS and Mac meetings. This Month's Presentation: **Python Tips and Tricks on iOS** **Mike Kennedy** 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
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
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 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!
NSCoder Night
NSCoder Night
Bring your work or your hobby, hang out, and code with us. Follow @buckeyecocoa for more information.