Skip to content

Mathematical Logic

Meet other local people interested in Mathematical Logic: share experiences, inspire and encourage each other! Join a Mathematical Logic group.
pin icon
1
members
people1 icon
1
groups

Largest Mathematical Logic groups

  • Photo of the user Member 1
  • Photo of the user Member 2
1 members

Newest Mathematical Logic groups

Frequently Asked Questions

Yes! Check out mathematical logic events happening today here. These are in-person gatherings where you can meet fellow enthusiasts and participate in activities right now.

Discover all the mathematical logic events taking place this week here. Plan ahead and join exciting meetups throughout the week.

Absolutely! Find mathematical logic events near your location here. Connect with your local community and discover events within your area.

Mathematical Logic Events Today

Join in-person Mathematical Logic events happening right now

Libera Animae - Freeing the Soul
Libera Animae - Freeing the Soul
Main Library, Meeting Room 2B 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. All backgrounds are welcome.
COhPy Monthly Meeting
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: This month John Lairson will share a notebook describing the Alpaca (Paper) Trading API and discuss different algorithms for evaluating stock trades. 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
Web Development to AI Course Preview & Introduction Session
Web Development to AI Course Preview & Introduction Session
Join DotBitz for an interactive course preview and introduction session designed for students, parents, and aspiring learners interested in Web development, programming and future AI technology careers. During this session, you will learn about: * DotBitz learning programs and course pathways * How students can start learning programming from an early age * Career-focused learning and mentorship opportunities * Real-world skills students can develop through technology education * Future opportunities in software development and technology careers * How AI will be impact in our future career. This event is a great opportunity to explore how DotBitz supports students from beginner learning to career readiness in a structured and supportive environment. ### Event Details 📍 Location: Columbus Metropolitan Library 4500 Hickory Chase Way, Hilliard, OH — Meeting Room 2A 📅 Date: May 18, 2026 🕔 Time: 5:00 PM – 6:00 PM We welcome students aged 9+, parents, beginners, and anyone interested in learning more about programming education and technology career pathways.
Beginner and Intermediate Bachata Dance Classes with Todd Smith!
Beginner and Intermediate Bachata Dance Classes with Todd Smith!
**✅ Bachata Mondays with Todd Smith!** **👉 Beginner Bachata Class** **$15 In Advance / $20 At the Door** . 7:00 pm – 7:15 pm … Registration 7:15 pm – 8:15 pm … Beginner Class . **👉 Intermediate Bachata Class** **= $15 In Advance / $20 At the Door** . 8:15 pm – 8:30 pm Registration 8:30 pm – 9:30 pm Intermediate Class . **👉 If You Take Both Bachata Classes** **= $25 In Advance / $35 At the Door** . **👉 Buy Advance Tickets Now at:** . https://columbussalsadancing.com/bachata-mondays-dance-class-tickets/
Bachata Dance Classes: Beginner and Intermediate (Every Monday)
Bachata Dance Classes: Beginner and Intermediate (Every Monday)
**✅ Bachata Mondays with Todd Smith!** **👉 Beginner Bachata Class** **$15 In Advance / $20 At the Door** 7:00 pm – 7:15 pm … Registration 7:15 pm – 8:15 pm … Beginner Class **👉 Intermediate Bachata Class** **= $15 In Advance / $20 At the Door** 8:15 pm – 8:30 pm Registration 8:30 pm – 9:30 pm Intermediate Class **👉 If You Take Both Bachata Classes** **= $25 In Advance / $35 At the Door** **👉 Buy Advance Tickets Now at:** https://columbussalsadancing.com/bachata-mondays-dance-class-tickets/
Ask an Expert @ CML: Minority Business Assistance Center
Ask an Expert @ CML: Minority Business Assistance Center
No appointment needed - just support from a real, live person. Access services offered through the Ohio Department of Development The Department of Development Minority Business Development Division supports the growth and sustainability of small, minority-owned, and disadvantaged businesses in Ohio. Supporting these businesses means providing them with resources that include technical and professional assistance, access to capital, surety bonding, and connection to business opportunities through the assistance of the Minority Business Assistance Centers (MBAC). The Division leverages these resources to support the achievement of the state's 15% Minority Business Enterprise (MBE) set-aside requirement. The Division works with entrepreneurs and emerging business enterprises to help them achieve scale and market success. The overarching goal is to help small, minority-owned, and disadvantaged businesses contribute to job creation and economic growth in Ohio. The Centers provide the following services: * Accounting assistance * Business management counseling * Completing federal, state, and local certification applications * Contract procurement assistance * Estimating/bidding assistance * Identifying local resources * Loan packaging assistance * Marketing plan development * Referrals to financial assistance program *

