Title: A brief description of the most recent Karp Prize
Speaker: Chris Miller (Ohio State Univerity)
Abstract: In May 2018, the most recent Karp Prize was awarded jointly to Matthias Aschenbrenner, Lou van den Dries and Joris van der Hoeven for their work on "Asymptotic Differential Algebra". This was a huge project, stretching over many years and requiring hundreds of pages for proofs. Nevertheless, their main result can be explained to logicians as merely saying that a certain theory is model complete. I will present this formulation and give a rough description of the standard model of the theory.