About
Each week a member or guest presents a paper, a work in progress, or an open problem in programming languages, formal methods, security, or trustworthy AI. Sessions are informal and discussion-driven—bring questions.
Schedule
Fall 2026.
Speaking slots are managed on the signup sheet. Claim a week, and post the paper or topic you'll lead by the end of the preceding week—the schedule below fills in from the sheet automatically.
| Date | Speaker | Topic |
|---|---|---|
| Loading schedule from the signup sheet… | ||
Attend
Everyone's welcome.
The seminar is open to anyone interested in programming languages, formal methods, security, or trustworthy AI. It's centered at Montana State, but visitors and folks from other institutions are welcome—in person or over Teams.
For announcements, join the formal-methods-interest mailing list, our campus channel for formal-methods research. To give a talk, just claim a slot on the sign-up sheet—no need to ask.
Visiting from another institution? If you'd like a fuller visit—a seminar talk plus meetings with members of the lab—email Charlie and he'll put together a schedule for your visit.
Join the mailing list Arrange a visit