Speaker: Andrei Sipos (TU Darmstadt & Institute of Mathematics of the Romanian Academy).
Abstract: We present some novel kinds of rates of metastability extracted from proofs in classical analysis and ergodic theory that we recently analyzed using proof mining techniques..
Jocelyn Lochon defende a tese "Supercharacter Theories for Discrete Algebra Groups".
Transmissão em direto disponível aqui.
Cancelamento motivado pela aplicação do plano de contingência da Faculdade de Ciências da Universidade de Lisboa, na sequência das orientações da Direção-Geral de Saúde e das recomendações por parte da Reitoria da Universidade de Lisboa, relativamente ao novo Coronavírus (COVID-19).
Mais informações: https://ciencias.ulisboa.pt/pt/saude.
Speaker: Clarence Protin.
Speaker: Jaime Gaspar.
João Miguel Cardoso Dias defende a tese "Smooth representations of Groups associated with Algebras defined over non-archimedean fields".
Por Bruno Jacinto (Faculdade de Ciências da Universidade de Lisboa).
Abstract: According to Frege, variables are punctuation marks. They have no meaning. In particular, variables neither refer arbitrarily nor have as their semantic values objects with the property of being arbitrary.
By Pedro Pinto (Technische Universitat Darmstadt).
Por Mário Edmundo (FCUL e CMAFcIO, Universidade de Lisboa).
Por Gonenc Onay.
Abstract: This is a longstanding problem. We will expose a complete axiom system, which is also model complete and satisfied by F_p^{alg}((t)). A proof will be sketched. This work is joint with Françoise Delon (Paris) and Arno Fehm (Dresden) and should be considered as in progress.
Days in Logic will take place in Lisbon (FCUL) in January 30 and 31 and in the morning of February 1, 2020.
This biennial meeting aims at bringing together mathematicians, computer scientists and other researchers with interest in Logic.
Invited speakers:
