Workshop World Logic Day 2023 : Vendredi 13 janvier

Workshop
Date de début
Lieu
IRISA Rennes
Salle
Belle-Ile F022
Orateur
Guillaume Aucher, Pierre Joray, Nicolas Markey
Département principal

Lieu : IRISA Rennes, France Carte et directions - salle Belle-Ile F022

Topics and aims:

"The ability to think is one of the most defining features of humankind. In different cultures, the definition of humanity is associated with concepts such as consciousness, knowledge and reason. According to the classic western tradition, human beings are defined as "rational" or "logical animals". Logic, as the investigation on the principles of reasoning, has been studied by many civilizations throughout history and, since its earliest formulations, logic has played an important role in the development of philosophy and the sciences.
On 26 November 2019, the 40th General Conference of UNESCO proclaimed 14 January to be World Logic Day, a global day of supporting the development of logic through teaching and research, as well as to public dissemination of the discipline. The date chosen to celebrate World Logic Day, 14 January, corresponds to the date of death of Kurt Gödel and the date of birth of Alfred Tarski, two of the most prominent logicians of the twentieth century."
(Excerpt from http://wld.cipsh.international/)

To celebrate this day, we organize a small workshop which gathers some of the logicians working in Rennes (only).

Speakers and schedule:

9:00 Opening
9:10 David Baelde (Rennes, computer science)
Title: Logical foundations of the Squirrel prover
9:55 François Schwarzentruber (Rennes, computer science)
Title: Formula synthesis in propositional dynamic logic with shuffle
10:40 Coffee break
11:00 Pierre Joray (Rennes, philosophy)
Title: Les définitions créatives sont-elles forcément implicites?
11:45 Nicolas Markey (Rennes, computer science)
Title: Temporal logics for multi-agent systems
12:30 Lunch break
14:00 Alain Herreman (Rennes, mathematics)
Title: Les démonstrations d'Euclide sont-elle logiques ?
14:45 Olivier Ridoux (Rennes, computer science)
Title: Logique et informatique de tous les jours
15:30 Coffee break
16:00 Guillaume Aucher (Rennes, computer science and mathematics)
Title: Sur l'universalité des logiques atomiques et moléculaires
16:4517:30 Discussion and closing


Local organizers: Guillaume Aucher, Pierre Joray, Nicolas Markey.

More information on the World Logic Day

Image
logo couleur de l'évenement World Logic Day 14 janvier 2023

Origin of the World Logic Day

First World Logic Day (January 14, 2019)

Second World Logic Day (January 14, 2020)

Third World Logic Day (January 14, 2021)