Recent Talks of Neil Immerman

• FO Isomorphism Theorems and Descriptive Complexity, IBM San Jose, Feb. 21, 2024, video, slides, abstract.

• 1 2 3 Ehrenfeucht: Descriptive Games, Combinatorial Games in Finite Model Theory Workshop at LICS, June, 2023.

• Descriptive Complexity: Using Logic to Understand Computation, Sackler Lecture, Tel-Aviv University, May 2017.

• Efficiently Reasoning about Programs, Sackler Lecture, Tel-Aviv University, May 2017.

• "FO Isomorphism Theorems"

• "Reasoning About Reachability"

• "Towards Capturing Order-Independent P"

• "Introductory Survey of Descriptive Complexity"

• "The Complexity of Resilience and Responsibility for Conjunctive Queries"

• "Descriptive Complexity: Survey and Recent Progress"

• "Dynamic Reasoning"

• "P versus NP: Approaches, Rebuttals, and Does It Matter?"

• "A Simple Inductive Synthesis Methodology and its Applications"