Strong normalization and bar recursion (3)
Bruno Dinis
CMAF-CIO, Universidade de Lisboa
Abstract:
Bruno Dinis
CMAF-CIO, Universidade de Lisboa
Abstract:
Bruno Dinis
CMAF-CIO, Universidade de Lisboa
André Oliveira
Centro de Matemática, Univ. Porto
Daniel Ramos
CMAFCIO, ULisboa
A iniciativa conta com a participação de Nuno Jerónimo (CFCUL), Ilda Perez da Silva (Departamento de Matemática/FCUL) e Ana Patricia Martins (Escola Superior de Educação de Viseu / CIUHCT), decorrendo nos dias 18 e 19 de novembro de 2016.
Alexandre Anahory de Sena Antunes Simões apresenta a dissertação "Bouncing Solutions in a generalized Kepler Problem".
Bruno Dinis
CMAF-CIO, Universidade de Lisboa
Joost Joosten
Universitat de Barcelona
Faleceu recentemente, com 95 anos, Ricardo Augusto Quadrado. Foi um professor de Cristalografia e Mineralogia da FCUL, e da Universidade da Madeira, extremamente marcante para quantos tiveram o privilégio de com ele privar.
David Fernandéz-Duque
Université Paul Sabatier, Toulouse
Abstract: In this course we will give an introduction to ordinal notation systems based on collapsing cardinals in the style of Buchholz. Although familiarity with proof-theoretic ordinals is assumed, the course will work gradually, beginning with a quick review of predicative notation systems and introducing some intermediate systems along the way. The course will be divided in two sessions.