Logo

Mathematical Sciences Research Institute

Home » Workshop » Schedule

Schedule, Notes/Handouts & Videos

Symposium in Honor of Julia Robinson’s 100th Birthday December 09, 2019 - December 09, 2019

Show All Collapse
Dec 09, 2019
Monday
09:15 AM - 09:30 AM
  Welcome
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
  Break
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
  Lunch
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 (Carnegie Mellon University)