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,303
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

Thursday Night Preview:  THE BRIDE at the Gateway Film Center!
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
DoJo (Informal Python Meeting)
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)
Gold Star Business Networking
Gold Star Business Networking
Bring your business cards and network in person with other business professionals! Gold Star Referral Clubs is one of the most established professional networking organizations in the country, with multiple groups in central Ohio. Join us!
Westerville Queer Coffee Meetup
Westerville Queer Coffee Meetup
WQC has weekly Thursday night social nights at the Westerville Java Central. Come and grab a coffee and connect with the community: low stakes, chill environment, and tasty drinks. No registration is required; come as you are.
Hofbräuhaus [ Thursday 6:00 ]
Hofbräuhaus [ Thursday 6:00 ]
The aim of this group is to get together and practice our German. Doesn’t matter if are a beginner or a native speaker. The goal is to speak and improve our German. Everyone is welcome! If the weather is good, look for us in the Biergarten. Pro Tip: Get there before 6:00 for happy hour pricing.
Happening Hour at Natalie's!
Happening Hour at Natalie's!
Come join us at [Natalies](https://nataliesgrandview.com/) in Grandview for a free Happy Hour show. **The doors open at 5:00 pm.** Tonight is Sirens, an all girl rock band. This club has a great vibe with drink and eats specials. **The show runs from 5:15 pm - 6:30 pm.** There is no admission charge, but tips for the band are strongly encouraged. ***RESERVATIONS ARE FOR A 8-TOP; overflow can sit at the bar, lean in, or find available all season patio seating. MEMBERS ONLY, please. No guests.*** *(I have to pay for no shows. If you cancel late or no show, you may be temporarily removed from the group)*

Type Theory Events This Week

Discover what is happening in the next few days

IxDA Chat ‘n Pancakes
IxDA Chat ‘n Pancakes
Join membersrs of the Central Ohio UX and digital design community for a casual monthly breakfast.
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!
Agile Coaching Circle -- IN-PERSON
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
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! 🌹 ✨
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)

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: 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
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!
Sunday Brunch
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!