Invited speakers

S. Barry Cooper
Turing Machines, Embodied Information, and Higher Type Computability

Leo Corry
Turing and the Computational Tradition in Pure Mathematics: The Case of the Riemann Zeta-Function

Daniel Dennett  (LECTURE CO-ORGANIZED WITH THE BELGIAN SOCIETY FOR LOGIC AND PHILOSOPHY OF SCIENCE)
Turing's gradualist vision: making minds from proto-minds

Marie Hicks
The Imitation Game Writ Large: Thinking about gender, labor, and sexuality in making machines useful.

Maurice Margenstern
Universality everywhere and beyond, an epic of computer science

Elvira Mayordomo
Effective fractal dimension in general spaces

Alexandra Shlapentokh
First-Order and Existential Definability and Decidability in Positive Characteristic

Rineke Verbrugge
Cognitive systems in interaction