What we're about

For anyone interested in formal methods as they apply in day to day software engineering. Programmers of all skill levels are welcome. No specific background in formal methods is assumed.

Upcoming events (1)

What, Why, and How of Formal Methods

220, Alumni Science Hall, Santa Clara University

Formal methods comprise a broad range of mathematical technics applied in software and hardware development. In this talk, David will go over the vocabulary and high level concepts of the field along with concrete examples in Alloy. - Pizza and beverages will be served

Past events (1)

Initial Organization Meeting

3030 S Delaware St