BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/136
DTSTAMP:20230914T125911Z
SUMMARY:Formal Proofs: From Principia Mathematica to Automated Reasoning
DESCRIPTION:Speaker: N. Raja\nSchool of Technology and Computer Science\nTa
ta Institute of Fundamental Research\nHomi Bhabha Road\nMum\n\nAbstract: \
nThe year 2010 is the centenary of Whitehead and Russell's `Principia Math
ematica'. With the advent of computer science the notion of formal proofs
from `Principia' have evolved from a mere theoretical curiosity to someth
ing that is possible in practice. Recent advances in the field of `Interac
tive Proof Checking' with the associated development of powerful tools suc
h as `Proof Assistants' have given rise to an interesting consequence -- v
iz. the practical feasibility of importing techniques developed in the com
puter science community and redeploying them to improve the main activity
of the working mathematician\, namely the process of proof development. At
the core of such redeployed techniques lie the notions of formal systems\
, formal reasoning\, and formal proofs. However the process of formalizing
mathematics is a highly non-trivial task\, and gives rise to a number of
challenging and interesting issues. This talk will give an overview of rel
ated research in the area of automated reasoning.\n
URL:https://www.tcs.tifr.res.in/web/events/136
DTSTART;VALUE=DATE:20101208
LOCATION:A-212 (STCS Seminar Room)
END:VEVENT
END:VCALENDAR