Type Theory
Meet other local people interested in Type Theory: share experiences, inspire and encourage each other! Join a Type Theory group.
2,283
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
Pop-up Book Club 2 : The Tenth of December, by George Saunders
Let’s meet and discuss this fun but moving collection of wildly creative short stories.
(Photo credit: TimesNowNews.com)
Unity GameDev Hangout – Tools, Workflows & Open Discussion
This is a relaxed, community-driven Unity GameDev meetup.
There’s no strict agenda this time — just developers getting together to talk shop, share projects, and exchange ideas.
**Some topics that may come up (based on attendee interest):**
• Frame Debugger & performance tooling
• Addressables & additive scene workflows
• Input System, localization, responsive UI
• AI integration approaches
• DevOps & LiveOps experiences
• Full lifecycle: idea → cross-platform publishing
• Favorite Asset Store tools and hidden gems
• Weird Unity quirks we’ve all run into
*Nothing is locked in.*
Bring a project if you’d like.
Bring a question.
Bring a lesson learned.
Or just come hang out and meet other developers.
All skill levels welcome!
Fundamentals: by do Jung Ishu/ the art of fighting
We are a real world Martial arts group. \
Called DO JUNG ISHU (the art of fighting) \
Based off of Jeet kune do we just continued where Bruce Lee left off. \
We have been around a while. \
We are donation based.
Every week we get together and work technical skills and live pressure testing. \
Almost all of the instructors have been in everything from altercations in the real world to the ring and some still compete in the cage. \
If you want to take your skills up, improve your confidence, gain self defense skills, get in better shape, test yourself or just want to kill some time and possibly get hit a bit come on down. \
We will be located at 3923 N High St, Columbus, OH 43214 inside the whetstone rec center in the auditorium, upstairs in classroom B or outside in the grass between the playground and horseshoe area. our instructors are normally in a black and red art of fighting shirt \ if you can not find us call or text me at 6143570295
Saturday 1pm Wednesday 5:30pm
From Age 16 and up. attendees under the age of 18 must have a guardian with them. \
\
You must have a free leisure card for the rec center and must be registered for our class specifically .\
Wear workout clothing \
Bring a MOUTHPIECE! \
WE HAVE GLOVES. \
Hope to see you soon :-).\
We are run off of donations. \
let me know if you have any questions :)
Bad Girls Book Club March 2026
**Our March pick is *God of the Woods* by Liz Moore.**
**This month’s novel is an award-winning literary mystery that blends family drama with psychological suspense. It explores women’s voices and relationships while delivering an exciting, eerie, and deeply suspenseful story. The book is 576 pages in print or 14 hours and 35 minutes on audiobook.**
Early morning, August 1975: a camp counselor discovers an empty bunk. Its occupant, Barbara Van Laar, has gone missing. Barbara isn’t just any thirteen-year-old: she’s the daughter of the family that owns the summer camp and employs most of the region’s residents. And this isn’t the first time a Van Laar child has disappeared. Barbara’s older brother similarly vanished fourteen years ago, never to be found.
As a panicked search begins, a thrilling drama unfolds. Chasing down the layered secrets of the Van Laar family and the blue-collar community working in its shadow, Moore’s multi-threaded story invites readers into a rich and gripping dynasty of secrets and second chances. It is Liz Moore’s most ambitious and wide-reaching novel yet.
Shut Up & Write! Kingsdale Shopping Center
Greetings writers! Come down and join your fellow wordsmiths for one hour of uninterrupted writing time in the upper level of the Market District Supermarket in Upper Arlington.
The main entrance of the shopping center opens onto stairs/elevator leading up to the 2nd floor cafe section where we will have a table displaying a sign with the Shut Up & Write logo.
Writing is largely a solitary craft. Practicing with others in a community setting may be the thing you need to fire your own routine.
We’ll meet on Wednesday evenings, starting the clock at 6:30, following a brief period of introductions. This is solid writing time and all inclusive. Any project is acceptable, be it fiction, non -fiction, work or homework assignment. All is welcome and will remain private to you.
The market boasts a Starbucks, a full service bar and various affordable food options. Parking is plentiful, free Wifi is provided as well as outlets for charging your devices, though they are somewhat limited, so plan accordingly.
Show up as early as you like, or stay late. This group tends to socialize some, both before and after the alloted time, but this is not mandatory to you. Feel free to come and go as you please and late arrivals are welcome.
The cafe may be noisy on occasion so headphones/ earbuds are reccommended as you see fit.
Please try to RSVP if possible so that we may grab enough seats for all—the venue can be busy at times.
Feel free to message me privately wth any questions and/ or concerns you may have.
Happy writing!
Type Theory Events This Week
Discover what is happening in the next few days
Dinner After the Movie: Dinner at FUGU SUSHI After Project Hail Mary!
A great movie deserves a great dinner! Join us after PROJECT HAIL MARY for another fun and tasty dinner at a CMG-favorite restaurant, FUGU SUSHI! RSVPs are limited for the dinner portion of this event! Here are complete details:
FUGU SUSHI: Fugu Sushi offers a truly authentic experience that keeps customers (and the Movie Group) coming back for more. They offer an extensive menu with a delightful array of options and something for everyone! From their top-rated sushi, to tasty appetizers, soups, salads, bento boxes, tempura, delicious teriyaki dishes (including chicken, shrimp, salmon, tofu, vegetable and more), and vegetarian and vegan options, you’ll be certain to find something you love!
MENU: https://www.fugusushicolumbus.com/menus
RSVP: An RSVP here means you're signed up for the DINNER portion of this event. Seating is limited. If you also plan to join for the movie, please also RSVP in the separate event listing for the movie portion of this event. For the movie, we'll meet in the theater lobby at 2:10pm for the 2:30pm SuperScreen DLX showing. Advance ticket purchase for the movie is advised. Please RSVP in both events, if you plan to attend the movie and dinner.
Look forward to seeing you there, Dan
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)
March Madness Wine Bracket / House Wine / Multiple Weeks
A fun way to compare wines from two different countries at a time. House Wine is squaring off two countries' wines against each other each Thursday in March. March 12, March 19, March 26, and the Finals April 2nd.
Meet and Greet format....show up after 7pm, pay your $15 at the cash register, get your wine glass, and enjoy. I will get a table reserved for the group.
Remember, you may bring in your own food or takeout.
Attendance is your agreement to the Group's Waiver of Liability terms. See our Group homepage for details.
Parking is tough at House Wine; there is a municipal lot one-half block north of the shop and sometimes parking at the lot behind Jet Pizza, accessed by the lane between the east House Wine parking lot and the residence to the east.
LGBT Reads: In-Person Book Discussion
Join us for our March Book Club gathering where we will come together to discuss *The Manor of Dreams* by Christina Li in a safe and welcoming environment. Make new friends who share your passion for books and connect with fellow LGBTQ book enthusiasts.
Type Theory Events Near You
Connect with your local Type Theory community
COhPy Monthly Meeting
**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).
Topic: Type Annotations with John Cassidy
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 Central OH Python at centralohpython@gmail.com
From Web Forms to Web Components - Burton Smith
**Important time note:** Please plan on arriving between 5:30 and 6:00 as the elevators lock after 6 and you'll need to message us and we'll need to come get you.
The building address is 4450 Bridge Park
The entrance is 6620 Mooney St, Suite 400
**Abstract**
Web Forms gave .NET developers a powerful abstraction for building reusable UI controls long before design systems were a thing. Web Components finally bring that same idea to the browser natively.
This session explores how the Web Forms mindset translates into Custom Elements, Shadow DOM, and HTML templates. We’ll examine how Web Components enable design systems that work across frameworks, how they differ from server‑driven controls, and why they’re becoming a foundational layer for modern UI. Whether you’re maintaining legacy apps or building greenfield projects, you’ll leave with a practical understanding of how to apply familiar patterns in a modern, standards‑based way.
**YouTube Link**
TBA
Disc Tues / Choose Your Movie: TOW vs THEY WILL KILL YOU at the Gateway!
Join us as we get together for a Discount Tuesday / Choose Your Movie event to see your choice of the top-reviewed indie drama TOW or the action-comedy-horror THEY WILL KILL YOU! A winner either way! Here are details, trailer and plan for this event:
TOW: This drama follows a homeless Seattle woman who fights her way out of tow-company hell to reclaim her life and the car that held it all together after receiving a tow bill for $21,634. The film is directed by Stephanie Laing and stars Rose Byrne, Dominic Sessa, Demi Lovato, Ariana DeBose, Octavia Spencer, Simon Rex, Elsie Fisher and Corbin Bernsen. Tow premiered to rave reviews at the 2025 Tribeca Film Festival where critics declared, “Tow is a winner” and called the film “a story of perseverance, heart, and real fight, the kind of small human story we see less frequently these days, but need now more than ever!” TRAILER: https://www.youtube.com/watch?v=kiUtqgeDVI8
THEY WILL KILL YOU: A woman takes a job as a housekeeper in a NYC high-rise, unaware of the building's history of disappearances. She soon realizes the community is shrouded in mystery. The film is directed by Kirill Sokolov and Zadie Beetz, Myha'la, Paterson Joseph, Tom Felton, Heather Graham, and Patricia Arquette. The film is being released immediately following its premiere at this year’s SXSW Festival earlier this month. TRAILER: https://www.youtube.com/watch?v=XYqQPiXpi4w
PLAN: We’ll plan for a 7pm-ish showing of both films and will meet in the upstairs lobby area about 30 minutes before showtime! Once showtimes are announced, advance ticket purchase via the GFC website is advised! Once you have yours, please list your movie of choice and seat number in the Comments section of this event. Complete details will be confirmed/announced as the date gets closer.
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!
Look forward to seeing you there, Dan
NSCoder Night
Bring your work or your hobby, hang out, and code with us.
Follow @buckeyecocoa for more information.
Omnipresent Atheists Weekly Meetup (4th 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.
From Idea to Working App in Minutes: The Agentic Development with Amazon Kiro
Discover Kiro, AWS’s innovative development environment that adapts to your workflow. Whether you prefer specification-driven development or a more intuitive, vibe-based approach, Kiro empowers you to build applications your way.
In this session, speakers will explore Kiro’s core functionality and its evolution through re:Invent 2025, along with demonstrations of prompts used to create APIs, hooks, and steering documents.
In the latter part of the session, watch as we build a complete example from scratch, showcasing Kiro’s agentic AI workflow in action for spec-driven development and vibe coding.
What You'll Learn - Core Kiro concepts and development philosophy
Feature evolution: pre and post re:Invent 2025
Practical examples: API creation, hooks, and steering docs
Live coding demonstration with real-time problem solving
Who Should Attend - Developers, solutions architects, and technical leaders interested in modern AWS development tools and AI-assisted coding workflows.
**Speakers Bio:**
Matthew Jorat: Matthew Jorat is a Customer Solutions Manager at AWS with nearly three decades of expertise in AI, cloud transformation, migration, modernization, IT, technology, and business. His career spans infrastructure engineer, solutions architect, security auditor, customer success director, support and services director, and operations officer. He was an early adopter of AWS services as a customer, and his current role at AWS uniquely blends his technical and business skills as he partners with executive teams to translate strategic priorities into measurable business outcomes through cloud adoption, AI implementation, and operational excellence. Matt leads end-to-end AI initiatives for enterprise customers, identifying high-impact use cases and maintaining relentless focus on measurable ROI. He holds eight AWS certifications and serves as Adjunct Professor at Franklin University teaching cloud computing and AWS architecture. His expertise encompasses GenAI, agentic AI systems, migration, modernization, and optimization strategies that drive transformation at scale.
[https://www.linkedin.com/in/mattjorat/](https://www.linkedin.com/in/mattjorat/)
Girish Bhatia: Girish Bhatia is a seasoned technology delivery leader with deep expertise in cross-domain program management. He holds multiple AWS certifications, including AWS Certified Solutions Architect – Associate, AWS Certified Developer – Associate, and AWS Generative AI Practitioner, and is also an AWS Community Builder. Girish brings over two decades of experience in the information technology industry.
Throughout his career, Girish has led major technology-driven business transformation from modernizing on-premises applications to driving large-scale cloud migrations. His work includes API-based integration platforms, data-center and mainframe modernization, and enterprise cloud adoption initiatives.
Based in Columbus, Ohio, Girish works at a tech-forward fintech company. He is passionate about AWS serverless architectures, Generative AI and emerging cloud technologies. An avid learner and builder, he continues to explore and apply the latest innovations in AWS to help organizations accelerate their digital transformation.
https://www.linkedin.com/in/girishbhatia/[https://www.linkedin.com/in/girishbhatia/](https://www.linkedin.com/in/girishbhatia/)
**THANK YOU** *Franklin University* for hosting our meetup! To learn more about *Franklin University*, please visit their website: https://www.franklin.edu/
**DIRECTIONS**
Franklin University
Fisher Hall
300 E. Main St, Columbus, OH 43215
Map: https://maps.app.goo.gl/jxjBA2hUmS5qrvhq8
Parking is FREE! Please park in Lot C in front of Fisher Hall. See attached map.
NOTE: Map the address only. When mapping with Google Maps it may use the Fisher Hall at OSU, which is NOT correct.
**Want to sponsor the pizza and/or bar tab?**
Please contact me if you would like to sponsor this meetup's pizza and/or bar tab: angelo@mandato.com
ASH UU Topic: TBD
ASH is Atheists, Skeptics and Humanists of First Unitarian Universalists of Columbus Ohio
TBD
Snacks are usually available, and you are welcome to bringing something to share!

























