January 14, 2022: World Logic Day at the FdS
An event to celebrate World Logic Day will be held on Friday, January 14, in Classroom 1.01 of Building 1 on the Triolet Campus (120 seats).
These three public lectures are primarily intended for computer science and mathematics students (undergraduate and graduate levels) and colleagues from other disciplines.
Program:
1:30 p.m. — Is a computer logical? By Simon ROBILLARD (LIRMM, University of Montpellier, CNRS)
2:00 PM — Logic and Games by Davide CATTA (LIRMM, University of Montpellier, CNRS)
3:00 PM — Logic and grammar by Richard MOOT (LIRMM, University of Montpellier, CNRS)
Established in November 2019 by UNESCO, World Logic Daywill be celebrated every January 14, the birthday ofAlfred Tarski (January 14, 1901–October 26, 1983)and the death anniversaryof Kurt Gödel (April 28, 1906–January 14, 1978). We have already marked World Logic Day on January 14, 2019 (program), as well as on January 14, 2020 (program) and January 14, 2021 (program).
For more information, visit:https://www.lirmm.fr/~retore/WLD/WorldLogicDay.html