January 14, 2022: World Logic Day at FdS

A meeting to mark World Logic Day is being organizedFriday January 14 in lecture room 1.01 in building 1 on the Triolet campus (120 places).These 3 public presentations are aimed primarily at students of computer science or mathematics, L3 M1 M2 and colleagues from other disciplines.

Program :

13:30 - Is a computer logical? By Simon ROBILLARD (LIRMM Université de Montpellier CNRS)
14:00 - Logic and games by Davide CATTA (LIRMM Université de Montpellier CNRS)
15:00 - Logic and grammar by Richard MOOT (LIRMM Université de Montpellier CNRS)

Established in November 2019 by UNESCO, World Logic Day will be celebratedwill be celebrated every January 14, the day ofAlfred Tarski's birth(14/01/1901-26/10/1983)and KurtGödel's death(28/04/1906-14/01/1978). We have already marked World Logic Day on January 14, 2019(program), as well as January 14, 2020(program) and January 14, 2021(program).

Find out more here: https://www.lirmm.fr/~retore/WLD/WorldLogicDay.html