Mathematical Logic

**Latest Dojo Location!** **Knotty Pine Brewing** 1765 W 3rd Ave, Columbus, OH 43212 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 speakers for our Monthly Meetups! Fill out the form if you are interested in presenting to the Python Community. https://forms.gle/ehSfUAC2WgR34Crq9

The Alliance is part of the Greater Central Ohio Chapter of the Barbershop Harmony Society. We are an all-voices chorus dedicated to providing an inclusive environment for all those who love to sing, regardless of their race, gender identity, sexual orientation or musical background. The Alliance is the first and only all-voices barbershop chorus in Central Ohio. **Who:** Anyone with a passion for singing at a high level. Previous barbershop chorus/quartet experience not required. **When:** The Alliance rehearses weekly on Thursdays from 7pm-10pm. **Where:** Lord Of Life Lutheran Church: 2480 W Dublin Granville Rd, Columbus, OH 43235 To become a full member of The Alliance, we welcome you to start by visiting us for a few rehearsals to experience the group and sing with us! Then, you may begin the 2-part audition process for membership: the assessement, and audition. We strive to make our auditions as stress-free as possible to help you let your best singing self shine.

## 🤝 Host Information A co-hosted event by ProductTank Columbus & Women in Product Columbus 💡 About the Workshop AI adoption is stalling across organizations — not because of a lack of motivation or tools, but because it's fundamentally a behavior design challenge. This hands-on workshop applies proven Behavior Design models and methods to help you move from a vague organizational wish to boost AI adoption to 3-5 concrete, testable interventions you can act on starting tomorrow. Whether you're a product manager, on a product team, or just someone trying to get AI to actually stick at work, you'll leave with a clear picture of what's worth focusing on, what to ignore, and how to drive real, sustained adoption — no guesswork required. 🛠️ What to Bring Laptop: Fully charged and ready to go. AI Assistant: Have your favorite AI assistant pulled up. (Dom will be using Claude, but feel free to use whichever assistant you prefer!) 🍕 Logistics & Perks Food & Drink: Pizza and drinks provided! Parking: Plenty of free spaces available on-site. ###

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.

🔥 OVER 50 HAPPY HOUR at PBR EASTON! 🔥 Looking to meet new people, enjoy great music, dance, laugh, and have an unforgettable night out? Then grab your friends and join us for one of the most exciting Over 50 social events in Columbus! 📍 PBR Cowboy Bar + Smokehouse – Easton 📅 Thursday, June 18th ⏰ 6:00 PM – 9:00 PM (and the fun keeps going!) This is NOT your typical quiet happy hour… this is a high-energy, country-meets-nightlife experience designed for fun-loving singles and couples over 50 who still enjoy getting out, socializing, and making memories! ✨ What’s Happening: 🎵 Live Music from 6:30–8:30 PM 🐂 Mechanical Bull Riding starting at 8:30 PM 💃 Line Dancing with Instructor from 9–10 PM 🎧 DJ & Dancing starting at 9 PM 🍹 Drink Specials All Night: $3, $4 & $5 specials! Whether you want to relax with a drink, hit the dance floor, try the mechanical bull, or just meet a great group of people in a fun atmosphere — this event has something for everyone. 👉 IMPORTANT: When you arrive, CHECK IN with the host under: “Doug / Meetup” to receive your wristband. 🚗 FREE Parking available across from the venue and at the Easton West Garage. Come when you can, leave when you want… but don’t be surprised if you stay all night! Let’s make Thursday night FUN again! 🎉

