January 14, 2022: World Logic Day at the FdS

An event for 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 presentations for the general public are primarily intended for computer science and mathematics students in their third year of undergraduate studies (L3), first year of master’s studies (M1), and second year of master’s studies (M2), as well as colleagues from other disciplines.

Program:

1:30 p.m. — Is a Computer Logical? By Simon ROBILLARD (LIRMM, University of Montpellier, CNRS)
2:00 p.m. — Logic and Games by Davide CATTA (LIRMM, University of Montpellier, CNRS)
3:00 p.m. — 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 anniversary of the deathof Kurt Gödel (April 28, 1906–January 14, 1978).  We have already observed World Logic Day on January 14, 2019 (program), as well as on January 14, 2020 (program) and January 14, 2021 (program).

More information here:https://www.lirmm.fr/~retore/WLD/WorldLogicDay.html