BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Computer Science and Engineering - ECPv6.13.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://homecse.iitd.ac.in
X-WR-CALDESC:Events for Computer Science and Engineering
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Asia/Kolkata
BEGIN:STANDARD
TZOFFSETFROM:+0530
TZOFFSETTO:+0530
TZNAME:IST
DTSTART:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Asia/Kolkata:20250428T120000
DTEND;TZID=Asia/Kolkata:20250428T130000
DTSTAMP:20260924T034314
CREATED:20250425T023615Z
LAST-MODIFIED:20250427T060100Z
UID:1526-1745841600-1745845200@homecse.iitd.ac.in
SUMMARY:Algebra and co-  ..in the theory of programming
DESCRIPTION:Speaker: Prof. Sanjiva Prasad \nThe 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. \nThe talk will begin at 12:00 PM\, with refreshments served at 11:50 AM
URL:https://homecse.iitd.ac.in/event/algebra-and-co-in-the-theory-of-programming/
LOCATION:Bharti 501\, IIT Campus\, Hauz Khas\, New Delhi
CATEGORIES:Seminars
END:VEVENT
END:VCALENDAR