Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 21-25 January 2007
Location: 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/

Please note that this newsitem has been archived, and may contain outdated information or links.