Symposium on Logical Foundations Of Computer Science
Also see the speakers for the Special Nerode Session