At the EST training workshop in Fischbachau, Germany, I gave two lectures on syntehtic computability theory. This version of the talk contains material on recursive analysis which is not found in the MFPS XXI version of a similar talk.
Abstract:
Computability theory, which investigates computable functions and computable sets, lies at the foundation of logic and computer science. [...]