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 for October 24
|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: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|
|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: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.