theorem proving

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.

This is an in-person meeting. Did you know that unwanted emotions like loneliness, sadness, hopelessness, anger, fear, anxiety, or feelings of irritation don’t just fall on you for no reason. They are not random occurrences that simply happen to people's minds. They are definitely not chemical imbalance in your brain due to some nebulous chemical reactions by chance. Your negative emotions are the symptoms of the painful experiences that you have which are not healed, and which are still affecting you. The effects of these painful experiences are exacerbated by the pressures or difficulties of the other problems in your life. For instance, let's say you are already carrying a huge load on your back, then you cannot take on much more, but, let's say something else happens to you, such as the difficulties from the Pandemic, then the resultant combined weight on you can take you over the edge, kind of like the straw that break the camel's back. When this happens, people's attention usually goes to the straw that was added, but actually the majority of the weight had come from the huge load that were already there, holding a person down and causing a person issues. So how do you remove the huge load that was already there? How do you lighten them up? Is it possible to get rid of them? That is what this meeting will be all about. Come to our Meetup, where we can introduce you to some of the knowledge, tools and techniques of the breakthroughs in the field of the mind that we can apply to this ever important area of life. Be sure to click on the red "Attend" button below to come to this local event. We look forward to seeing you there. This group is created by the Dianetics and Scientology Life Improvement Center of Central Ohio.

Join us Tuesday (6/2) at 6:30 pm as we hike the Hundred Acre Woods in Westerville. This is a beautiful trail that is filled of hills and roots but a picturesque wooded landscape to hike. Wear your hiking boots if you have them. We will do 2 loops of the 1 mile trail.

How to be a Better Communicator Communication is everything in life You are only as successful as your ability to communicate. \- What if you could confidently talk to anyone? \- What if you had the ability to calmly control every conversation? \- What if you could close that sale\, ask for that date\, make new friends\, repair problematic relationships\, get that raise\, or effortlessly express any idea with confidence? You can! The secret to success relies on your ability or inability to effectively communicate. Attend a free seminar and gain a better ability to communicate. Hosted by the Church of Scientology of Central Ohio 1266 Dublin Road, Columbus, OH 43215 For more information, contact Rhiannon, the Event Host at 614-221-5024

NOTICE CHANGE OF LOCATION. WE WILL BE MEETING AT THE SHARON WOODS METRO PARK - THIS MONTH ONLY. Sharon Woods Metro Park, 6911 Cleveland Ave, Westerville, OH 43081 Enter the park from Cleveland Avenue and stay on the main park drive until it dead-ends into a turn around parking lot. We will meet at the Schrock Lake Shelter just off this parking area to the right. We will be taking a Guided Walk with access very near the shelter, on the Edward S Thomas trail, an ADA flat, hard-packed gravel surface trail. This walk will be led by Carrie Keller, Outdoor Naturalist at the park, and Megan Richley, Inclusion Coordinator for the Metro Parks. Wear sneakers or other shoes covering the entire foot. Sandals or flip-flops are ill advised. Sighted guides will be available. Target audience for this group is persons who are visually impaired, especially those who have experienced recent loss, however, all are welcome, including family members and supports. Light refreshments will be served. There will not be a Conference Call option for this meeting.

5:45-7:45 in Conference Room B, Library lower level. Bring your yarn projects, meet new friends. If you plan to attend, please RSVP yes. If you can’t attend, please change your RSVP to no. This helps anyone who is waitlisted and it allows me to have an accurate count of attendees as our space is quite limited. Plenty of parking in the lot, in the overflow lot across the street, and on the street. See you there!

Attend a free seminar on how to have successful and lasting relationships. At this seminar you will learn: How to spot and handle negative and toxic relationships. How to get through the "rough patches" in a relationship. How to choose the right people to work with. The three things that make or break any relationship. How to make a good relationship great. All are welcome. Be sure to click on the red "Attend" button below to come to this local event. We look forward to seeing you there. Hosted by the Dianetics and Scientology Life Improvement Center of Central Ohio.

Whether you've never done improv before, or you've done it for so long you knew Del Close on a personal level, or anywhere in between, come join us! Swing by *Gresso's* for the **Columbus Improv Comedy Meetup** for some fun and games! The idea behind improv is to create entire scenes from scratch based on a suggestion from the audience. This can be done in game form, like *Whose Line Is It Anyway*, *ComedySportz*, or *Wild 'n Out*; it could also be done to tell stories, like *Middleditch and Schwartz*. Our meetup, which is central Ohio's longest running (and free!) weekly comedy event, brings the games (and occasionally different forms) for you to play in a safe, supportive, and compassionate environment. Not only is it a lot of fun, but you get to work on thinking faster on your feet, plus it's an excellent way to meet new people and make friendships that'll last a lifetime! Ask yourself if you want to join the **Columbus Improv Comedy Meetup**, and say "Yes, And" that you'll have fun!

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.

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.

