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        <p>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        </p>\n        <p
 >The 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.</p>\n        <p>Lectur
 ers: Vincent van Oostrom and Clemens Grabmayer</p>
 \n    \n        <p>For more information, please se
 e the webpage <a target="_blank" href="http://www.
 phil.uu.nl/moc/">http://www.phil.uu.nl/moc/</a> or
  contact the lecturers.</p>\n    
URL:/NewsandEvents/Archives/2012/newsitem/4438/24-
 April---28-June-2012-Course-on-models-of-computati
 on
END:VEVENT
END:VCALENDAR