This workshop will draw together researchers creating new algorithms and architectures (e.g., active symbol architectures, evolutionary programming approaches, neural program synthesis) with mathematicians and theoretical computer scientists who specialize in non-convex optimization, the theory of programming languages, type theory, proof theory, and category theory. It aims to promote cross-fertilization between these paradigms and more traditional approaches, while stimulating the development of rigorous foundations for evolutionary computing, program synthesis, and other naturalistic approaches to AI.
Topics: Part of the Long Program Mathematics of Intelligences