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