Description
This is the Programming Languages Seminar group, consisting of, primarily, faculty and students at the University of Minnesota interested in programming languages, formal verification, and logic.
If you are interested in joining click the "Contact owners and managers" button above and ask to join.