Seminars and Colloquia

Computer Science Seminar

Feb 9

Computer Science Seminar

04:00 pm

Pierre Halmagrand, CEDRIC (Centre d'tude et de Recherche en Informatique et Communications, CNAM) "Automated Deduction and Proof Certification for the B Method Set Theory"

May 5

CS Seminar, Brent Yorgey (U. of Penn): 'Derivatives of Data Types, via Regular Expressions'

04:15 pm

Abstract: Algebraic data types are central to typed functional programming, sitting at a happy intersection of theory and practice. I will define and give examples of algebraic data types, and then go on to explain what is meant by the derivative of an algebraic data type. In the second part of the talk I will show how to constrain algebraic data types by a given regular expression, including finding derivatives a special case. No particular background is assumed; my goal is to convey not a particular result per se, but rather an appreciation for some of the beautiful overlap between algebra, combinatorics, calculus, and computer science.