BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/425
DTSTAMP:20230914T125924Z
SUMMARY:A Complete Axiom System for the Algebra of Regular Sets
DESCRIPTION:Speaker: Suneel Sarswat\n\nAbstract: \nAbstract: A formal axiom
  system for the algebraic manipulation of regular expressions will be disc
 ussed. This system is consistent and complete\; equations derivable within
  this system are precisely the ones that are true. The completeness proof 
 is based on the uniqueness of solution of certain equations of regular exp
 ressions.\n\n\n\n \n
URL:https://www.tcs.tifr.res.in/web/events/425
DTSTART;TZID=Asia/Kolkata:20131129T160000
DTEND;TZID=Asia/Kolkata:20131129T173000
LOCATION:D-405 (D-Block Seminar Room)
END:VEVENT
END:VCALENDAR