Mathematical Logic Events This Week

Discover what is happening in the next few days

Drunken Philosophy: What’s up with all the AI hate?
Drunken Philosophy: What’s up with all the AI hate?
**Welcome to Drunken Philosophy** a casual, curious social discussion **Optional topic for this meetup: What's up with all the AI hate?** A recent survey found that 74% of Americans have a negative view of AI, and I want to know why. Come out and debate whether AI is good or bad. My hot take: a labor-saving tool that could potentially help cure cancer gets called dangerous because it might raise unemployment or cause a speculative investment bubble, that tells you a lot more about capitalism and the economic system we live under than it does about the tool itself. As a computer programmer, I think AI is a wonderful tool that has increased my productivity by at least an order of magnitude. I'd go so far as to say Claude Code is the best tool I have ever used. Debate me and name a better one. Is AI potentially dangerous? Yes, but so are a lot of tools. Chainsaws. Steam engines (early ones would occasionally explode and kill everyone in the room). Do you think cavemen sat around debating whether fire could be used as a weapon or for self-harm, and decided not to discover it? I have two friends who hate AI for opposite reasons: one thinks it's a fad and not useful, and the other thinks it's going to take over everything and cause human extinction. Come out tonight, have a friendly debate, and make some friends. No lectures. Friendly crowd. Drop in for one drink and stay if it's fun.
Building Scalable Customer Identity Resolution Pipelines on AWS Using AI
Building Scalable Customer Identity Resolution Pipelines on AWS Using AI
Customer identity resolution becomes increasingly complex as organizations scale across multiple systems, regions, and data formats. Traditional rule-based approaches often fail to keep up with data variability, require constant manual tuning, and struggle with real-time processing needs. This session presents a practical approach to building a scalable identity resolution pipeline using AWS services and modern AI techniques. The architecture combines data ingestion through Amazon S3 and AWS Glue, transformation pipelines using Spark on EMR, and machine learning models deployed via SageMaker for entity matching and standardization. Graph-based relationship modeling is implemented using Amazon Neptune to improve resolution accuracy by incorporating household and shared attribute context. We will walk through how machine learning models can be used for name and address normalization, how intelligent blocking strategies improve matching efficiency, and how feedback loops can be introduced to continuously improve accuracy. The session also highlights how serverless components such as AWS Lambda can be used for orchestration and real-time processing. **SPEAKER BIO** Mosaic Syed is a Senior Data Engineering and Cloud Solutions Architect with over 20 years of experience designing and delivering scalable, secure, and high-performance data solutions across global enterprise environments. https://www.linkedin.com/in/mosaic-basha-syed-92300856 **CALL FOR SPEAKERS** Learn more: [https://www.awscolumbus.com/get-involved/](https://www.awscolumbus.com/get-involved/) **THANK YOU** *VEEAM* for hosting our meetup! To learn more about *Veeam*, please visit their website: [https://www.veeam.com/](https://www.veeam.com/) **DIRECTIONS** 8800 Lyra Dr #450 · Columbus, OH go to 4th floor. **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
Summer Kick-Off: THE MANDOLRIAN & GROGU at Lennox Phoenix + Happy Hour at BRAVO!
Summer Kick-Off: THE MANDOLRIAN & GROGU at Lennox Phoenix + Happy Hour at BRAVO!
Join us as we kick off Summer Movie Season with a Happy Hour & a movie event to see the sci-fi action-adventure, THE MANDOLARIAN AND GROGU! The sci-fi action-adventure follows a lone bounty hunter and his apprentice Grogu (Baby Yoda) embark on an exciting new Star Wars adventure. Here are details, a trailer and our plan for this event: DESCRIPTION: In the film, Djarin and his apprentice Grogu are enlisted by the New Republic during a period where remaining Imperial warlords threaten the galaxy. The film is written/directed by Jon Favreau (the mastermind behind the early MCU films) and stars Pedro Pascal, Sigourney Weaver and Jeremy Allen White. TRAILER: https://www.youtube.com/watch?v=uwild1rw7Aw HAPPY HOUR PLAN: For Happy Hour food and drinks before the show we’ll meet in the bar area at nearby Bravo at 5:15pm! We’ll have a section reserved for the group, so keep an eye out for us and we’ll keep one out for you! CMG Pro Tip: If you can, bring cash as it helps make for a quicker exit from the restaurant. MOVIE PLAN: Please purchase your ticket for the 6:45pm showing and meet in the lobby area at 6:30pm! Tickets on sale now and advance purchase as soon as possible is advised! Once you have yours, please list you seat number in the Comments section of this event. Happy Summer and See You Soon, Dan
Quarterly Community Gathering
Quarterly Community Gathering
Join the Columbus AI community for our quarterly gathering — a casual, community-focused evening where everyone has a chance to share, learn, and connect. These open mic–style events give anyone in the community up to **5 minutes** to present a project, share a tool, pose a question, or offer a perspective on the evolving AI space. No slides required — just a welcoming space to exchange ideas and keep the local AI conversation moving. If you’d like to take the stage, message \*\*Chris (the organizer)\*\*with a **title and short description** of what you’d like to share. Whether you’re deep in the field or just getting curious, come connect with others building and exploring AI in Columbus. Sponsored by [Transform Labs](https://www.linkedin.com/company/transformlabs/) Sign up also accessible via [Transform Labs Luma](https://luma.com/transformlabshq)
COUNT monthly event: Kitchen service at Van Buren Center's shelter
COUNT monthly event: Kitchen service at Van Buren Center's shelter
Come assist Van Buren Shelter (https://ymcacolumbus.org/locations/vanburen) staff in serving dinners and cleaning up on the 3rd Tuesday of each month. Dinner for the women is 5-6 pm and for the families is 6:15-7:15 pm. There is ample free parking available in the shelter's lot. The recommended area to park is in green in the image above. There will be a new entrance for the time being. We are asking all volunteers to enter through the Donation Dock door, the orange mark on the image above. This door is located between the Single Adults and Family Shelter. You will see 2 large garage doors with a large green trash compactor in the center. Please head to the closest garage door to the building wall, with a ramp leading up. There, you will see a door with a sign stating instructions on how to enter the building. Please ring the doorbell, and a staff member will come and escort you into the building. If a staff member takes longer than 5 minutes, please call the front desk at 614-689-2020. This is a new process for us, and we do not want to keep you waiting! We appreciate your patience as we navigate this temporary change. The shelter needs a volunteer count the day before the event so sign-up ends Monday at 4:50 PM. Afterwards some of us go to the Omnipresent Atheists Weekly Meetup in progress to have a bit to eat or drink (http://www.meetup.com/omnipresentatheists/). Volunteers must be 14 or older. Since we will be working around families, the YMCA does not permit volunteering by individuals with convictions for violent or sexual crimes. The YMCA reserves the right to run background checks on volunteers. For questions, comment on this page or contact: Andrew, awhit12@yahoo.com, (614)937-5802 (cell). Please let Andrew know if you volunteer anytime other than our COUNT events so that he can count your hours toward our service record.
Brunch Social at 17 Arrows Kitchen & Bar
Brunch Social at 17 Arrows Kitchen & Bar
Join us for a relaxed and enjoyable brunch at 17 Arrows Kitchen and Bar! This is a great opportunity to meet new people, enjoy good food, and ease into the weekend with great conversation. Whether you’re new to the group or it’s your first event, you’ll feel right at home.
Building Agents with Microsoft Agent Framework
Building Agents with Microsoft Agent Framework
We will show how to build custom agents with Microsoft Agent Framework. Attendees will learn how to build and custom host agents when Microsoft Foundry is not a viable option.

Mathematical Logic Events Near You

Connect with your local Mathematical Logic community

Omnipresent Atheists Weekly Meetup (4th Tues)
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.
TBD
TBD
**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 You will need to scan your ID at the door to get a visitor badge. **Abstract** TBD **YouTube Link** TBD
Pagans on the Patio
Pagans on the Patio
**Pagans on the Patio! Summer/Fall Series** A casual gathering the first Thursday of each month. Time to relax, meet new people, and reconnect with old friends. There is no charge for the event itself and all are welcome but there are a few guidelines: 1. **You are expected to purchase food and/or drink to compensate the Cantina and our server.** 2. **No soliciting. Do not bring samples of your wares or brochures of your services.** 3. **Please respect the spiritual and political views of others that are present. No disruption of the peace.** In case of inclement weather, we will find seating indoors. I hope to see you there. Blessed be! \~ Cynthia ❤️---
ASH UU Topic: TBD
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!
Surrey Personality Matched Speed Dating Zoom
Surrey Personality Matched Speed Dating Zoom
**🪷 Speed Dating Live on Zoom for Singles near Surrey** You get to cycle through rapid one-on-one Zoom dates with Surrey singles matched by age and personality, while the host manages transitions so you can focus on the person in front of you. As part of the process, a two-minute quiz captures your personality — those details are used to identify compatible Surrey singles for your rounds, so the format works harder than any dating app. Once it is wrapped up, we send mutual match results — with nothing shared unless both parties agreed — and you are in control of what happens next. **Your age group, your link:** - **Ages 18-32** → [REGISTER HERE](https://tempodating.com/product?productId=537.0&productType=onlineSpeedDating&city=Surrey&groupurlname=the-collective-for-intentional-social-growth&ar=18-32&face_v=4.0) - **Ages 30-46** → [REGISTER HERE](https://tempodating.com/product?productId=537.0&productType=onlineSpeedDating&city=Surrey&groupurlname=the-collective-for-intentional-social-growth&ar=30-46&face_v=4.0) - **Ages 40-58** → [REGISTER HERE](https://tempodating.com/product?productId=537.0&productType=onlineSpeedDating&city=Surrey&groupurlname=the-collective-for-intentional-social-growth&ar=40-58&face_v=4.0) - **Ages 55+** → [REGISTER HERE](https://tempodating.com/product?productId=537.0&productType=onlineSpeedDating&city=Surrey&groupurlname=the-collective-for-intentional-social-growth&ar=55+&face_v=4.0) **⚠️ Required step:** This rsvp does not equal a reserved seat, so select your age range link above, fill in the registration, and answer the personality quiz — capacity is intentionally small so get in early, and your place is confirmed only once you have done both. --- **Your evening, step by step** 1. **Claim your spot** – by tapping the link for your age group, then finish the compatibility quiz, as the quiz plus registration is what counts. 2. **Jump on Zoom** – by clicking the Zoom link at the event start time, zero setup is required — just open the link, and once you are in the host handles the rest entirely. 3. **Have your dates** – short one-on-one rounds with personality-matched Surrey locals in your group, as the host signals each transition calmly and clearly, and the people in your rounds were sorted specifically for you. 4. **Find your matches** – mutual matches are sent to you privately after the event ends, since non-mutual choices are never shared with either party, and once you have it you decide how and when to connect. **Who shows up:** - Members from Surrey bored of dating apps that go nowhere and want to meet real locals without the faff. - First-timers from around Surrey looking beyond the app treadmill that goes in circles and are serious about meeting someone. - Individuals across Surrey getting away from apps that waste evenings for no return and want to meet real locals without the faff. - Residents from around Surrey looking beyond swiping with nothing to show for it and prefer meeting people in person first. - Locals calling Surrey home getting away from dating apps that go nowhere and are ready for a genuine first impression. **About the Event** - **Format:** Dedicated and hosted via Zoom with back-to-back private rounds per pair, sorted by personality quiz and age for every round. - **Where:** At-home — on any internet-connected device, no special equipment — just a device with a camera and internet, and couch desk or spare room are all equally valid spots. - **Host:** A supportive host guides every round from start to finish, so the evening runs without a hitch — not a single logistical thing is left for you to manage. - **Vibe:** Comfortable video rounds with Surrey singles who are here for the same reason you are, and the host keeps everything comfortable throughout. - **Duration:** Usually sixty to ninety minutes from round one onwards, though times can vary slightly. ⭐ *"Better than expected — way better than anything I have tried before"* – Surrey local, first event 💡 **Worth knowing:** put your phone on silent before joining, and the host takes care of everything else from there, since small prep leads to a noticeably better experience. --- ✨ Done with apps — start here — grab your place above before it goes and we sort the rest this time. See you in the first round. 💕 ✨
COUNT Discussion Meeting: Topic: Current Events
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.
Three Creeks Metro Park
Three Creeks Metro Park
We'll get in around 4 miles at Three Creeks Metro Parks, primarily natural trails. 17-18 minute miles, no one left behind, and faster walkers are free to lead out. Optional lunch after! If you're joining for hiking all the metro parks, this is the sixth one!