BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
CALSCALE:GREGORIAN
PRODID:iCalendar-Ruby
BEGIN:VEVENT
LOCATION:60 Evans Hall
SEQUENCE:0
DTEND:20091106T180000
DTSTART:20091106T161000
UID:philosophy.berkeley.edu:events:586
DTSTAMP:20091123T233847
DESCRIPTION:Hilbert's 10th Problem asked for an algorithm to determine whet
 her a given polynomial equation with integer coefficients has an integer so
 lution. In this talk I will discuss the negative solution to the problem as
  well as various extensions.
SUMMARY:Logic Colloquium\nMartin Davis\nReflections on Hilbert’s 10th Probl
 em  with a New Conjecture
END:VEVENT
END:VCALENDAR
