It is 100 years since the birth, on 20 February 1921 (Gregorian),
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 founding father of our school 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 in
October 2021. In addition to technical scientific
dealing with a
(re-) view of
aspects of the
also be most
For a list of speakers, click.
(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
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