Abstract : In my short talk I’ll briefly outline some new applications of so called DPRM theorem which was the main tool for proving the undecidability of Hilbert’s tenth problem about Diophantine equations.

L’exposé est disponible ici