Groups, Algebras, Identities -- Honoring Boris Plotkin's 90th birthday Sunday March 20th, Institute of Advanced Studies (Hebrew University)   10:00-10:50 |   Vladimir N. Remeslennikov | What is Universal Algebraic Geometry? |   10:50-11:20 |   coffee |   11:20-12:10 |   Nikolay Romanovsky | Hilbert's Nullstellensatz in algebraic geometry over rigid solvable groups |   12:20-13:10 |   Zlil Sela | Word equations |   13:10-15:00 |   lunch (Beit Belgia) |   15:00-15:50 |   Avinoam Mann | Curiouser and Curioser, said Alice (partition formulae connected with abelian and non-abelian groups) |   15:50-16:10 |   coffee |   16:10-16:40 |   Grigory Zhitomirsky | On logically-geometric types of algebras |   16:45-17:15 |   Arkady Tsurkov | Classification problem of quasi-varieties of the nilpotent class 2 torsion free groups is wild. How UAG works. |   17:25-17:55 |   Boris Plotkin | How it was: glimpse of the past |   18:00 |   Reception (at the IAS) | Monday, March 21st, Institute of Advanced Studies (Hebrew University)   10:00-10:50 |   Ilya Rips | Combinatorics of Engel relators and the geometry of the Cayley graph of the free Engel group |   10:50-11:20 |   coffee |   11:20-12:10 |   Boris Plotkin | Algebra and logic in varieties of algebras |   12:20-13:10 |   Rostislav Grigorchuk | Groups, automata, and automatically generated sequences |   13:10-15:00 |   lunch (Beit Belgia) |   15:00-15:50 |   Boris Zilber | The geometrical semantics of algebraic quantum mechanics |   15:50-16:10 |   coffee |   16:10-16:40 |   Vladislav Kharchenko | Quantum Lie theory |   16:45-17:15 |   Grigory Mashevitsky | The Galois correspondence between semigroups of transformations and logic formulas |   18:00 |   Festive Dinner (Prima Park Hotel, Jerusalem) | Tuesday, March 22nd, Building 211, Lecture Hall 112 (Bar Ilan University)   10:00-10:50 |   Efim Zelmanov | On groups with identities |   10:50-11:20 |   coffee |   11:20-12:10 |   Ivan Shestakov | Simple finite dimensional noncommutative Jordan superalgebras |   12:20-13:10 |   Eli Aljadeff and Louis Rowen | Specht's conjecture |   13:10-14:40 |   lunch (1004 building) |   14:40-15:10 |   Andrey Elishev | Independence of the B-KK Isomorphism of Infinite Prime and Kontsevich conjecture |   15:15-15:40 |   Alexander Lashkhi | Modeling of ring geometry from von Neumann's Point of view |   15:40-16:10 |   coffee |   16:10-16:35 |   Alexander Pinus | Algebraic Sets of Universal Algebras and Algebraic Closure Operator |   16:40-16:55 |   Janis Cirulis | Models of a freeoid and algebraic logic |   17:10 |   Movie ["Eliyahu Rips: The Burning"] with commentary | Wednesday, March 23rd, Beck Auditorium (Bar Ilan University)   10:00-10:50 |   Yuri Ershov | Continuous lattices and essentially complete topological spaces |   10:50-11:20 |   coffee |   11:20-12:10 |   Mikhail Volkov | The finite basis problem for Kauffman monoids |   12:20-13:10 |   I. Ivanov-Pogodaev | Construction of infinite finitely presented nil-semigroup |   13:10-14:40 |   lunch (restaurants mall outside the university) |   14:40-15:30 |   Stuart Margolis | CW-Decompositions, Leray Numbers and the Cohomology of Left Regular Band Algebras |   15:30-15:50 |   coffee |   15:50-16:40 |   Leonid Bokut' | Composition-Diamond lemmas for associative (Lie) algebras and Lyndon-Shirshov (Lie) words |   16:45-17:10 |   Ruvim Lipyanski | Wild and superwild problems in algebra |   17:15-18:00 |   Discussions | Thursday, March 24th, Einstein Institute, Lecture hall 2 (Hebrew University)   10:00-10:50 |   Vahagn Mikaelian | On ascending series of nilpotent subvarieties in soluble varieties of groups |   10:50-11:20 |   coffee |   11:20-12:10 |   Artem Shevljakov | Compactness conditions in universal algebraic geometry |   12:15-12:40 |   Elena Aladova | Syntax versus semantics in knowledge bases |   12:40-12:50 |   Evgeniia Mogilanskaia | About Tamura's problem |   13:00 |   Excursion (packed lunch, expect to return to hotel around 20:00) | |