Is your code secretly a math proof? This month we'll discuss Curry-Howard, the surprising equivalence between writing a program and proving a theorem. Join us for pizza and beer as we see what happens when you add types to a programming language. meetup.com/austin-forma...
22.02.2026 00:04 — 👍 0 🔁 0 💬 0 📌 0
On Wed Jan 28th, join the Austin Formal Methods User Group at Capital Factory as we use Isabelle to define a tiny programming language with concrete semantics which will unlock the creation of bug-free code! www.meetup.com/austin-forma...
22.01.2026 00:31 — 👍 0 🔁 0 💬 0 📌 0
Put Formal Methods into practice! Join us Wed Dec 3rd at Diogenes Makerspace as we build proofs in Edukera and enjoy tamales + cookies
www.meetup.com/austin-forma...
Is there such a thing as perfect, unbreakable cryptography? Come to the Austin Formal Methods Meetup on October 22nd as we discuss Shannon Security! meetu.ps/e/P0zDg/btrm...
19.10.2025 05:00 — 👍 1 🔁 0 💬 0 📌 0
Tomorrow night, Austin Formal Methods User Group will be discussing Paxos! meetu.ps/e/P0zD4/btrm...
23.09.2025 23:06 — 👍 0 🔁 0 💬 0 📌 0
Austin Formal Methods User Group
Next Wednesday at the Austin Formal Methods User Group, we'll be discussing Weakest Precondition, the technique that first got me into Formal Methods. Hope to see you there! www.meetup.com/austin-forma...
21.08.2025 00:22 — 👍 1 🔁 1 💬 0 📌 0
This month: Lambda Calculus! Join the Austin Formal Methods User Group at Capital Factory on July 23rd as we begin our journey towards Curry-Howard! www.meetup.com/austin-forma...
17.07.2025 02:29 — 👍 0 🔁 0 💬 0 📌 0
Had a great week at NASA Formal Methods, already looking forward to next year!
14.06.2025 01:36 — 👍 0 🔁 0 💬 0 📌 0
Bring your laptop to Diogenes on Wednesday June 25th! The Austin Formal Methods User Group will begin our journey into the world of seL4 with the Microkit tutorial. More details: www.meetup.com/austin-forma...
11.06.2025 22:58 — 👍 0 🔁 0 💬 0 📌 0
Join us this Wednesday for the Austin Formal Methods User Group when we will be diving into Temporal Logic! meetu.ps/e/P0z36/btrm...
26.05.2025 00:41 — 👍 0 🔁 0 💬 0 📌 0
A great few days at the ACL2 Workshop!
14.05.2025 00:20 — 👍 0 🔁 0 💬 0 📌 0
In preparation for the ACL2 Workshop in May, next Wednesday the Austin Formal Methods User Group will be discussing ACL2. Hope to see you there! meetu.ps/e/P0z2w/btrm...
17.04.2025 04:23 — 👍 0 🔁 0 💬 0 📌 0
Hello Austin Gophers! The ATX Go Meetup is THIS WEDNESDAY (April 9th). The meetup includes lightning talks, pizza, beverages, and general discussion. Have a neat idea? A quick talk related to Go? Something to show-and-tell? Running into a weird bug? Swing on by:
08.04.2025 01:38 — 👍 2 🔁 2 💬 0 📌 0
Happy #CheeseWeaselDay !
03.04.2025 22:03 — 👍 0 🔁 0 💬 0 📌 0
Last night at the Austin Formal Methods User Group, we had two presentations on Boolean Satisfiability and some great discussions in Q & A! Looking forward to our April meeting, where we plan to ramp up on ACL2
28.03.2025 04:49 — 👍 0 🔁 0 💬 0 📌 0
Ever wondered what's so hard about NP-Complete? Come to the Austin Formal Methods Meetup next Wednesday at Capital Factory to discuss Boolean Satisfiability and SAT Solvers! www.meetup.com/austin-forma...
20.03.2025 04:28 — 👍 1 🔁 0 💬 0 📌 0
NASA has an event with checking out at Austin Central Library #sxsw
08.03.2025 21:45 — 👍 0 🔁 0 💬 0 📌 0
Always a good time at the Capital Factory Startup Crawl! #SXSW
08.03.2025 05:40 — 👍 1 🔁 0 💬 0 📌 0
A little bit of exploring on the first day of #sxsw
07.03.2025 20:18 — 👍 0 🔁 0 💬 0 📌 0
We had a great showing at the Austin Formal Methods Meetup last night! Already looking forward to the content we've got lined up for the next few months!
28.02.2025 03:38 — 👍 0 🔁 0 💬 0 📌 0
We're finally back! Austin Formal Methods Meetup on Wed Feb 26th at Capital Factory! More details: meetu.ps/e/NRzwT/btrm...
07.02.2025 07:57 — 👍 0 🔁 0 💬 0 📌 0
Had a great last few days at #popl ! Learned a lot over this past week, and look forward to the many new topics to research when I get home
26.01.2025 17:16 — 👍 0 🔁 0 💬 0 📌 0
Learned a lot at Certified Programs and Proofs yesterday, ready for Principles of Programming Languages to begin! #popl
22.01.2025 17:59 — 👍 0 🔁 0 💬 0 📌 0
Had a great time and learned a lot today at the WebAssembly Workshop! #popl
21.01.2025 05:01 — 👍 1 🔁 0 💬 0 📌 0
It sounds like great things are happening in the world of Dafny! Plus there are already interesting hallway track discussions on Isabelle, Rocq, Rust, etc. and we've just started #popl
19.01.2025 18:15 — 👍 0 🔁 0 💬 0 📌 0
Much colder and snowy than what I'm used to these days, but I'm looking forward to #POPL!
19.01.2025 02:28 — 👍 0 🔁 0 💬 0 📌 0Hello BlueSky! I mostly wanted to reserve my usual handle, but in the mean time feel free to recommend folks to follow from the #FormalMethods world
04.12.2024 18:55 — 👍 2 🔁 0 💬 1 📌 0