Skip to content

Formal Methods

Meet other local people interested in Formal Methods: share experiences, inspire and encourage each other! Join a Formal Methods group.
pin icon
2,144
members
people1 icon
4
groups

Frequently Asked Questions

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

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

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

Formal Methods Events Today

Join in-person Formal Methods events happening right now

Calming Signals and Animal Communication
Calming Signals and Animal Communication
Neurospicy Columbus - Join us for Stauff's Coffee and Book Loft
Neurospicy Columbus - Join us for Stauff's Coffee and Book Loft
Join Neurospicy Columbus at the Stauff's for coffee and then a stroll through the Book Loft nearby! This will be a friendly chat for like minded individuals with Autism and/or ADHD (or somewhere on the Neurodiverse Spectra).
Ultimate Frisbee on Sunday at 3 pm
Ultimate Frisbee on Sunday at 3 pm
Rays Of Light Spiritualist Church Service
Rays Of Light Spiritualist Church Service
Rev. Steven Clevenger is an ordained spiritualist minister with over 40 years experience as a Spiritual Healer, Clairvoyant and Spiritual Teacher, educated and trained at the White Lily Chapel. Rev. Siobhan Wolf Shaffer is an ordained spiritualist minister and certified medium and healer with over 20 years experience. She began her development in 1988 in Pennsylvania and continued when she moved to Ohio in 1998 where she studied at Rays of Lights Church with Rev. Steven Clevenger. Our full worship services consist of an inspirational lecture, healing meditation, and messages from the spirit world that serve to demonstrate evidence of eternal life. Please visit our Official Church Website (http://raysoflightchurch.com) for more information.
Winter Hike Celebration
Winter Hike Celebration

Formal Methods Events This Week

Discover what is happening in the next few days

February Queer Birding
February Queer Birding
Join fellow Queer birders on February 22nd for birding at Pickerington Ponds Metropark. No expertise required!
Lunch at Little Grand!
Lunch at Little Grand!
Sunday Lunch at Little Grand. Something for everyone at their Eatery. Enjoy a variety of culinary delights from Vietnamese and Italian to Cuban and Korean cuisines satisfying any craving. The market also boast two bars, serving craft cocktails & local brews.
COLUMBUS SPIRITUALITY MEETUP
COLUMBUS SPIRITUALITY MEETUP
We are excited to host Guided Meditations on Sundays at 6 pm in our Ashram/Gallery/Home! !! !! Everyone wants to know what kind of God we worship and what kind of meditation we do. We worship the GOD that LOVES US! We understand that god is an energy and it lives in us as us. Our meditations guide others to actually experience that energy! xoxo We don't just talk about peace, love and affection, we experience it :) Also we are a home not a business, so we enjoy building community one friend at a time. We always build in time for people to mingle & develop friendships! xoxo Much Love, Frank Tennyson Namaste, Frank Tennyson http://photos3.meetupstatic.com/photos/event/a/f/9/9/600_447824953.jpeg
Let's Shoot Pool
Let's Shoot Pool
Spa for Your Soul: A Sacred Pause for Renewal and Wholeness
Spa for Your Soul: A Sacred Pause for Renewal and Wholeness
Join us at **Unity of Columbus** for *Spa for Your Soul*, a restorative and inspiring workshop designed to nourish your spirit, awaken your inner wisdom, and reconnect you with the sacred rhythm of life. Drawing from the rich spiritual insights of **Matthew Fox** and the timeless theological wisdom of **Thomas Aquinas**, this workshop invites participants into a deeper experience of spirituality rooted in compassion, creativity, and divine presence. Together, we will explore spirituality not as something distant or abstract, but as a lived, embodied experience—one that honors joy, justice, beauty, and the inherent goodness of creation. Through guided reflection, gentle spiritual practices, discussion, and contemplative moments, *Spa for Your Soul* offers a sacred space to release stress, renew clarity, and remember the divine spark within. This is an opportunity to pause, breathe, and tend lovingly to your soul—much like a spa experience, but for your inner life. Whether you are seeking spiritual refreshment, deeper understanding, or simply a peaceful space to be present, this workshop welcomes you exactly as you are. **Come, rest, reflect, and renew—your soul deserves it.**
Raising Conscious Kids – A Unity Family Experience
Raising Conscious Kids – A Unity Family Experience
At Unity of Columbus, our Youth and Family Ministry nurtures the spiritual growth of children and families through love, joy, and practical spiritual teachings. Each Sunday, children explore timeless spiritual principles through stories, creative activities, music, and group sharing in a safe and welcoming environment. Our program encourages children to discover their own inner light, express kindness, and develop a personal connection with God. Together, we celebrate diversity, cultivate understanding, and inspire each child to live with purpose and compassion. Parents and families are invited to join in this uplifting journey of learning, laughter, and spiritual connection.
Columbus Chess Club
Columbus Chess Club
This is a time where players of all ages, and skill levels can gather and enjoy a nice Sunday full of Chess!

Formal Methods Events Near You

Connect with your local Formal Methods community

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)
Spec-Driven Development with GitHub Spec-Kit - Barret Blake
Spec-Driven Development with GitHub Spec-Kit - Barret Blake
**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** *Spec-Driven Development with GitHub Spec-Kit: From Intent to Implementation* Spec-driven development flips the traditional workflow on its head: instead of code being the source of truth, the specification becomes the backbone of design, collaboration, and delivery. In this session, we’ll explore how GitHub Spec-Kit enables teams to treat specifications as first-class artifacts—living documents that drive architecture, implementation, and verification. You’ll learn how Spec-Kit helps teams clearly express intent using structured, version-controlled specs that live alongside code. We’ll walk through a practical workflow that starts with defining system behavior and constraints, then progressively refines those specs into testable, automatable outcomes. Along the way, we’ll show how specs can reduce ambiguity, improve cross-functional collaboration, and make design decisions explicit before a single line of production code is written. This talk will cover: --What spec-driven development is (and what it isn’t) --How GitHub Spec-Kit fits into modern developer workflows --Using specs to align product, engineering, and AI-assisted development --Real-world examples of turning specs into implementations with confidence Whether you’re building greenfield systems, integrating AI into your stack, or trying to reduce costly rework, spec-driven development offers a scalable way to move faster without sacrificing clarity. Attendees will leave with concrete patterns and a clear mental model for adopting GitHub Spec-Kit in their own projects. **YouTube Link** TBA
COhPy Monthly Meeting
COhPy Monthly Meeting
**NEW LOCATION: 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). See the handy Parking Map - we recommend street parking. [Street Parking Map](https://docs.google.com/presentation/d/1u2A4fLNlxwLJn0KA_hKc8bnFlFHLvsHBDh-_8wzX_tk/edit?usp=sharing) 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 centralohpython@gmail.com
Hybrid MI Python: Michigan Python
Hybrid MI Python: Michigan Python
Topic details coming soon. AGENDA: 7:00pm - Opening announcements 7:10pm - Main Topic 7:50pm - Q&A
Go Build & Learn
Go Build & Learn
Meeting @ Improving's office in Downtown Columbus, near Cosi. Parking is paid, food & drink are free! This time we're hanging out after the long winter break. We are going to look at a group-member's project used to help learn the fundamentals of Go, and if time allows, we can take a look at how we like to build Go projects using AI.
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/