Trakhtenbrot 100
It is 100 years since the birth, on 20 February 1921 (Gregorian),
of Boris
Abramovich (Boaz) Trakhtenbrot. Boaz
passed away on 19 September 2016 in Rehovot.
He was a founding father of theoretical
computer science in general and of the logic of computer
science in particular.
And he was a beloved founder of our school of computer science at Tel Aviv University.
Originally, we planned to host an international conference during
February 2021 in Israel in his memory and honor. For obvious reasons,
we were forced to postpone this plan. We would still like to honor
Boaz's scientific life and activity in two ways:
(1) There will be a "hybrid"
conference at Tel Aviv University,
24-25 October 2021. In addition to technical scientific
contributions,
presentations
dealing with a
historical
perspective or
a critical
(re-) view of
aspects of the
field would
also be most
welcome.
(2) We will publish a collection of papers by
outstanding scientists in a special issue of Fundamenta
Informaticae, a journal in which Boaz served as
an editor for many years, and later as an honorary
editor.
Papers will be
reviewed according to usual procedures. Survey articles or
historical pieces are also options.
To propose a contribution to the conference and/or the
special issue, contact any of the organizers listed below.
Click here for an obituary.
For some historical photographs, click
here.
Arnon
Avron
Nachum
Dershowitz
Alex
Rabinovich