Recent Talks of
Neil Immerman
"P versus NP: Approaches, Rebuttals, and Does It Matter?"
"A Simple Inductive Synthesis Methodology and its Applications"