Nerode 90 online conference June 28-29

[Artemov, Sergei]

Nerode 90: Call For Participation.

A prominent logician Anil Nerode has 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.


Greetings, congratulations, photos, and ZOOM link requests could be sent to Sergei Artemov by sartemov at gmail.com or sartemov at gc.cuny.edu. 

Conference website https://lfcs.ws.gc.cuny.edu/tag/nerode-90/

Program (the dates and time are given in the Eastern Day Time zone).

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 “Automatic Structures and Algorithmic Randomness”
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, Andre Scedrov, Victor Marek, Piergiorgio Odifreddi, Bakhadyr Khoussainov, Denis Hirschfeldt, Manuel Lerman, Mia Minnes, Joseph S Miller, Robert Lubarsky, Anil Nerode (closing remarks).