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.

24 April - 28 June 2012, Course on models of computation

Date: 24 April - 28 June 2012
Location: Utrecht University

Starting at 24 april 2012, a course on `Models of Computation' will be taught at Utrecht University, in the master programme `Cognitive Artificial Intelligence', but open to other students, also from other universities. At the moment there is still room for enrollment of 7-8 additional students.

The aim of this course is to get acquainted with some of the most frequently used models of computation in computability theory and logic, and in the disciplines of AI. Classical and less well-known models will be studied. Relationships between these models will be established via simulations. The Church-Turing Thesis about effective calculability will be explained, evidence for it, and possible limitations of this statement, will be discussed. Some non-classical models of computation and their reach will be treated. Furthermore, applications in AI-disciplines will be considered.

Lecturers: Vincent van Oostrom and Clemens Grabmayer

For more information, please see the webpage http://www.phil.uu.nl/moc/ or contact the lecturers.

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