Berkeley (or the ps, or the latex2e version) Logic Colloquium, March 1999.
Department Colloquium (or the ps, or the latex version) at Rutgers, February 2001.
Las Vegas (or the ps, or the latex2e version), April 2001.
Address to the Science Faculty, University of Adelaide, July 2009.
Tarski talks: Talk One, Talk Two, and Talk Three, Berkeley, April 2010
AMS Meeting at UCLA, von Neumann algebras and ergodic theory special session Los Angeles, October, 2010
Logic Colloquium Los Angeles, November, 2010.