Members of INFINIS had an active role in XVI Simposio Latinoamericano de Lógica
Matemática, Buenos Aires, from 27 july to August 2. Carlos Areces organized the
Logic and Computability session. Verónica Becher gave a plenary at XVI Simposio
Latinoamericano de Lógica Matemática, Buenos Aires, entitled “On Normal Numbers”.
Olivier Carton gave an invited talk entitled “Monadic Second Order Logic on Linear
Ordres”. Many members of INFINS gave contributed talks.Members of INFINIS had an active role in XVI Simposio Latinoamericano de Lógica
Matemática, Buenos Aires, from 27 july to August 2. Carlos Areces organized the
Logic and Computability session. Verónica Becher gave a plenary at XVI Simposio
Latinoamericano de Lógica Matemática, Buenos Aires, entitled “On Normal Numbers”.
Olivier Carton gave an invited talk entitled “Monadic Second Order Logic on Linear
Ordres”. Many members of INFINS gave contributed talks.Members of INFINIS had an active role in XVI Simposio Latinoamericano de Lógica
Matemática, Buenos Aires, from 27 july to August 2. Carlos Areces organized the
Logic and Computability session. Verónica Becher gave a plenary at XVI Simposio
Latinoamericano de Lógica Matemática, Buenos Aires, entitled “On Normal Numbers”.
Olivier Carton gave an invited talk entitled “Monadic Second Order Logic on Linear
Ordres”. Many members of INFINS gave contributed talks.