[TYPES/announce] Unesco World Logic Day January 18. 2020

[Michael Kohlhase]

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, michael.kohlhase at fau.de
----------------------------------------------------------------------