Rennes, France
Date: January 13, 2023
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).
Registration: none.
Speakers and schedule:
Local organizers: Guillaume Aucher, Pierre Joray, Nicolas Markey.
More information on the World Logic Day:
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).
Registration: none.
Speakers and schedule:
- 9:00 - 9:10 Opening: reading of a dialogue written by Lewis Carroll
- 9:10 - 9:55 David Baelde (Rennes, computer science)
Title: Logical foundations of the Squirrel prover
- 9:55 - 10:40 François Schwarzentruber (Rennes, computer science)
Title: Formula synthesis in propositional dynamic logic with shuffle
- 10:40 - 11:00 Coffee break
- 11:00 - 11:45 Pierre Joray (Rennes, philosophy)
Title: Les définitions créatives sont-elles forcément implicites?
- 11:45 - 12:30 Alain Herreman (Rennes, mathematics)
Title: Les démonstrations d'Euclide sont-elles logiques ?
- 12:30 - 14:00 Lunch break
- 14:00 - 14:45 Nicolas Markey (Rennes, computer science)
Title: Temporal logics for multi-agent systems
- 14:45 - 15:30 Olivier Ridoux (Rennes, computer science)
Title: Logique et informatique de tous les jours
- 15:30 - 16:00 Coffee break
- 16:00 - 16:45 Guillaume Aucher (Rennes, computer science and mathematics)
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:
- First World Logic Day (January 14, 2019)
- Second World Logic Day (January 14, 2020)
- Third World Logic Day (January 14, 2021)