BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/1154
DTSTAMP:20230914T125952Z
SUMMARY:Paper Presentation
DESCRIPTION:Speaker: Pranshu Gaba\n\nAbstract: \nPaper: Nachum Dershowitz a
 nd Yuri Gurevich\, "A Natural Axiomatization of Computability and Proof of
  Church's Thesis"\nhttps://doi.org/10.2178/bsl/1231081370\n
URL:https://www.tcs.tifr.res.in/web/events/1154
DTSTART;TZID=Asia/Kolkata:20210827T100000
DTEND;TZID=Asia/Kolkata:20210827T110000
END:VEVENT
END:VCALENDAR