[Om-announce] 1st World Logic Day, 14 January 2019 - Report on the Celebrations

[jean-yves beziau]

One month ago was organized the 1st World Logic Day.
It was celebrated in about 60 locations all over the world including
Warsaw,  Kolkata, Mecca, St Petersburg, Athens, Berlin,  Vatican, Montréal,
Rio de Janeiro,
as reported in the following paper in open access:
1st World Logic Day: 14 January 2019
https://link.springer.com/article/10.1007/s11787-019-00221-5

As explained, January 14 is the day of death  of Gödel and birth of Tarski.
The collected papers of Tarski (4 volumes) have just been re-edited by
Birkhäuser:
https://www.springer.com/us/book/9783319953656
We will release soon a 5th volume with unpublished documents and letters.

In the recent published Birkhäuser book
The Lvov-Warsaw School - Past and Present
https://link.springer.com/book/10.1007/978-3-319-65430-0
there are three papers about Tarski:
Alfred Tarski: Auxiliary Notes on His Legacy, by Jan Zygmunt
https://link.springer.com/chapter/10.1007/978-3-319-65430-0_31
Alfred Tarski (1901–1983), by Jan Wolenski
https://link.springer.com/chapter/10.1007/978-3-319-65430-0_27
Tarski’s Influence on Computer Science, by Solomon Feferman
https://link.springer.com/chapter/10.1007/978-3-319-65430-0_29

Jean-Yves Beziau - Editor-in-Chief
Logica Universalis (Journal)
Studies in Universal Logic (Book Series)
Birkhäuser / Springer Nature, Basel, Switzerland
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20190214/e2a73a2a/attachment-0001.html>