Programming Language Theory
Meet other local people interested in Programming Language Theory: share experiences, inspire and encourage each other! Join a Programming Language Theory group.
242
members
2
groups
Largest Programming Language Theory groups
Newest Programming Language Theory groups
Frequently Asked Questions
Yes! Check out programming language 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 programming language theory events taking place this week here. Plan ahead and join exciting meetups throughout the week.
Absolutely! Find programming language theory events near your location here. Connect with your local community and discover events within your area.
Programming Language Theory Events Today
Join in-person Programming Language Theory events happening right now
Saturday Mornings @ East Market
Let's grab some coffee/food and share a morning chat! The East Market has an ample parking lot and outdoor and indoor seating.
Grab a cup of coffee from Winston's Coffee & Waffles or on your way to East Market and meet us on the second floor - table behind or east of the elevator.
Per what this group is about:
"Everyone is welcome! International transplants to Columbus who want to improve language skills, Columbus residents who enjoy talking to people from other countries, and those who would like to discuss international travel and culture, and who enjoy getting together for good conversations."
Conversacion en español (en persona)
While some are still meeting online, this is an in person event. Please note that we have attendees of all levels of speaking, including some native speakers. All are welcome!
Also, as we meet at the same time and place each week, many don’t RSVP on the app, so we will likely have more attendees than noted here.
Note: if you are asked to pay and upgrade the Meetup app, this is not necessary. You can ignore this and still attend our meetings.
Find us on our [Facebook group](https://www.facebook.com/share/g/1EKw86WJCp/?mibextid=wwXIfr).
Drunken Philosophy: Are you really who you think you are? What is the "self"?
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!
June Library Meetup
June meetup at the Library. We’ll play games and have casual conversation in Japanese and in English. All levels of Japanese ability, from non-speaker to native, are welcome. After the meetup we will go out to eat at a local restaurant.
CORGSCON
Come join CORGSCON the Columbus, Ohio retro gaming expo at the Bricker Building – Ohio Expo Center June 6th-7th
Saturday: 11am-6pm
Saturday After Party: 6PM – 10PM
Sunday: 11am-4pm
PLEASE NOTE:
RSVP for this event does NOT give you access to the event. Please buy tickets for the event on the website here or onsite at the event:
[https://www.corgscon.com/tickets/](https://www.corgscon.com/tickets/)
We'll have COGG game developers there showcasing their games alongside the [GDEX game expo](https://www.thegdex.com/) also happening later this year.
Find out more here:
[https://www.corgscon.com/](https://www.corgscon.com/)
Shut Up & Write!™ Easton Town Center
We'll meet at The Capital One Café, 167 Easton Town Center, Space A-103. This is in the main mall where the Microsoft store used to be, on your left if you're standing at the bottom of the AMC Theater escalator.
Join us on Saturday for an hour of uninterrupted wordmaking!
• What we'll do
Join us for an hour of writing! We’ve discovered that it’s strikingly helpful to write with other writers. See if it’s true for you at 10AM on Saturday mornings.
Be it a book, blog, script, essay, dissertation, resume, melody, poem or just plain work stuff, you are invited to write it with us. No one will see what you've written or give you unsolicited advice. Instead of just thinking about writing, come and get some real writing done.
SCHEDULE:
10:00 - SESSION 1: quick intros.
10:10 - timer starts: write for 1 hour.
11:10 - chat / take off / keep writing.
OPTIONAL SOCIALIZING happens at 11A-11:30ish. Writing is very solitary. Connecting (and sometimes even commiserating) with other writers is a cool thing.
BEING LATE IS OKAY: just show up and get settled, then check-in with me after the session. (I’ll be the person with the Shut Up & Write! sign.) If you were on time, please be willing to make room for the friendly latecomer.
Happy writing and I look forward to seeing you!
• What to bring
Whatever you need to be able to write!
Bring earbuds/earplugs if you want to block noise or the occasional conversation by other patrons. Electrical outlets are limited, so charge your devices before whenever possible.
See you at The Café on Saturday!
Saturday Morning French Club
Bienvenue! We host a twice-a-month French conversation club at La Chatelaine on Lane. All levels welcome! Whether you're new to French or running for Président de la République you are welcome here! We often read plays together, play vocabulary games, and generally enjoy the delicious food available at La Chatelaine! We will be at the long table in the back of the restaurant. A bientôt!
Programming Language Theory Events This Week
Discover what is happening in the next few days
Orlando BTS Hype Dance Meetup – All Choreo
**👑 K-Pop Random Dance Party in Orlando – Let's Celebrate BTS!**
Before BTS hits the stage, let's hit the dance floor together in Orlando. Random play dance is simple: the music plays, someone calls the song, and fans who know the choreo jump in. It's chaotic, joyful, and the best way to celebrate BTS season.
**🔞 Adults only — 18+.** Please only RSVP if you are 18 or over.
---
🎶 **What to expect:**
- Random play dance to BTS and K-pop hits
- A welcoming crowd of Orlando K-pop fans
- All levels welcome — know the moves or just vibe along
- Random song calls — jump in when you know the choreo
- Celebration vibes ahead of the BTS concert
- BTS concert hype with fellow fans
**Event Details**
- **Format:** Casual group dance session – BTS and K-pop hits
- **Vibe:** Pure K-pop joy — no judgement, just dancing
- **Age:** 18+ only
**How It Works**
1. **RSVP and arrive** – Just turn up ready to move. 18+ only.
2. **Random play dance begins** – Music plays, a song gets called, fans who know it jump in.
3. **Full BTS section** – We dedicate a proper block to BTS to get everyone hyped for the concert.
4. **Hang and connect** – Chat with other Orlando K-pop fans between dance rounds.
**Frequently Asked Questions**
**What should I wear?**
Comfortable clothes you can move in. No dress code — just be ready to dance.
**Is this connected to the BTS concert?**
This is a fan-organised meetup to celebrate BTS season. Not affiliated with the official concert.
**Do I need to come with a group?**
Not at all. Most people come solo and meet others on the night.
---
✨ The concert is coming. Let's start the hype now. 🫶 ✨
You Exist Too Much by Zaina Arafat
[Columbus library link to book](https://cml.bibliocommons.com/v2/record/S105C3351321)
Location: The Goat River South
219 S High St, Columbus, OH 43215
Street parking is free on Sundays
[Menu](https://static1.squarespace.com/static/686d3ed16745133042482c5f/t/68ff654dbb03b96875430bde/1761568077220/all_brunch-20250311.pdf)
Book summary:
On a hot day in Bethlehem, a twelve-year-old Palestinian-American girl is yelled at by a group of men outside the Church of the Nativity. She has exposed her legs in a biblical city, an act they deem forbidden, and their judgement will echo on through her adolescence. When our narrator finally admits to her mother that she is queer, her mother's response only intensifies a sense of shame: 'You exist too much,' she tells her daughter. Told in vignettes that flash between the U.S. and the Middle East--from New York to Jordan, Lebanon, and Palestine--Zaina Arafat's debut novel traces her protagonist's progress from blushing teen to sought-after DJ and aspiring writer.
Port St. Lucie Local Speed Dating on Zoom
**🥰 Online Speed Dating via Zoom – Connect with Port St. Lucie Singles Tonight!**
We pair you by personality and age so every conversation feels natural. It's simple: complete a short personality quiz, jump on Zoom, and meet Port St. Lucie singles in guided one-on-one rounds. Matches shared afterwards.
**✅ Grab your spot by RSVPing.** The host will send you a personality quiz and Zoom details directly after you RSVP. Don't leave it too late — places fill up.
---
🎯 **Perfect for:**
- Singles who prefer a hosted, structured experience
- Busy professionals who don't want to waste evenings
- Singles in Port St. Lucie who want to meet people from home
- People re-entering the dating scene after a break
- Anyone who likes connecting online before meeting face-to-face
**Event Details**
- **Format:** Virtual on Zoom – hosted and well-structured
- **Location:** From home – all you need is Wi-Fi and a webcam
- **Host:** Professional host keeping the evening smooth and relaxed
- **Vibe:** Laid-back one-on-one chats with Port St. Lucie locals
- **Tech:** Zoom, webcam, and a stable connection
- **Duration:** Roughly 90 minutes
- **Matches:** Mutual matches sent out after the event
- **Rounds:** Multiple short one-on-one rounds
**How It Works**
1. **RSVP here** – Secure your spot on Meetup.
2. **Check your Meetup messages** – The host will reach out with a personality quiz to match you with compatible Port St. Lucie singles.
3. **Complete the quiz** – A quick personality quiz so we can find your best matches.
4. **Hop on Zoom** – You'll receive the Zoom link before the event. The host handles the rest.
5. **Chat & match** – Quick timed rounds with Port St. Lucie singles, then mutual matches sent out after.
**Frequently Asked Questions**
**Do I need experience?**
Not at all. The host walks you through everything.
**How long are the chats?**
A few minutes each — just enough to get a sense of someone.
**Do I need anything besides Zoom?**
Just Zoom, a webcam, and Wi-Fi. That's it.
---
✨ Real people, real conversations — all from your home. RSVP to join us. ❤️🔥 ✨
Maximalist Gardening - Talk at Inniswood
Garden to the Max
Join the Inniswood Garden Society for their annual meeting and garden reception. Featured speaker, Teresa Woodard, will discuss maximalist gardening
Having a maximalist garden is a bold aesthetic choice—yet it also brings vitality back to the earth, in an abundant expression of more. Garden to the Max celebrates gardens across the US that embrace maximalism through joy and wonder, nonstop blooms, and abundant layers
06/07/2026
Time: 2:00 pm - 4:00 pm
Days: Sun
Inniswood Metro Gardens
940 S Hempstead Rd
Westerville, OH, 43081
(614)508-8111
Location Map: Innis House.
Port St. Lucie Online Speed Dating
**🦋 Port St. Lucie Zoom Online Speed Dating**
Meet Port St. Lucie singles from home in short, hosted one-on-one rounds on Zoom. We match by age and personality.
**Register below for your age group:**
- **Ages 18-32** → [REGISTER HERE](https://theliveround.com/product?productId=531.0&productType=onlineSpeedDating&city=Port%20St.%20Lucie&groupurlname=join-our-circle-of-serious-singles&ar=18-32&face_v=3.0)
- **Ages 30-46** → [REGISTER HERE](https://theliveround.com/product?productId=531.0&productType=onlineSpeedDating&city=Port%20St.%20Lucie&groupurlname=join-our-circle-of-serious-singles&ar=30-46&face_v=3.0)
- **Ages 40-58** → [REGISTER HERE](https://theliveround.com/product?productId=531.0&productType=onlineSpeedDating&city=Port%20St.%20Lucie&groupurlname=join-our-circle-of-serious-singles&ar=40-58&face_v=3.0)
- **Ages 55+** → [REGISTER HERE](https://theliveround.com/product?productId=531.0&productType=onlineSpeedDating&city=Port%20St.%20Lucie&groupurlname=join-our-circle-of-serious-singles&ar=55+&face_v=3.0)
**⚠️ RSVP alone won't secure your spot.** Register through your age group link below and complete the personality quiz. Places are limited.
---
**How It Works**
1. **Register** – Pick your age group above and sign up.
2. **Take the quiz** – Short personality quiz so we can match you well.
3. **Join on Zoom** – Your host will guide you through every round.
4. **Get matches** – Mutual matches sent after the event.
---
✨ Real conversations, real matches — all from home. 🦋 ✨
St. Petersburg Character Matched Local Speed Dating
**🦋 St. Petersburg Speed Dating – Personality Matched & Hosted on Zoom**
Online speed dating for St. Petersburg locals — hosted live on Zoom, personality matched. It's simple: complete a short personality quiz, jump on Zoom, and meet St. Petersburg singles in guided one-on-one rounds. Matches shared afterwards.
**✅ RSVP to secure your spot.** The host will reach out after your RSVP with a quick personality quiz to help us pair you with compatible St. Petersburg singles.
---
🎯 **Perfect for:**
- St. Petersburg locals after personality-matched dates
- First-timers new to speed dating
- Anyone curious about speed dating in a relaxed setting
**How It Works**
1. **RSVP here** – Secure your spot on Meetup.
2. **The host will contact you** – After RSVP, you'll get a message with the personality quiz so we can pair you well.
3. **Complete the quiz** – A quick personality quiz so we can find your best matches.
4. **Log in on the night** – Connect to the Zoom session from home. The host runs the show.
5. **Chat & match** – Quick timed rounds with St. Petersburg singles, then mutual matches sent out after.
**Event Details**
- **Format:** Hosted on Zoom – one-on-one video dates
- **Location:** Online from home – no need to go anywhere
- **Host:** Professional host keeping the evening smooth and relaxed
- **Vibe:** Great energy, real people, authentic conversation
💡 **Tip:** Just be yourself. That's always the best approach.
⭐ *"I was nervous but the host made it effortless. Met someone wonderful first try."* – St. Petersburg single
---
✨ Your next match could be one RSVP away. ✨ ✨
St. Petersburg Online Speed Dating
**💖 St. Petersburg Online Speed Dating on Zoom**
Join from home and meet real St. Petersburg singles in guided one-on-one Zoom rounds. Matched by age and personality.
**Choose your age range to sign up:**
- **Ages 18-32** → [REGISTER HERE](https://theliveround.com/product?productId=531.0&productType=onlineSpeedDating&city=St.%20Petersburg&groupurlname=join-our-circle-of-serious-singles&ar=18-32&face_v=3.0)
- **Ages 30-46** → [REGISTER HERE](https://theliveround.com/product?productId=531.0&productType=onlineSpeedDating&city=St.%20Petersburg&groupurlname=join-our-circle-of-serious-singles&ar=30-46&face_v=3.0)
- **Ages 40-58** → [REGISTER HERE](https://theliveround.com/product?productId=531.0&productType=onlineSpeedDating&city=St.%20Petersburg&groupurlname=join-our-circle-of-serious-singles&ar=40-58&face_v=3.0)
- **Ages 55+** → [REGISTER HERE](https://theliveround.com/product?productId=531.0&productType=onlineSpeedDating&city=St.%20Petersburg&groupurlname=join-our-circle-of-serious-singles&ar=55+&face_v=3.0)
**⚠️ Your RSVP doesn't confirm a place.** Click your age group below, register, and take the personality quiz. Spots are limited.
---
**How It Works**
1. **Register** – Pick your age group above and sign up.
2. **Take the quiz** – Short personality quiz so we can match you well.
3. **Join on Zoom** – Your host will guide you through every round.
4. **Get matches** – Mutual matches sent after the event.
---
✨ Sign up, take the quiz, and meet St. Petersburg singles tonight. 💞 ✨
Programming Language Theory Events Near You
Connect with your local Programming Language Theory community
Cocoaheads
We have moved to guild.host. Look us up there.
https://guild.host/events/buckeye-cocoaheads-rcavwd
NSCoder Night
We've moved to guild.host Look for us there.
https://guild.host/events/buckeye-cocoaheads-nscoders-tcbrk5
American Sign Language Beginners Meetup Group
We meet to learn and practice American Sign Language and to grow our familiarity with Deaf culture. Facilitated by hearing folks (with a connection to a professional interpreter) using Deaf-created content. People of all ASL skill levels are welcome! As we learn, we hope to connect more with the Deaf community in Central Ohio. Join us as you're able!
Come regularly or just once - whatever you're looking for! Each meetup will explore different topics related to ASL/Deaf culture, and will feature time to practice conversation with one another. Just bring yourself and a willingness to learn!
Customize the IDE: Building Extensions for Visual Studio Code - Alan Barber
**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
DoJo (Informal Python Meeting)
**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
Columbus Code & Coffee 87 @ Improving
Columbus Code & Coffee is an inclusive, informal co-working session. People of all skill levels attend, and we love it that way. Many people (optionally) bring projects to work on, and many other people (optionally) socialize the entire time. It's entirely up to you!
**What to Expect at the Intro Circle**
\~\~\~\~\~\~\~\~\~\~\~\~\~
Near the beginning of the event (1:30 pm), we do a standup:
* Organizer announcements, updates, and logistics
Round 1 - (7 secs max):
* Your name
* What you're working on
* What you can help others with
Round 2:
* Community events you wanna plug. If none, that's cool too.
Round 3:
* Job opportunities you're hiring for OR announce that you are looking for one. If none, that's cool.
After the introduction circle, everything is self-organized! Feel free to work alone, pair up, attend one of our workshops/presentations, or mingle!
Columbus PHP: Monthly Meetup
Our monthly PHP meetup.
A virtual shindig courtesy of Zoom. Check back here for the details around 6:15 pm





















