A prominent logician Anil Nerode has just turned 90. This online conference is a special event in his honor.

Anil Nerode is a monumental figure in Mathematical Logic and Applications. His impact could be probably measured in figures: number of publications, citations, students, grants, etc, but it is so much more than that in it. Professor Nerode has been an inspirational leader of several generations of researchers in both academia and industry worldwide. His own scientific contributions are fundamental and span automata theory, model theory, theory and applications of hybrid control systems, and other fields. However, his influence as a builder and a consolidating figure in one of the most fundamental areas of human intellectual activity cannot be overestimated. Professor Nerode is a living and vital link between the classical tradition in Mathematical Logic and vast areas of its modern development.

The dates and times are in the current New York time zone EDT.
Please send greetings, congratulations, and ZOOM link requests to the organizer Sergei Artemov: or


June 28, Tuesday

11:00 – 11:45 Andre Scedrov “On the Security and Complexity of Periodic Systems”
11:45 – 12:30 Moshe Vardi “From Deterministic Automata to Algebraic Decision Diagrams in Boolean Reasoning”
12:30 – 12:45 Break
12:45 – 1:30 Philip Scowcroft “Some applications of infinitary logic to lattice-ordered groups”
1:30 – 2:00 Mia Minnes TBA
2:00 – 2:45 Break
2:45 – 3:30 Harvey Friedman “Reverse Mathematics”
3:30 – 4:15 Denis Hirschfeldt “Reduction games in Reverse Mathematics”
4:15 – 4:45 Sam Sanders “Computability beyond Turing”
4:45 – 5:00 Break
5:00 – 5:30 Duminda Wijesekera “Logical analysis of attacks and defenses in the cyber-physical world: The story of LinuxCNC”
5:30 – 6:15 Bakhadyr Khoussainov “Probability structures”
6:15 – 7:00 Rod Downey “My Mathematical Encounters with Anil Nerode-Updated!”

June 29, Wednesday

11:00 – 11:45 Phokion Kolaitis “On the Expressive Power of Homomorphism Counts”
11:45 – 12:30 Andre Platzer “Differential Game Logic and Its Use for Aircraft Collision Avoidance Games”
12:30 – 12:45 Break
12:45 – 1:30 Venkatramanan Siva Subrahmanian “Logic, Learning, Explanations, and Terrorists”
1:30 – 2:15 Victor Marek TBA
2:15 – 3:00 Break
3:00 – 6:00 Session of memories and congratulations: Robert Soare (opening speech), Richard Shore, Robert Constable, Victor Marek, Andre Scedrov, Piergiorgio Odifreddi, Bakhadyr Khoussainov, Denis Hirschfeldt, Manuel Lerman, Mia Minnes, Anil Nerode (the closing remarks).