Some Recent Talks

• Vienna 2009
• Logic Colloquium 2010