This is the third post related to the viewpoints I commissioned on the report on logic activities in Europe that Yuri Gurevich
wrote in 1992.
In case you are interested, you can read my viewpoint contribution (pdf file) that will serve as a preface to the pieces by Thomas Henzinger, Joost-Pieter Katoen and Wolfgang Thomas, and Moshe Vardi. All the contributions will appear in the February 2016 issue of the Bulletin of the EATCS.
No comments:
Post a Comment