I have been studying the question of "self" online with Prof. Ellie Anderson and so I thought a prompt on the "self" might be interesting. Full confession: I had Claude create this prompt and I like it, so here goes: Imagine a thought experiment that merges two classic puzzles: > You undergo a procedure, performed neuron by neuron, in which every biological component of your brain is replaced with a functionally identical synthetic substitute. At each step, your behavior, memories, and personality remain unchanged. When the last neuron is swapped, is the consciousness experiencing the world still you? And — more pressingly — was there ever a continuous "you" to begin with? ### Questions to Wrestle With * If consciousness is purely physical, does the *gradual* nature of the replacement matter, or is it equivalent to being destroyed and rebuilt? * Could there be a "self" without continuity of experience — even moment to moment, while you sleep? On a more practical level, consider the simpler case first: **hemispherectomy** patients — people who have had an entire cerebral hemisphere surgically removed — often retain a strong sense of personal identity and continuity. This suggests "you" are not rigidly tied to specific physical material. But does that vindicate the synthetic neuron case, or merely show that identity is more *flexible* than we thought — not that it can survive *complete* substrate replacement? I used Claude so I could get this out today and let everyone have some time to consider it. Hope to see you at the Oracle. Sorry about the location change two weeks ago. That's what I get for trusting local weather predictions!

**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.

Topic to be announced. **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

Attend a free seminar on how to have successful and lasting relationships. At this seminar you will learn: How to spot and handle negative and toxic relationships. How to get through the "rough patches" in a relationship. How to choose the right people to work with. The three things that make or break any relationship. How to make a good relationship great. All are welcome. Be sure to click on the red "Attend" button below to come to this local event. We look forward to seeing you there. Hosted by the Dianetics and Scientology Life Improvement Center of Central Ohio.

Come attend a free in-person seminar where you will find out why you: -Feel isolated -Can't express yourself openly -Get nervous or anxious in front of people -Run out of things to say or feel tongue-tied -Feel introverted -Don't feel comfortable in any social setting -Can't make more friends -Are shy and miss opportunities to connect in a meaningful way And we cover what you can do about any one, some or all of the above. This seminar is the weapon against loneliness, isolation and boredom, come join us! COME TO THIS SEMINAR AND LEARN THE SECRETS TODAY This seminar is brought to you by the Dianetics & Scientology Life Improvement Center. 1266 Dublin Road, Columbus, Ohio 43215

http://photos2.meetupstatic.com/photos/event/2/a/9/6/600_348310902.jpeg Instructor - Crow, HPS Class fee is $30 at the door or approved exchange RSVP with Advance pay of $25 (discounted) by PayPal on the web or by contacting Enchanted Elements (614) 437-2642. Reservations made directly to Enchanted Elements will be added to the class list manually not online. Private Instruction ~ Closed to the Public ~ Initiated Members Only Please come prepared for ritual. Blessings ~ Crow

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.

QA or the Highway is a one-day, affordable, regional, professional conference featuring real-world experience and thought leadership in the QA and testing industry. This is a ticketed event please register here: https://www.qaorthehwy.com/ Featured Keynote Speakers: **Matthew-Hope Eland** **(Wizard at Leading EDJE)** \- An AI Specialist and Wizard at Leading EDJE who is known to teach software engineering\, AI\, and data science concepts in the most ridiculous ways possible\. Matt has used machine learning to settle debates over whether Die Hard is a Christmas movie\, reinforcement learning to drive the behavior of digital squirrels\, data analytics to suggest improvements to his favorite TV show\, and AI agents to play board games and create an AI agent with the personality of a dog\. Matt is the author of "Data Science in \.NET with Polyglot Notebooks" and "Refactoring with C\#" as well as several LinkedIn Learning courses\. Matt helps organize the Central Ohio \.NET Developer Group\, runs several blogs and a YouTube channel\, has a Master’s of Science in Data Analytics\, and is a current Microsoft MVP in AI and \.NET\. **Tatyana Arbouzova** **(CEO at Innovate QA)** \- Tatyana Arbouzova is an engineering and business leader with a strong background in Quality Engineering across multiple industries\, including Big Tech\, Healthcare\, and Entertainment\. She has held leadership roles at world\-class companies such as Microsoft\, VMware\, Disney\, and The Pokémon Company International\, where she focused on building quality\-driven cultures and scaling teams to deliver high\-impact products\. With decades of experience\, Tatyana has helped organizations transform their quality practices so teams can deliver software efficiently\, confidently\, and with measurable business outcomes\. Today\, Tatyana advises software companies on adopting AI to optimize quality practices and improve how software is delivered at scale\. She is also a passionate community builder and the founder of Innovate QA\, a thriving Seattle\-based community and conference for quality professionals\.

## 🤝 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. ###