The 2015 autumn meeting of the New England Recursion & Definability Seminar will be held on the campus of Assumption College, in Worcester Massachusetts, on Saturday, October 17, from 10:00 until 4:15. Titles and abstracts are now posted at the link for NERDS, under the Seminars tab. Directions and visitor information are available here.
Tag Archives: computability
May 12-13 Turing meeting at Columbia University
This is a preliminary announcement: on May 12-14, 2014, a workshop entitled Mind, Mechanism, and Mathematics will be held at Columbia University. This is the second workshop in the Turing Centenary Research Project, which focuses on the work and the legacy of Alan Turing. Details are available at the conference webpage.