World Logic Day 2023

Rennes, France


Université Rennes 1

IRISA Rennes

Date: January 13, 2023

Venue: IRISA Rennes, France. (Room Belle-Ile F022, Maps and directions.)

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

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

Registration: none.

Speakers and schedule:
  • 9:00 - 9:10 Opening: reading of a dialogue written by Lewis Carroll
Title: Logical foundations of the Squirrel prover
Title: Formula synthesis in propositional dynamic logic with shuffle
  • 10:40 - 11:00 Coffee break
Title: Les définitions créatives sont-elles forcément implicites?
Title: Les démonstrations d'Euclide sont-elles logiques ?
  • 12:30 - 14:00 Lunch break
Title: Temporal logics for multi-agent systems
Title: Logique et informatique de tous les jours
  • 15:30 - 16:00 Coffee break
Title: Sur l'universalité des logiques atomiques et moléculaires
  • 16:45 - 17:30 Discussion and closing

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

More information on the World Logic Day:
Last update: December 14, 2022