Mathematical Logic Webinar

Some recent developments in proof mining

Transmissão através de Videoconferência

Speaker: Ulrich Kohlenbach (Department of Mathematics - Technische Universität Darmstadt).

Abstract: During the last two decades a systematic program of `proof mining' emerged as a new applied form of proof theory and has successfully been applied to a number of areas of core mathematics. We are primarily concerned with the extraction of hidden finitary and combinatorial content from proofs that make use of infinitary noneffective principles. The main logical tools for this are so-called interpretations. Logical metatheorems based on such interpretations have been applied with particular success in the context of nonlinear analysis including fixed point theory, ergodic theory, continuous optimization, game theory and abstract Cauchy problems. The combinatorial content can manifest itself both in explicit effective bounds as well as uniformity results.

In this talk we will outline some recent new developments in proof mining and focus on the following points:

  • tameness of bounds extracted,
  • new qualitative results obtained as a byproduct of proof mining,
  • mathematically enriched metastability results as finitizations of theorems going beyond mere convergence.

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 do Laboratório de Instrumentação e Física Experimental de Partículas, por Philip Patrick Allport (University of Birmingham).

Seminário de Pós-graduação (Doutoramento em Biologia - Especialidade de Biologia Evolutiva), por Marta Maria Alves Antunes.

This talk will cover new methodologies of scientific visualization in high-performance computing systems specially designed for large scale scientific visualization that provide greater level of accuracy and detail.

This is the 11th edition of the Combinatorics Days, to be held online, Zoom platform, on the 21st and the 22nd of January.

Como é de conhecimento geral, assistimos atualmente a um rápido desenvolvimento nas formas de acesso à informação e publicação científica. O objetivo da jornada é fazer o ponto da situação na área da Matemática e discutir as perspetivas futuras.

The course SoilEco aims at introducing attendants to an updated state of the art of diversity of the soil biota and the functional roles played by soil organisms in key ecological processes.

Logótipo do evento, sobre um fundo branco

Understanding plant water relations at several scales under climate change is the theme of the XV Portuguese-Spanish Water relations Symposium: “Water relations under climate change: from genes to ecosystem”.

Fotografia de candidatos, acompanhada do título "M23 2022|2023"

A ULisboa promove o Dia Aberto M23, um evento que pretende aproximar o público adulto do meio universitário.

In this course, we promote a multidisciplinary approach presenting the most recent findings on the topic and challenging the traditional way of considering symbiotic associations as exceptions and not as the rule.

The goal of this course is to provide to the participants with current and practical knowledge on urban ecology, including ecological and social aspects.

Neste encontro, vamos descobrir as potencialidades da utilização do Jamboard - um quadro branco digital gratuito da Google - em trabalhos colaborativos.

Nesta formação, aprenderemos a criar apresentações dentro do Mentimeter, a criar diferentes tipos de slides e a selecionar as configurações mais adequadas aos objetivos pedagógicos.

Nesta formação, iremos abordar as diferentes etapas do processo de planificação de unidades curriculares e refletir conjuntamente em boas práticas sustentadas pela investigação.

Fotografia de placa de identificação de zona de plantação de vinha

Candidaturas até 28 de fevereiro de 2022.

This course aims to explore ways of communicating science to non-specialized audiences, such as policy makers, industry, general public (including students and teachers), through their engagement and participation in citizen science activities.

O evento pretende juntar técnicos, investigadores, estudantes, produtores, industriais e demais agentes da fileira, contribuindo para a atualização de dados sobre o setor e a partilha de conhecimentos sobre as potencialidades da flora portuguesa, para além, das condições edafoclimáticas nacionais que potenciam produtos de elevada qualidade.

This course introduces the field of island biogeography, a discipline that has long influenced other research areas such as macroecology, community ecology, evolution and conservation biology.

Scientists, as the main actors in the production of scientific knowledge, have the responsibility of having an active voice in communicating this knowledge – and that can be achieved for example by a conscious use of the communication tools at their disposal and a better articulation with journalists, among other means.

This course aims at providing students with basic knowledge of R programming, allowing them to manipulate and visualize data with R.

This course aims at providing students with statistical knowledge and tools to manipulate, analyze and visualize biological data with R. It also includes an introduction to modeling, simulations and Bayesian statistics.

Under the general framework of Global Change Ecology, the goal of this course is to provide the participants with the most recent and practical knowledge on the use of Functional Diversity.

The course provides essential skills and knowledge that enable the participants to develop climate change adaptation strategies.

The objective of this course is to provide participants with basic knowledge on a) the fundamental aspects of experimental design and b) workflows, platforms and tools to increase reproducibility at all scientific levels.

This is a mostly practical course offering an overview on different community ecology and macroecological methods and software. These will include all steps of a research project, from the optimal sampling of communities to process inference from large-scale patterns of taxon, phylogenetic and functional diversity.

This course aims to walk through the grounds of modern botany studies, covering subjects that have been excluded from most academic curricula.

Páginas