Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] 5th edition of the World Logic Day - January 1...


view this post on Zulip Email Gateway (Oct 28 2022 at 10:00):

From: Jean-Yves Beziau <jyb.unilog@gmail.com>
The 5th edition of the World Logic Day will take place around the world
January 14, 2023.
The first edition was organized January 14, 2019 and unanimously approved
by the General Assembly of UNESCO the same year:
http://www.logica-universalis.org/wld3
See here how to organize a celebration:
https://wld.cipsh.international/organise_event.html


Jean-Yves Beziau
Federal University of Rio de Janeiro, Brazil
Logica Universalis Association, Geneva, Switzerland
https://philpeople.org/profiles/jean-yves-beziau


Last updated: Apr 19 2024 at 16:20 UTC