Logic Colloquium 2009
Sofia, Bulgaria, July 31 – August 5
Validator
About
Overview
Committees
Registered participants
Contact information
Satellite meeting
Program
Tutorials and lectures
Special sessions
Contributed talks
Schedule
Proceedings
Social program
Participation
Registration
Accommodation
Visas
Venue
Transportation
Sofia
Sponsors
Ralf Schindler - The evolution of inner models
Part 1
[slides]
Part 2
[slides]
Part 3
[slides]