Seminários de Lógica Matemática

Sala 6.2.33, FCUL, Lisboa

Pigeons do not jump highUsing o-minimality to compute lower bounds on sample complexity of neural networks (part 2)

 

 

Pigeons do not jump high 15h00

Por Ludovic Patey (Institut Camille Jordain, Lyon).

Abstract: The infinite pigeonhole principle asserts that every set of integers admits an infinite subset in it or its complement. This seemingly trivial principle surprisingly admits highly non-trivial computability-theoretic features, when considering non-computable instances. In particular, one may wonder whether there is an instance of the pigeonhole principle whose solutions are all high. The answer to this question will be given during this talk, although the careful reader might find a subtle clue in the title. This is a joint work with Benoit Monin.


Using o-minimality to compute lower bounds on sample complexity of neural networks (part 2) 16h30

Por Alex Usvyatsov (Universidade de Lisboa, CMAF-CIO).

Abstract: I will discuss the concept of sample complexity in statistical learning theory. Then I will show how definability of many hypothesis classes (for example, essentially all artificial neural networks used in practice) in o-minimal structures, helps to compute tighter lower bounds on sample complexity for these hypothesis classes.

CMAF-CIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Estudante

Neste encontro, será debatido o estigma da doença mental, a importância da prevenção e debater o papel da Inteligência Artificial na sua promoção - elementos-chave para uma comunidade académica mais saudável e uma sociedade mais equilibrada.

Seminário do Instituto de Astrofísica e Ciências do Espaço, por Sean Raymond (Laboratoire d'Astrophysique de Bordeaux, CNRS, France).

Seminário da Unidade Curricular de Neurociências e Neuromodelação, por Francisco Oliveira (Nuclear Medicine-Radiopharmacology, Champalimaud Foundation).

Logótipo da AEFCL

Um momento que simboliza o compromisso contínuo da AEFCL na defesa dos direitos e interesses dos estudantes e na promoção das melhores condições académicas e associativas na Faculdade de Ciências.

TWIN2PIPSA Expert Seminar, por Pietro Sormanni (Yusuf Hamied Department of Chemistry, University of Cambridge, UK).

Iconografia relacionada com a temática do curso

O curso fornece uma exploração aprofundada de isótopos estáveis como uma ferramenta valiosa em Ecologia, usando assinaturas isotópicas para rastrear processos ecológicos e revelando insights sobre o ciclo de nutrientes e água, interações de espécies e condições ambientais em diversos ecossistemas e comunidades - candidaturas até 17 de outubro.

Composição de três imagens relativas à área da deteção remota

Este curso visa dar formação na área de Deteção Remota, abrangendo desde a Observação da Terra pelos satélites até à utilização de Drones - candidaturas até 02 de novembro.

Seminário de Lógica Matemática, por Paulo Firmino (Faculdade de Ciências da Universidade de Lisboa).

Paleontologia - jovem a examinar fóssil

O curso abordará o vasto registo fóssil de dinossáurios de Portugal, explorando os resultados das mais recentes investigações científicas, bem como a história da investigação paleontológica no nosso país, desde o século XIX até à atualidade. Será também destacada a importância da proteção e valorização do Património Paleontológico nacional.

Fábrica

O evento pretende reunir investigadores que trabalhem sobre temas ligados à indústria e sobre património técnico e industrial, para uma reflexão prospetiva sobre o património industrial e atuais vias de colaboração no seu estudo, salvaguarda e preservação.

Fotografia do mar e parque eólico

O curso propõe uma imersão nos princípios, desafios e oportunidades da Economia Azul, explorando o papel crucial dos oceanos nas transições ecológica e climática - candidaturas até 13 de novembro.

Nesta sessão aberta, serão abordadas questões relacionadas com o diagnóstico, o modo como se manifesta, formas de tratamento, impacto no dia a dia e diversidade de manifestações da POC. Será um espaço informal para perguntas, partilha e desmistificação.

Grupo de estudantes

O evento propõe um debate aberto sobre a linguagem inclusiva, reconhecendo-a como uma dimensão essencial da equidade e da participação plena de toda a comunidade académica.

Título "Turin Staff Week 2025", sobre fotografia da cidade de Turim

Uma oportunidade única para desenvolver competências, criar redes internacionais e conhecer de perto uma das instituições parceiras da aliança Unite! - inscrições até 21 de setembro.

Logótipo da Semana da Ciência e da Tecnologia 2025

Na Semana da Ciência e da Tecnologia, entre 24 e 30 de novembro 2025, a ciência será novamente a grande protagonista.

Quatro investigadores num laboratório

O curso visa capacitar investigadores, docentes e técnicos para integrar os princípios da economia circular em ambientes laboratoriais académicos - candidaturas até 22 de novembro.

Vista aérea de povoação

A conferência é subordinada ao tema “People and Planet: How the Environment Shapes Human Health”.

Workshop no âmbito do Programa de Saúde e Bem-Estar da ULisboa.

Três investigadores num laboratório

O curso visa capacitar profissionais para aplicar os princípios da economia circular em ambientes laboratoriais industriais, promovendo práticas sustentáveis e eficientes - candidaturas até 22 de novembro.

Título "Gostarias de realizar uma mobilidade Erasmus+?" e fotografia de estudante

Candidaturas de 01 a 31 de dezembro - as sessões informativas têm início a 19 de novembro.

Logótipo C-Academy

O curso proporciona uma visão aprofundada das tecnologias que suportam o desenvolvimento e integração de aplicações web - candidaturas até 10 de novembro.

Logótipo C-Academy

O curso fornece uma compreensão abrangente dos princípios e práticas fundamentais da cibersegurança e da privacidade, com aplicação tanto em contextos genéricos como em sistemas críticos - candidaturas até 07 de novembro.

Cesto com legumes

O curso tem como principal objetivo capacitar para a implementação e gestão sustentável de espaços de cultivo nas cidades, promovendo a segurança alimentar e a autonomia na produção de alimentos - candidaturas até 02 de novembro.

Natal 2025

Uma oportunidade única de estudantes e professores do ensino secundário dialogarem diretamente com especialistas de várias áreas científicas.

Vida marinha

O Projeto ULISSES está de volta para a 6.ª edição! As candidaturas decorrem até 15 de dezembro.

Páginas