09:15 AM  09:30 AM


Welcome

 Location
 
 Video


 Abstract
 
 Supplements



09:30 AM  10:30 AM


From existential definability and differential equations to transseries
Lou van den Dries (University of Illinois at UrbanaChampaign)

 Location
 MSRI: Simons Auditorium
 Video

 Abstract
Definability, in particular existential definability, is a central concept in Julia Robinson’s work.
I will discuss its dual role in relation to (algebraic) differential equations. This leads naturally to the idea of transseries. My work on this is joint with Matthias Aschenbrenner and Joris van der Hoeven, and has resulted in a complete theory of solving differential equations with initial conditions in the differential field of transseries. I will also briefly talk about the connection to Hardy fields that we have established recently.
 Supplements



10:30 AM  11:00 AM


Break

 Location
 
 Video


 Abstract
 
 Supplements



11:00 AM  12:00 PM


Decidability and definability in number fields and connections to Julia Robinson's work
Kirsten Eisentraeger (Pennsylvania State University)

 Location
 MSRI: Simons Auditorium
 Video

 Abstract
In 1970, Yuri Matiyasevich, building on work by Martin Davis, Hilary Putnam and Julia Robinson, proved that Hilbert's Tenth Problem over the integers is undecidable. The analogue of Hilbert’s Tenth Problem over the rationals, and over number fields in general, remains open. A diophantine definition of the integers over the rationals, together with a standard reduction argument, would show that Hilbert’s Tenth Problem over the rationals is undecidable. A diophantine definition of the integers over the rationals seems out of reach right now, but one can also consider the problem of defining the integers inside the rationals or number fields with a firstorder formula. Julia Robinson showed that this is possible, and we will discuss her proof as well as recent improvements and extensions of her result.
We will also discuss examples of sets that can be shown to be diophantine in number fields and in global function fields, such as the set of quadratic nonnorms and the set of nonsquares.
 Supplements



12:00 PM  01:30 PM


Lunch

 Location
 
 Video


 Abstract
 
 Supplements



01:30 PM  02:30 PM


Julia Robinson: Colleague and Friend
Martin Davis (New York University, Courant Institute)

 Location
 MSRI: Simons Auditorium
 Video

 Abstract
Over a 25 year period, Julia and I worked on the same problem, mostly in parallel, but sometimes as collaborators. I will talk about this, including samples from our correspondence.
 Supplements



02:30 PM  03:00 PM


Tea Break

 Location
 
 Video


 Abstract
 
 Supplements



03:00 PM  04:00 PM


Around Hilbert's eighth and tenth problems
Yury Matiyasevich (Steklov Mathematical Institute, St. Petersburg)

 Location
 MSRI: Simons Auditorium
 Video

 Abstract
The name of Julia Robinson is inseparable from Hilbert's tenth problem. This was one of the 23 mathematical problems selected by David Hilbert in 1900, problems which the pending XX century was to inherit from the passing XIX century. The eighth had, at first sight, little in common with the tenth problem. However, when the latter was solved (in the negative) it turned out that the two problems are connected, in a way which was not anticipated by Hilbert.
In my talk I'll briefly outline the history of proving the undecidability of the tenth problem, the role played by Julia
Robinson, my collaboration with her and Martin Davis, and a relationship between Hilbert’s tenth and eighth problems.
 Supplements



05:00 PM  06:00 PM


Public Lecture  Julia Robinson: Personal Reflections, Her Work and Time
Lenore Blum (Carnegie Mellon University)

 Location
 Bechtel Engineering Center: Sibley Auditorium, UC Berkeley
 Video

 Abstract
http://www.msri.org/general_events/24594
I knew Julia Robinson from 1968, when I arrived as a postdoc at Berkeley to work with her, until her death in 1985. As a grad student at MIT, her beautifully written paper, “The decision problem for fields,” was a constant reference while I was developing a model theory and axioms for differentially closed fields (ch 0). When I arrived in Berkeley, I was shocked that this famous mathematician who signed her papers with the address, Berkeley, California, had never had a regular position at the university. Perhaps because of the times, I got to see Julia in ways that others had not. I will reflect on her work and this perspective.
 Supplements


