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