Fundamentos

Descripción

El programa de Fundamentos apoya la investigación en lógica matemática y los fundamentos de las matemáticas, incluyendo la teoría de la demostración, la teoría de la recursión, la teoría de modelos, la teoría de conjuntos y la combinatoria infinita. Conferencias Los Investigadores Principales deben leer atentamente la solicitud de programa "Conferences and Workshops in the Mathematical Sciences" (enlace a continuación) para obtener información importante sobre el contenido de las propuestas para conferencias, talleres, escuelas de verano/invierno y actividades similares. Las propuestas de conferencias y talleres deben presentarse ocho meses antes de la fecha de inicio solicitada.

Fuente oficial

Beneficiarios elegibles

• Unrestricted (i.e., open to any type of entity above), subject to any clarification in text field entitled "Additional Information on Eligibility"