BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/1096
DTSTAMP:20230914T125950Z
SUMMARY:Math and Informatics\, ever more fruitful interactions
DESCRIPTION:Speaker: Gérard Berry (French Académie des sciences)\n\nAbstr
act: \nThe relation between math and algorithmics is very old. In a sense\
, one can even argue that mathematics was created to show that some alread
y known algorithms worked in all cases and not only on some examples. Chur
ch and Turing\, creators of the lambda-calculus and computability theory w
ere mathematicians. Informatics was really born later with the introductio
n of computers\, for which mathematicians played an important role. In the
70's\, computer algebra was developed\, as well as the formal semantics o
f programming languages and automatic program analysis techniques. But the
cooperation between both sciences has deepened quickly in the last 20 yea
rs\, with mutual enrichment. We will show this with a variety of examples
: the systematic development of randomized and probabilistic algorithms to
handle massive data\, the use of boolean satisfiability (SAT) systems to
solve open problems in number theory\, the development of powerful proof a
ssistants for mechanizing large mathematical proofs using rich logics (Fei
t-Thompson theorem\, Kepler conjectures)\, and finally\, the use of the sa
me tools to perform mathematical proofs of the correctness of safety-criti
cal computerized systems. Bio: Gérard Berry\, member of the French Acadé
mie des sciences and Gold Medal of CNRS in 2014\, studied at Ecole Polytec
hnique and Corps des Mines in Paris. He was researcher at Ecole des Mines
and Inria from 1970 to 2001\, Chief Scientist of the Esterel Technologies
company from 2001 to 2009\, Director of Research at Inria from 2009 to 201
2\, before being appointed as Full Professor at Collège de France in 2012
on the Algorithms\, Programs and Machine Chair\; he had previously held t
here two yearly chairs in 2007-2008 and 2009-2010. He officially retired i
n 2001. His main scientific contributions concern the formal development o
f programming languages in relation with mathematical logic\, parallel and
real-time programming\, high-level design of computer circuits and system
s\, and formal verification of programs and circuits. He is the creator of
the Esterel synchronous reactive language. Through his courses\, books an
d conferences\, he is also active in the dissemination to a general audien
ce of the new algorithmic way of thinking and acting. This virtual session
is in the framework of the Itinerant Chair in India created by the French
Institute in India ( http://ifindia.in/all-events/ ) in collaboration wit
h Collège de France ( https://www.college-de-france.fr/site/college/index
.htm ). In the heart of Paris\, Collège de France is a highly reputed Fre
nch higher education and research establishment. Since the 16th century\,
it has been a forum for cutting-edge research and education in all fields
of knowledge\, from mathematical and natural sciences to social sciences a
nd humanities. To know more about the Itinerant Chair in India : https://i
findia.in/college-de-france/\nYouTube Live : https://youtu.be/cIfE0pSWU0E
\n
URL:https://www.tcs.tifr.res.in/web/events/1096
DTSTART;TZID=Asia/Kolkata:20201103T160000
DTEND;TZID=Asia/Kolkata:20201103T170000
END:VEVENT
END:VCALENDAR