La Escuela Lluís Santaló 2012 pretende aportar una visión de conjunto a los avances obtenidos recientemente en el estudio de la complejidad de algoritmos para la resolución de sistemas de ecuaciones polinomiales. Se centra en la complejidad tanto de los métodos que aportan resultados aproximativos (Numéricos) como de los que aportan resultados exactos (Simbólicos o Geométricos), así como en los fundamentos de la complejidad de este tipo de algoritmos.

La Escuela está orientada a titulados en Matemáticas, estudiantes de Máster o Doctorado, así como a investigadores que pudieran estar interesados en estos temas. El idioma oficial del curso será el inglés.

La información sobre la Escuela se irá publicando, conforme esté disponible, en la página web http://santalo2012.unican.es.

Los Conferenciantes Invitados, que impartirán los distintos cursos dentro de la Escuela, así como los títulos de sus exposiciones son los siguientes:

  • Carlos Beltrán, Depto. MATESCO, Universidad de Cantabria: “Stability, precision and complexity in some numerical problems”.
  • Marc Giusti, CNRS, Laboratoire LIX, École Polytechnique, France: “Polar, copolar and bipolar varieties: real solving of algebraic varieties with intrinsic complexity”.
  • Joos Heintz, Depto. MATESCO, Universi-dad de Cantabria y Depto. Computación, UBA: “On the intrinsic complexity of elimination problems in effective algebraic geometry”.
  • Gregorio Malajovich, LabMA, Universidade Federal do Rio de Janeiro: “From the quadratic convergence of Newton's method to problems of counting of the number of solutions”.
  • Klaus Meer, Institut für Informatik, Brandenburgisch Technische Universität Cottbus: “Real Number Complexity Theory and Probabilistically Checkable Proofs (PCPs)”.
  • Michael Shub, CONICET, IMAS, Universidad de Buenos Aires and CUNY Graduate School: “The geometry of condition and the analysis of algorithms”.