events

Austin Formal Methods Meetup

The Austin Formal Methods User Group holds its regular evening gathering at STATION Austin downtown. A half-hour of pizza and conversation precedes a ninety-minute main presentation on mathematical approaches to software correctness, then c

Starts

2026-09-30T23:30:00+00:00

Organizer

Austin Formal Methods User Group

Location

STATION Austin, 701 Brazos St., Austin, United States

The Austin Formal Methods User Group holds its regular evening gathering at STATION Austin downtown. A half-hour of pizza and conversation precedes a ninety-minute main presentation on mathematical approaches to software correctness, then cleanup. Talks and discussion cover interactive theorem provers, SAT and SMT solvers, type theory, temporal logic, model checking, correct-by-construction development, and AI robustness. The group is sponsored by STATION Austin, a Capital Factory-backed founder space, and by Zulip, which hosts its invite-only chat. Aimed at programmers and researchers.