Home /  Symposium in Honor of Julia Robinson’s 100th Birthday


Symposium in Honor of Julia Robinson’s 100th Birthday December 09, 2019
Registration Deadline: December 09, 2019 over 4 years ago
Parent Program: --
Location: SLMath: Eisenbud Auditorium, Atrium
University of California, Berkeley
Organizers Hélène Barcelo (MSRI / Simons Laufer Mathematical Sciences Institute (SLMath)), Thomas Scanlon (University of California, Berkeley), Carol Wood (Wesleyan University)

Show List of Speakers

A Symposium on the occasion of Julia Robinson’s 100th birthday will be held on Monday, December 9, 2019 at MSRI. The Mathematical Sciences Research Institute will host a Symposium on the occasion of Julia Robinson’s 100th birthday on Monday, December 9, 2019 at MSRI. Julia Robinson (1919-1985) was an internationally renowned logician of the twentieth century. She was a trailblazer in mathematics as well as in many other ways: she was the first woman president of the American Mathematical Society, and the first woman mathematician elected to membership in the National Academy of Sciences. Participating Speakers at the Symposium (9:15am - 4:15pm at MSRI) Martin Davis (Courant Institute, New York University) Kirsten Eisentrager (Pennsylvania State University) Yuri Matiyasevich (St. Petersburg Department of Steklov Institute of Mathematics, Russian Academy of Sciences) Lou van den Dries (University of Illinois at Urbana-Champaign) Public Lecture (5:00-6:00pm at UC Berkeley's Sibley Auditorium) Lenore Blum (Carnegie Mellon University) Her most famous work, together with Martin Davis and Hilary Putnam, led to Yuri Matiyasevich's solution in the negative of Hilbert’s Tenth Problem, showing that  there is no general algorithmic solution for Diophantine equations. She contributed in other topics as well. Her 1948 thesis linked the undecidability of the field of rational numbers to Godel’s proof of undecidability of the ring of integers.  This symposium is free of charge and open to the public. Advance registration is requested to assist with workshop logistics, but registration on site is also available. Photo credit: George Bergman Events in Conjunction To learn more about the public lecture at UC Berkeley following the MSRI symposium, click here. To learn about the Julia Robinson Mathematics Festival at UC Berkeley on Saturday, December 7, 2019, click here.  The documentary film "Julia Robinson and Hilbert's Tenth Problem", featuring many of the symposium participants, visit Zala Films. This film will be shown at the Julia Robinson Mathematics Festival at UC Berkeley on December 7.
Keywords and Mathematics Subject Classification (MSC)
Primary Mathematics Subject Classification No Primary AMS MSC
Secondary Mathematics Subject Classification No Secondary AMS MSC
Funding & Logistics Show All Collapse

Show Funding

To apply for funding, you must register by the funding application deadline displayed above.

Students, recent PhDs, women, and members of underrepresented minorities are particularly encouraged to apply. Funding awards are typically made 6 weeks before the workshop begins. Requests received after the funding deadline are considered only if additional funds become available.

Show Directions to Venue

Schedule, Notes/Handouts & Videos
Show Schedule, Notes/Handouts & Videos
Show All Collapse
Dec 09, 2019
09:15 AM - 09:30 AM
09:30 AM - 10:30 AM
  From existential definability and differential equations to transseries
Lou van den Dries (University of Illinois at Urbana-Champaign)
10:30 AM - 11:00 AM
11:00 AM - 12:00 PM
  Decidability and definability in number fields and connections to Julia Robinson's work
Kirsten Eisentraeger (Pennsylvania State University)
12:00 PM - 01:30 PM
01:30 PM - 02:30 PM
  Julia Robinson: Colleague and Friend
Martin Davis (New York University, Courant Institute)
02:30 PM - 03:00 PM
  Tea Break
03:00 PM - 04:00 PM
  Around Hilbert's eighth and tenth problems
Yury Matiyasevich (Steklov Mathematical Institute, St. Petersburg)
05:00 PM - 06:00 PM
  Public Lecture - Julia Robinson: Personal Reflections, Her Work and Time
Lenore Blum (University of California, Berkeley; Carnegie Mellon University)