FMλ@RIT

We are an academic interest club at RIT with the express purpose of promoting engagement among students and researchers interested in formal methods, logic, and related areas such as programming languages, software engineering, and cybersecurity through reading groups, seminars, and networking opportunities.