21-25 January 2007, Bonn International Workshop on Ordinal Computability (BIWOC), Bonn, Germany

Recent years saw the emergence of Ordinal Computability - the generalization of standard computability theory to ordinal time or ordinal space. Ordinal computability theory links computability, complexity, descriptive set theory, constructibility theory and other fields in innovative and fruitful ways.

The Bonn International Workshop on Ordinal Computability BIWOC aims at bringing together specialists, interested graduate students, and representatives from neighbouring fields. The program will consist of morning talks which will represent the current spectrum of ordinal machine models and identify relevant research questions and projects. Afternoons will be reserved for informal discussions, collaborations, and presentations. We expect that some progress may already be reported at an open session at the end of the workshop.

For more information, see http://www.math.uni-bonn.de/people/logic/biwoc/