``Se tratarán problemas matemáticos e informáticos relacionados a la complejidad en Cálculo Formal. Entre ellos merecerán especial atención los vinculados a la geometría algebraica y al álgebra conmutativa (cálculo efectivo de los generadores del radical de un ideal, componentes inmersas, desigualdades tipo Bezout), geometría semialgebraica (descripción algorítmica de la topología de los conjuntos semialgebraicos, estudio efectivo de sus propiedades métricas) e informática (en especial el estudio de la representación adecuada de los datos de entrada en problemas de complejidad en álgebra y geometría)."