Mathematical Logic Webinar

Coinductive proof search for intuitionistic propositional logic

Transmissão através de Videoconferência

Por Luís Pinto (Centro de Matemática - Universidade do Minho).

The coinductive approach to proof search we present is based on three main ideas: (i) the Curry-Howard paradigm of representation of proofs (by typed lambda-terms) is extended to solutions of proof-search problems (a solution is a run of the proof search process that does not fail to apply bottom-up an inference rule, so it may be an infinite object); (ii) two typed lambda-calculi, one obtained by a coinductive reading of the grammar of proof terms (acting as the universe for the mathematical definition of proof search concepts), the other by enriching the grammar of proof terms with a formal fixed-point operator to represent cyclic behaviour (acting as the finitary setting where algorithmic counterparts of those concepts can be found); (iii) formal (finite) sums are employed throughout to represent choice points, so not only solutions but even entire solution spaces are represented, both coinductively and finitarily.

In this seminar we will illustrate this approach for intuitionistic implication, including applications to inhabitation and counting problems in simply-typed lambda-calculus (e. g., results ensuring uniqueness of inhabitants related to coherence in category theory), and briefly overview recent developments on the extension of the approach to polarized intuitionistic logic, which allows to obtain results about proof search for full intuitionistic propositional logic.

This seminar is based on joint work with José Espírito Santo (CMAT, Univ. Minho) and Ralph Matthes (IRIT, CNRS and Univ. Toulouse III, France).

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

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.