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.

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


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
Eli Shamir, Arnon Avron, and whoever wishes to share memories
17:15-17:45 Johann Makowsky, Technion, Israel Integer Sequences Arising from Graph Polynomials
17:45-18:15 Irina Lomazova, HSE University, Russia Resource Bisimilarity in Petri Nets is Decidable
18:15-18:45 break Refreshments
18:45-19:15 Moshe Vardi, Rice University, USA Progress in Symbolic Satisfiability Solving
19:15-19:45 Jacques Sakarovitch, IRIF, CNRS - U. Paris and Télécom Paris, France Derived Terms Without Derivation
19:45-20:15 Vladimir Lifschitz, The University of Texas at Austin, USA Stable Models and Program Completion
20:15-20:45 Mikolaj Bojanczyk, The University of Warsaw, Poland The Logic of Operators


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