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 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.

\n\n 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.

\n
URL:http://www.msri.org/workshops/955
END:VEVENT
END:VCALENDAR