|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Computing downward Lowenheim-Skolem: Hands on with the real algebraic numbers
If you have a question about this talk, please contact Adam Lewicki.
Next week Grant Passmore will be speaking on his work in decision methods and model theory – at the intersection between logic, algebraic geometry and computer science. Dr. Passmore is a life member of Clare Hall, Cambridge, a Co-Director of Laboratoire de Recherche Scientifique (LABORES), Paris, and currently resides in London.
This talk is part of the Computing downward Lowenheim-Skolem: Hands on with the real algebraic numbers series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsEMBL-EBI Science & Society Machine Learning Journal Club Special panel discussion
Other talksDiscretizations and multigrid solver for problems related to fluid flow Conformal Manifolds in Four Dimensions and Chiral Algebras TBC (SP Workshop) Multi-sensor geophysical constraints on crustal melt in the central Andes at a so-called zombie volcano: the PLUTONS project Android application for freight vehicle in-service monitoring Measuring attention in rodent models of schizophrenia