Speaker: Katherine Kosaian, Department of Computer Science
Formalizing mathematics in Isabelle/HOL
Individuals with disabilities are encouraged to attend all University of Iowa–sponsored events. If you are a person with a disability who requires a reasonable accommodation in order to participate in this program, please contact Laurent Jay in advance at 3193350898 or laurent-jay@uiowa.edu.