BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/472
DTSTAMP:20230914T125925Z
SUMMARY:First Order Logics Extended With Counting Quantifiers
DESCRIPTION:Speaker: Sreejith A V\n\nAbstract: \nAbstract: In this talk\, w
 e shall look at logics over words. It is known that first order logic (FO)
  with an order relation\,\n
URL:https://www.tcs.tifr.res.in/web/events/472
DTSTART;TZID=Asia/Kolkata:20140312T100000
DTEND;TZID=Asia/Kolkata:20140312T110000
LOCATION:D-405 (D-Block Seminar Room)
END:VEVENT
END:VCALENDAR