Trakhtenbrot 100 Event

24-25 October 2021
Room 420, Checkpoint Building, Tel Aviv University
(note change of venue)



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. Click here for an obituary. and here for some historical photographs.

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. Instead, there will be a "hybrid" conference at Tel Aviv University, 24-25 October 2021, 3:30-8:45 pm. In addition to technical scientific contributions, there will be a memorial session.

To register, please click here and fill out the form. A zoom link will be sent to those who sign up for virtual event.

For information on the planned special journal issue, click here.

The tentative program is below. For abstracts, click here.

For more information, contact Alex Rabinovich.

Program

All time slots are shown according to Jerusalem summer time (GMT+3)

Click title to view abstract. (Links to videos where available.)

Program for October 24

15:30-16:00 Refreshments
16:00-16:15 Greetings
Dany Leviatan (former rector), Tova Milo (dean), Sivan Toledo (head of school) (video)
16:15-16:45 Zvi Galil, Georgia Tech, USA Some Thoughts about Online Teaching Based on the Georgia Tech Experiment (video)
16:45-17:15 Wolfgang Thomas, RWTH, Germany Solving Infinite Games in the Baire Space (video)
17:15-17:45 Bruno Courcelle, LaBRI, Bordeaux, France Order-Theoretic Trees: Monadic Second-Order Descriptions and Regularity (video)
17:45-18:15 Samson Abramsky, Oxford, UK Relating Structure and Power (video)
18:15-18:45 break Refreshments
18:45-19:15 Irene Guessarian, IRIF, France Affine Completeness of some Free Binary Algebras (video)
19:15-19:45 Yuri Gurevich, Univ. of Michigan, USA The 1966 International Congress of Mathematicians: A Micro-memoir (video)
19:45-20:15 Wolfgang Reisig, Humboldt Universität zu Berlin, Germany Breathing Life into Predicates (video)
20:15-20:45 Sergei Artemov, The Graduate Center of CUNY, USA Hyperderivations for Epistemic Logic (video)


Program for October 25
15:30-16:00 Refreshments
16:00-17:15 Memorial Session Mark Trakhtenbrot, HIT, Israel On Main Milestones in the Life of our Father (video)
Eli Shamir, Arnon Avron, and whoever wishes to share memories
17:15-17:45 Johann Makowsky, Technion, Israel Integer Sequences Arising from Graph Polynomials (video)
17:45-18:15 Irina Lomazova, HSE University, Russia Resource Bisimilarity in Petri Nets is Decidable (video)
18:15-18:45 break Refreshments
18:45-19:15 Moshe Vardi, Rice University, USA Progress in Symbolic Satisfiability Solving (video)
19:15-19:45 Jacques Sakarovitch, IRIF, CNRS - U. Paris and Télécom Paris, France Derived Terms Without Derivation (video)
19:45-20:15 Vladimir Lifschitz, The University of Texas at Austin, USA Stable Models and Program Completion (video)
20:15-20:45 Mikolaj Bojanczyk, The University of Warsaw, Poland The Logic of Operators (video)


Supported by the Blavatnik Fund and the Faculty of Exact Sciences.