Mathematical Logic Webinar

Numeral completeness of S^1_2: Part B

Sala 6.2.33, Ciências ULisboa (com transmissão através de videoconferência)

Por Paulo Santos (Universidade Nova de Lisboa - CMA).

We establish several consequences of numeral completeness, namely on: a computational version of Kreisel’s conjecture, finitist consistency, and a negative result on the size of proofs of consistency for bounded notions of provability.


Zoom | ID da reunião: 890 8479 3299 - senha de acesso: 409604

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

Seminário de Lógica Matemática, por Stephen Mackereth (Dartmouth College, USA).

Título/data/local do evento e fotografias dos três oradores

A sessão irá partilhar exemplos de boas práticas de três instituições de ensino superior, nomeadamente de CIÊNCIAS.

Webinar por Cristina Branquinho (Ciências ULisboa / cE3c).

Título/data/local do evento e fotografia do orador

Talk @LASIGE, por Xiaojie Zhu (King Abdullah University of Science and Technology).

Seminário em Biologia Humana e Ambiente, por Carlos Gravato (Departamento de Biologia Animal, Ciências ULisboa).

Seminário do Departamento de Física de Ciências ULisboa, por Efrem Maconi (University of Vienna, Austria).

The Genotype-Phenotype map is a conceptual and modeling tool that represents development in the context of evolution. In order to promote a philosophy of evolution more aware of the putative centrality of this important research tool, this workshop gathers evolutionary biologists and philosophers interested in the notion.

Seminário "Ásia-Europa, 1500-1800", por Ana Canas D. M. (AHU e CH - ULisboa).

Seminário do Centro de Estatística e Aplicações da Universidade de Lisboa, do Centro de Ecologia, Evolução e Alterações Ambientais e do Centro de Ciências do Mar e do Ambiente, por Seán O'Callaghan (Marine and Freshwater Research Centre - MFRC at the Atlantic Technological University - ATU, Galway, Ireland).

Data Science Seminar, por Pedro Saint-Maurice (Champalimaud Foundation).

Título/data/local do evento e fotografia de três jovens

Conferência no âmbito do VII Encontro dos Presidentes dos Conselhos Gerais das Universidades Públicas Portuguesas - a entrada é livre, mediante inscrição prévia.

Data e logótipo do evento

Atenção! Este evento vai aumentar a tua pressão arterial. O WBME é um evento de entrada livre que certamente não vais querer perder!

Título da iniciativa e fotografia de pessoas a correr

A Universidade de Lisboa associa-se à Corrida Sempre Mulher, oferecendo as primeiras 70 inscrições na Caminhada, para integrar o grupo da ULisboa. A iniciativa é aberta a toda a comunidade da ULisboa, mediante inscrição até 07 de outubro.

Seminário de Formação Avançada em Jardins, Paisagens e Ambiente, por Samira Peruchi Moretto (Universidade Federal da Fronteira Sul, Brasil).

Seminário do Centro de Física Teórica e Computacional, por Célio Fernandes (Departamento de Engenharia Mecânica, Faculdade de Engenharia, Universidade do Porto, Portugal).

INTERSELF Interdisciplinary Conference.

Curso dirigido a estudantes de todos os ciclos e a profissionais (académicos ou não) que lidem com informação que necessite ser analisada e suportada com metodologia estatística, com foco na resolução de problemas e no apoio à tomada de decisão.

Seminário Doutoral I (Doutoramento em Biologia), por Sara Faria.

Seminário de Pós-graduação (Doutoramento em Biologia), por Eduardo Miguel Onofre Feijão.

Ciências Research & Innovation Day 2024

Join us on October 22 (Tuesday) for the 6th edition of Ciências Research & Innovation Day: an opportunity for faculty, researchers and innovators to share their work with both the internal and external community, fostering collaboration and networking.

Título/data/local do evento, gravura alusiva à sustentabilidade e fotografia de Filipe Duarte Santos

No contexto atual de rápida evolução e mudanças globais, a sustentabilidade emergiu como um elemento central nas estratégias dos negócios inovadores. A quinta conferência da Green Savers, intitulada “Sustentabilidade: uma visão 360º”, visa explorar a importância da sustentabilidade como fator primordial para o sucesso e longevidade das empresas modernas.

Conferência do Centro Interuniversitário de História das Ciências e da Tecnologia, por Ana Duarte Rodrigues (CIUHCT, DHFC CIÊNCIAS ULisboa).

Título/data/local do evento e logótipo da Unite!

A Universidade de Lisboa acolhe a segunda edição do Unite! Widening Open Science Policy Forum, centrado na promoção do desenvolvimento de universidades europeias de ciência e inovação aberta.

Título/data/local do evento e três fotografias relacionadas com a permacultura

Permacultura? Não é uma pseudociência esotérica? Uma utopia sem fundamento científico? Para desmistificar estas e outras ideias, o permacultor certificado Tiago Silva (SmartLeap) guiar-te-á pelos caminhos desta prática multidisciplinar, fundada em sólidas bases empíricas.

Our goal is to promote interdisciplinary dialogue and the cross-fertilization of ideas, which will enrich our theoretical reflection and mobilise change within the academic community and provide tools for social engagement. 

Páginas