Join us for our June Book Club gathering where we will come together to discuss [The Queer Principles of Kit Webb](https://catsebastian.com/the-queer-principles-of-kit-webb/) by Cat Sebastian in a safe and welcoming environment. Make new friends who share your passion for books and connect with fellow LGBTQ book enthusiasts.

NFT's are here to stay folks! This is a group for like minded people interested in understanding, leveraging, using, creating for, profiting from, trading too i suppose, NFT's.. everything around them, complexity, fear and exploits, best practices and more. **PLUS** This group will talk AI ART tools, techniques, artists, video, audio, prototypes and more in the AI assisted production space- ART specifically, but we can get into any aspect of some of the cooler things happening in AI in general.

We will be marching again this summer at Pride. Come ready to show your Pride and stand-up for every human's right to love, respect, and family! * **Step-off:** 10:30AM * **Route:** High Street from the Capital to Goodale Park Update: We are meeting at Bob Leonhard's house. You can park your car there and we will carpool to the parade. This will eliminate you finding parking in the city and excessive walking. You SHOULD BE AT BOB'S HOUSE BY 8:45 a.m.! We will leave for the parade at 9:15 am sharp! Bob's address: 2858 Thorndale Avenue, Columbus, OH 43207 If you have questions, his number is 614-301-7436

Welcome to Drunken Philosophy, a casual, curious, social discussion club. Come grab a drink and a seat at The Oracle. **Optional topic for this meetup: Where is everybody?** In 1950 the physicist Enrico Fermi was talking about aliens over lunch and asked a question that still has not gone away: if the universe is so vast and so old, and even a fraction of those billions of stars have planets, where is everyone? By the numbers the galaxy should be crowded with civilizations. Instead we look up and hear silence. That gap between "they should be everywhere" and "we see no one" is the Fermi Paradox. One of the most unsettling answers is the idea of a **Great Filter**: somewhere on the road from dead chemistry to a galaxy-spanning civilization, there is at least one step that is almost impossible to get past. Maybe the filter is behind us. Maybe life starting at all, or simple cells becoming complex, or intelligence ever evolving, is the freak accident, and we already cleared the hard part. Or maybe the filter is ahead of us, and advanced civilizations reliably wipe themselves out before they spread. Here is the part that messes with people. If we ever found life somewhere else, even pond scum on Mars, most people would call it the greatest discovery in history. But it might be the worst possible news. It would mean life is common, the early steps are easy, and the hard step is still in front of us. So the eerie silence overhead might actually be the best sign we could ask for. **Questions to wrestle with:** * Is it better to be alone? Would you rather we find alien life and learn we are not special, or find nothing and quietly improve our odds of surviving? * Where do you bet the filter sits, behind us or ahead of us, and why? * If it is ahead of us, what is it? Nuclear war, climate collapse, AI, something we cannot even picture yet? And can we do anything about a filter we cannot see coming? * Two principles pull opposite ways here. The principle of mediocrity (the Copernican principle, Sagan's "no privileged place in the universe") says we are ordinary, so what happened on Earth probably happened everywhere, which makes the silence scream louder. The anthropic principle says of course we find ourselves somewhere life was possible, since we could not observe anything else, so our being here may say almost nothing about how common life is. Which lens do you trust, and does the silence still demand an answer once you account for observer selection? * And if we did confirm life out there and had to accept we are not special, what would that do to belief in a higher power, and would shedding (or keeping) that belief help or hurt our odds of pulling together as one species? * Does any of this change how you live, or how humanity should be spending its time and money right now? As always the prompt is optional. Come for the conversation, stay for the drinks, and bring your own questions.

Sleep in on Sundays. When you've had your fill of pajama-time, roll out and have some tasty brunch with your fellow Humanists!

We are bringing Microsoft Build sessions to Columbus Ohio! The Central Ohio Azure Meetup and Central Ohio .NET Developer's Group (CONDG) are coming together to bring some of the labs and breakouts from Microsoft Build to your backyard. In this free, 1 day event, you are going to Build stuff with us! And yes, there will be free food. Please RSVP via [Microsoft Build //localhost:columbus | Microsoft Reactor](https://developer.microsoft.com/en-us/reactor/events/27247/).

We're going to GameArena! We'll be in-person at the GameArena Gateway for our monthly COGG Prototype and Play event. Come to play and showcase your games! We're back in the upper levels of the catwalk area. It'll be packed with lots of camaraderie playing your game(s) and other's games on the 2nd floor. Light snacks and water provided but you can buy food and drinks at the bar (alcoholic drink ID required). [www.game-arena.co](http://www.game-arena.co/) **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 is all 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. For this event, light snacks from the bar and water will be provided! Though you can purchase you own if you like at the bar: [https://www.game-arena.co/menu](https://www.game-arena.co/menu) 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!/)

Let’s meet and wander the galleries! General admission on Sundays is free.

Join us Saturday, June 20th at 10am for a gentle beginner-friendly yoga flow at the Columbus Park of Roses with Victoria, one of our very own vegan community members and certified yoga teacher! Whether you’re brand new to yoga or a long time practitioner, this class is designed to help you slow down, stretch, breathe, and reconnect with yourself. Expect a relaxed, accessible flow focused on easing tension, moving mindfully, and leaving you feeling a little more grounded. All levels welcome! Bring water and a yoga mat (or towel if you don’t have a mat). A suggested donation of $10 is appreciated, but payment is absolutely not required to attend and enjoy class. A Venmo QR code will be available on-site for anyone who would like to contribute. The class duration will be one hour from 10-11am. After class, we’ll head to Pattycake Bakery for anyone who wants to keep the good vibes going over delicious sweets and conversation 🌱

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.

Join us as we get together for a CAPA Summer Movie event to see the romantic, funny, heartwarming, feel-good classic, PRETTY WOMAN! Julia Roberts and Richard Gere star in this modern-day fairy-tale romance! Here’s a description, trailer and plan for this event: DESCRIPTION: A wealthy corporate raider hires a Hollywood escort as his date for a week of high-society business events. But what starts as a business transaction blossoms into genuine love, challenging both of their lives and leading to an unexpected romance. The film is directed by Garry Marshall and stars Richard Gere, Julia Roberts, Héctor Elizondo, Ralph Bellamy (in his final performance), Laura San Giacomo and Jason Alexander. MINI TRAILER: [https://www.youtube.com/watch?v=K-JghOdhAwc](https://www.youtube.com/watch?v=K-JghOdhAwc) SHORT BONUS CLIP #1 - DIRECTOR GARRY MARSHALL Recalls Famous Scenes from the Film: [https://www.youtube.com/watch?v=HpIMOzieGPs](https://www.youtube.com/watch?v=HpIMOzieGPs) SHORT BONUS CLIP #2 - RICHARD GERE on the Film’s Impact all these years later: [https://www.youtube.com/watch?v=O0T3O94dAA8](https://www.youtube.com/watch?v=O0T3O94dAA8) SHORT BONUS CLIP #3 - JULIA ROBERTS Remembers a Gift from Director Garry Marshall: [https://www.youtube.com/watch?v=pJ4AZSjbMsA](https://www.youtube.com/watch?v=pJ4AZSjbMsA) BUZZ & ACCLAIM: A huge box office hit at the time of its release, PRETTY WOMAN has since gone on to become a modern-day classic! The film catapulted Julia Roberts to superstardom and earned her a Golden Globe for Best Actress and her first Oscar nomination! Critics praise Julia Roberts’ star-making performance, the undeniable chemistry between her and Richard Gere, and its warm, funny feel-good story about kindness, self-worth and transformation! The film’s “intelligence and wit,” “first-class performances” and “sharp, funny script” have made Pretty Woman a classic and truly “something special!” THE OHIO THEATRE: The Ohio Theatre is located at 39 E. State Street, between 3rd and High Streets, across the street from the Ohio Statehouse. From classical music to modern dance, yearly family traditions to hot concerts, the world’s best artists come to the 2,791-seat, historic Ohio Theatre. The breathtaking details (including the 21-foot-high chandelier!) of its opulent, Spanish-Baroque architecture make any night at the Ohio Theater an event to remember! PRE-SHOW ENTERTAINMENT: Now celebrating his 33rd year as featured organist for the CAPA Summer Movie Series, Clark Wilson will again provide pre-show entertainment at the keyboards and controls of the Ohio Theatre’s treasured “Mighty Morton” theatre organ 30 minutes prior to each screening. PARKING: Parking is available at Columbus Commons Parking Garage off 3rd or Rich Streets or in Statehouse Parking Garage off 3rd Street. You can find out more about parking in Downtown Columbus by visiting the Downtown Columbus website. PLAN: Purchase your ticket for the 7:30pm showing and we’ll meet outside the theater between 6:50 and 7:00pm. We’ll head in at 7pm to get good seats and enjoy the pre-show organ music! TICKETS: Tickets just $6 adult / $5 senior! Parking is available under the Capital building, in the nearby garage, or on the nearby streets. You can purchase your ticket at the box office on the day of the event or online here: [https://www.capa.com/capa-summer-movie-series/](https://www.capa.com/capa-summer-movie-series/) Look forward to seeing you there, Dan

Join us for an Opening Night showing of the super-hero action-adventure, SUPERGIRL! Get in early because this series is just getting started! Hot on the heels of last year’s excellent SUPERMAN comes what should be another fun adventure! Here’s a description, trailer and plan for this event: DESCRIPTION: Kara Zor-El, aka Supergirl, joins forces with an unlikely companion on an interstellar journey of vengeance and justice when an unexpected adversary strikes too close to home. The film is directed by Craig Gillespie, written by Ana Nogueira, and stars Milly Alcock, Matthias Schoenaerts, Eve Ridley, David Krumholtz, Emily Beecham, David Corenswet and Jason Momoa. TRAILER: https://www.youtube.com/watch?v=s1-pfiVMKAs PLAN: Please purchase your ticket for the 7:00pm showing and meet in the lobby area between 6:40 and 6:50pm! It’s in their largest theater on their biggest screen but advance ticket purchase is advised for this Opening Night showing! Once you have yours, please list your seat number in the Comments below. Possible pre-show bite. That part will be confirmed/announced as the date gets closer. Look forward to seeing you there, Dan

**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** *Customize the IDE: Building Extensions for Visual Studio Code* Visual Studio Code is one of the most widely used development environments today, and much of its flexibility comes from its extension ecosystem. Extensions allow developers to customize the editor with new features, integrations, and workflow improvements tailored to their needs. In this session, we’ll cover what extensions are and the different types available, including full extensions written in TypeScript or JavaScript, along with lighter-weight extensions such as color themes, language packs, language support, code snippets, and keymaps. We’ll also look at practical reasons a developer might create an extension, from automating repetitive tasks to adding custom tooling. The session includes a hands-on walkthrough of creating a new extension, testing it locally, and understanding the basic project structure. We’ll close with a brief overview of how extensions are packaged and published to the Visual Studio Marketplace and other distribution options. **YouTube Link** TBD

**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 Chris Pazsint will be talking about Agentic Coding. How does one use CLI Based Agents, and Agentic IDEs such as Cursor, Kiro, Antigravity? How to include agentic coding plugins for IDEs you already love such as Visual Studio Code. 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

**🌹 Speed Dating Night for St. Petersburg Singles — On Zoom** Spend an evening meeting St. Petersburg singles face to face on Zoom, matched by age and personality before you arrive. **What to expect:** - Register and take a short personality quiz - Jump on Zoom when the event starts - Meet singles in guided one-on-one rounds - Get your mutual matches by email afterward **Find your bracket and grab a seat:** → **Ages 18-32** — [Register here](https://theliveround.com/product?productId=573&productType=onlineSpeedDating&city=St.%20Petersburg&groupurlname=local-singles-seeking-genuine-connection-brunch-club&ar=18-32&face_v=6.0) → **Ages 30-46** — [Register here](https://theliveround.com/product?productId=573&productType=onlineSpeedDating&city=St.%20Petersburg&groupurlname=local-singles-seeking-genuine-connection-brunch-club&ar=30-46&face_v=6.0) → **Ages 40-58** — [Register here](https://theliveround.com/product?productId=573&productType=onlineSpeedDating&city=St.%20Petersburg&groupurlname=local-singles-seeking-genuine-connection-brunch-club&ar=40-58&face_v=6.0) → **Ages 55+** — [Register here](https://theliveround.com/product?productId=573&productType=onlineSpeedDating&city=St.%20Petersburg&groupurlname=local-singles-seeking-genuine-connection-brunch-club&ar=55+&face_v=6.0) > Note: clicking RSVP alone won't get you in. Register via your age group and take the quiz. Places fill up. See you on Zoom, St. Petersburg. 🌷

Some trained COUNT volunteers work together once a month at RMH (http://www.rmhc-centralohio.org/volunteer.php) as Housewarmers (usually on the 1st Sunday from 1 – 5 PM). Some schedule other shifts at their convenience. You may try this out with less fuss by following a "Fast track" or go through the normal process. Fast track • Arrange a time to shadow a COUNT volunteer. Call Dave Nohle at 614-268-9558 (cell). • Show up and try it out. • Complete application, etc. later. Normal process • Complete an online application (http://rmhc-centralohio.org/volunteer/). • Attend orientation in advance. • At orientation you will complete forms agreeing to keep family/patient info private and allowing a background check and tour the facility. • Complete one training shift. Daily shifts are: morning 9 AM - 1 PM, afternoon 1 - 5 PM and evening 5 - 9 PM. • Schedule shifts online using the on the RMH scheduling system (http://www.volgistics.com/ex/portal.dll/?FROM=32895). The Ronald McDonald House (RMH) provides housing and meals for families with sick children. The Columbus RMH is the largest in the world with 137 rooms. COUNT has been volunteering there since May 2014. Housewarmers work with RMH guests to provide a home-like environment - greet, assist with family needs, answer phones, give tours, assist with checkin/checkout, prepare guest rooms after checkout, clean facility, laundry, restock supplies and staff the front desk. RMH Housewarmers volunteer at least one four-hour shift a month. All Housewarmers must complete an application and agree to a background check before they can be full fledged volunteers.