A partir del 26 de octubre se dictará el mini curso "An introduction to proof assistants: a mini course about mathematical formalization" por Riccardo Brasca de la Université Paris-Cité.
Leer másEl Instituto de Matemáticas (IMA) de la Pontificia Universidad Católica de Valparaíso (PUCV) invita a la comunidad matemática a la XLVIII Semana de la Matemática, evento que se realizará del 11 al 14 de octubre del presente año en la PUCV (Región de Valparaíso, Chile).
Leer másEscuela y conferencia para investigadores, incluyendo posdocs y estudiantes seleccionados de doctorado y maestría, para presentar desarrollos relevantes en sistemas dinámicos y teoría ergódica que combinan aspectos combinatorios, geométricos y algebraicos.
Leer más