Algebra and co- ..in the theory of programming
April 28 @ 12:00 pm - 5:00 pm
Speaker: Prof. Sanjiva Prasad
The talk explores a few elementary concepts from abstract algebra that (should) inform our data-centric development of common programs and data types, but are often elided in most textbook treatments. Included are sets, monoids, boolean algebras, semirings and Kleene algebras, structure-preserving maps and homomorphisms, and notions of co-induction. The talk is intended to be accessible to a general audience.
The talk will begin at 12:00 PM, with refreshments served at 11:50 AM