BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2012/newsitem/4438/24- April---28-June-2012-Course-on-models-of-computati on DTSTAMP:20120415T000000 SUMMARY:Course on models of computation DTSTART;VALUE=DATE:20120424 DTEND;VALUE=DATE:20120628 LOCATION:Utrecht University DESCRIPTION:Starting at 24 april 2012, a course on `Models of Computation' will be taught at Utrecht University, in the master programme `Cognitive Ar tificial Intelligence', but open to other students , also from other universities. At the moment ther e is still room for enrollment of 7-8 additional s tudents. The aim of this course is to get acquai nted with some of the most frequently used models of computation in computability theory and logic, and in the disciplines of AI. Classical and less w ell-known models will be studied. Relationships be tween these models will be established via simulat ions. The Church-Turing Thesis about effective cal culability will be explained, evidence for it, and possible limitations of this statement, will be d iscussed. Some non-classical models of computation and their reach will be treated. Furthermore, app lications in AI-disciplines will be considered. L ecturers: Vincent van Oostrom and Clemens Grabmaye r For more information, please see the webpage ht tp://www.phil.uu.nl/moc/ or contact the lecturers. X-ALT-DESC;FMTTYPE=text/html:\n
Starting at 24 april 2012, a course on `Models of\n Computation' will be taught at Utrecht University , in the\n master programme `Cognitive Arti ficial Intelligence', but open\n to other s tudents, also from other universities. At the mome nt\n there is still room for enrollment of 7-8 additional students.\n
\nThe aim of this course is to get acquainted with some of\n the most frequently used models o f computation in\n computability theory and logic, and in the disciplines of\n AI. Cla ssical and less well-known models will be\n studied. Relationships between these models will be\n established via simulations. The Churc h-Turing Thesis about\n effective calculabi lity will be explained, evidence for it,\n and possible limitations of this statement, will b e\n discussed. Some non-classical models of computation and their\n reach will be trea ted. Furthermore, applications in\n AI-disc iplines will be considered.
\nLectur ers: Vincent van Oostrom and Clemens Grabmayer
\n \nFor more information, please se e the webpage http://www.phil.uu.nl/moc/ or contact the lecturers.
URL:/NewsandEvents/Archives/2012/newsitem/4438/24- April---28-June-2012-Course-on-models-of-computati on END:VEVENT END:VCALENDAR