[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Types Community,
You may have heard that UNESCO has instituted the World Logic Day on
January 18. 2020, see [1].
Maybe Types should so something to celebrate WLD?
I will make sure that the SIGMathLing Seminar [2] is logic-heavy on that
day and announce it at [3].
Michael
[1] http://wld.cipsh.international/wld.html
[2] https://sigmathling.kwarc.info/seminar/
[3] http://wld.cipsh.international/organise_event.html
--
----------------------------------------------------------------------
Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42
Professur für Wissensrepräsentation & -verarbeitung
Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room
11.139,
tel/fax: (49) 9131-85-64052/55, [email protected]
----------------------------------------------------------------------
