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/2019/newsitem/11066/9-
 December-2019-Symposium-in-Honour-of-Julia-Robinso
 ns-Centenary-Berkeley-CA-U-S-A-
DTSTAMP:20190811T220154
SUMMARY:Symposium in Honour of Julia Robinson's Ce
 ntenary, Berkeley  CA, U.S.A.
DTSTART;VALUE=DATE:20191209
DTEND;VALUE=DATE:20191209
LOCATION:Berkeley  CA, U.S.A.
DESCRIPTION:A Symposium on the occasion of Julia R
 obinson's 100th birthday will be held on Monday De
 cember 9, 2019 at MSRI. Julia Robinson (1919-1985)
  was a leading mathematical logician of the twenti
 eth century, and notably a first in many ways, inc
 luding the first woman president of the American M
 athematical Society and the first woman mathematic
 ian elected to membership in the National Academy 
 of Sciences. Her most famous work, alongside other
 s including Martin Davis and Hilary Putnam, led to
  Yuri Matijasevich's solution in the negative of H
 ilbert's Tenth Problem, showing that there is no g
 eneral algorithmic solution for Diophantine equati
 ons. She contributed in other topics as well. Her 
 1948 thesis linked the undecidability of the field
  of rational numbers to Godel?s proof of undecidab
 ility of the ring of integers.  Confirmed particip
 ants in this day-long celebration of her work and 
 of current mathematics insprired by her research i
 nclude: Lenore Blum, who will give a public lectur
 e, Lou van den Dries, Martin Davis, Kirsten Eisent
 rager, and (provisionally yes) Yuri Matijasevich.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>A Symposium on
  the occasion of Julia Robinson's 100th birthday w
 ill be held on Monday December 9, 2019 at MSRI. Ju
 lia Robinson (1919-1985) was a leading mathematica
 l logician of the twentieth century, and notably a
  first in many ways, including the first woman pre
 sident of the American Mathematical Society and th
 e first woman mathematician elected to membership 
 in the National Academy of Sciences. Her most famo
 us work, alongside others including Martin Davis a
 nd Hilary Putnam, led to Yuri Matijasevich's solut
 ion in the negative of Hilbert's Tenth Problem, sh
 owing that there is no general algorithmic solutio
 n for Diophantine equations. She contributed in ot
 her topics as well. Her 1948 thesis linked the und
 ecidability of the field of rational numbers to Go
 del?s proof of undecidability of the ring of integ
 ers.</p>\n\n  <p>Confirmed participants in this da
 y-long celebration of her work and of current math
 ematics insprired by her research include: Lenore 
 Blum, who will give a public lecture, Lou van den 
 Dries, Martin Davis, Kirsten Eisentrager, and (pro
 visionally yes) Yuri Matijasevich.</p>\n
URL:http://www.msri.org/workshops/955
END:VEVENT
END:VCALENDAR