Mathematical Logic Seminar

Functional interpretations over finite types with star types

Sala 6.2.33, Ciências ULisboa (com transmissão online)

Por Paulo Firmino (University of Lisbon).

We define two functional interpretations on intuitionistic logic over finite types with the introduction of star types representing finite non-empty sets. The characteristic principles of the first (the semi-intuitionistic case) are variations of known principles, such as a form of choice, independence of premises and the lesser limited principle of omniscience, which take into account the star type. The second (the intuitionistic case) involves the standard principles of choice and independence of premises and requires a variation of Markov’s principle. We give Soundness and Characterization results, as well as corolaries regarding term extraction.

Transmissão via Zoom.

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

Seminário Doutoral II (Doutoramento em Biologia), por Inês Ventura.

Alunos de Ciências

Vais iniciar a tua caminhada no ensino superior connosco? Preparámos um programa especialmente concebido para te acolher, com atividades que te vão dar a conhecer o campus e a comunidade de CIÊNCIAS.

Conjunto de fractais

Celebrando o começo de um novo Ano Académico, a Sessão Solene é um importante marco na vida académica da ULisboa, no qual se reúne toda a sua Comunidade.

Título/data/local do evento e fotografia de jovens a assistir a um espetáculo

A ULisboa dá as boas-vindas aos seus estudantes na Cidade Universitária!

Título, local e data do evento

Um dos eventos de referência em Data Science e Inteligência Artificial em Portugal.

Logótipo da Marinha, título do programa e indicação dos cursos abrangidos

Sessão de divulgação dirigida aos alunos de Ciências das áreas das Engenharias, Matemática e Química.

Título/data/local do evento e fotografia de sala de aula

A 3.ª edição das Jornadas Pedagógicas é dedicada ao tema “Metodologias Ativas no Processo de Ensino-Aprendizagem”.

Geometry and Physics Seminar, por Pedro M. Silva (CMAFcIO).

Logótipo do Workshop

A participação na 3.ª edição do Workshop é gratuita, mediante inscrição prévia.

Data e logótipo do evento

Uma iniciativa dirigida a escolas, estudantes, professores e encarregados de educação, com várias atividades que prometem divertir, ensinar e desmistificar a ciência

Evento no âmbito do Dia Internacional das Ataxias.

Título/data/local do evento e representação de material agrícola

A HortaFCUL, em conjunto com o permacultor e agroecólogo Manuel Botelho, propõe-te uma oficina para ficares a saber as técnicas e os cuidados essenciais para gerir um ecossistema agroflorestal.

Um dia para aprender sobre produção caseira de cogumelos, da teoria à prática! Cada participante leva consigo um kit de cogumelos produzido nesta tarde e ainda todo o conhecimento para o fazer novamente, de forma autónoma!

Pormenor de mão a apontar para o ecrã de um computador portátil

As inscrições para a edição de 2024 (workshops 4, 5 e 6) encontram-se abertas até às 17h do dia 22 de setembro de 2024.

O outono aproxima-se a passos largos e não tarda está aí o inverno... que alimentos se cultivam nesta altura do ano? Não sabes quais e como? Tens um terreno ao qual gostarias de dar algum uso?

Data e logótipo do evento

Workshop on Biomedical Engineering - Be careful! This is the event that will increase your blood pressure! WBME is the free-entrance event that you surely will not want to miss! 

Logótipo de Ciências ULisboa, título/data do evento, título "Time for Science, Science of Time" e representação gráfica de ampulheta

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.

Logótipo e data do evento

O primeiro Tropical Summit visa reunir líderes de todo o mundo para abordar os desafios tropicais mais prementes.

Imagem do evento - título, local e data do evento

Investigação Ecológica ao Serviço da Conservação

A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.