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

A reunião, aberta a toda a comunidade estudantil, tem como objetivo esclarecer os mecanismos processuais de formalização de todas as realidades associativas existentes, a potencial criação de novas e a implementação e funcionamento futuros do FAC

Seminário de Tese (Doutoramento em Biologia e Ecologia das Alterações Globais), por Friederike Peiffer.

Seminário de Lógica Matemática, por Pedro Ângelo (Universidade de Lisboa - LASIGE).

Fotografia de árvores sem folhas e de bancos de jardim

Estudantes de pós-graduação em Matemática de CIÊNCIAS falam, de forma descontraída e informal, sobre o seu trabalho.

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

Talk @DI, por Alex Davidson (DI/FCUL).

Banner do Dia do DEGGE 2025.

A 20 de fevereiro, contamos contigo para um evento dedicado às três áreas de estudo do Dia do Departamento de Engenharia Geográfica, Geofísica e Energia: Engenharia da Energia e Ambiente; Meteorologia, Oceanografia e Geofísica; Engenharia Geoespacial.

Logótipo da exposição

Esta exposição reflete o futuro do Design em Portugal e estará patente ao público até 28 de março.

Seminário do Centro de Física Teórica e Computacional, por Cátia Pesquita (LASIGE).

Título/data do programa, logótipo da ULisboa e fotografia de jovem a ouvir música de olhos fechados

Uma introdução à prática de meditação onde vais aprender a gerir as tuas emoções, pensamentos e desenvolver um relacionamento saudável contigo e com os outros - inscrições até 21 de fevereiro.

Título/data/local do evento e fotografia de vegetais

Workshop hands-on, dirigido a todos os estudantes da ULisboa.

Pormenor de pessoa sentada a ler um livro

Maiores de 50 anos - Candidaturas até 14 de fevereiro.

Seminário de Geometria, por Marcos Petrúcio Cavalcante (Universidade Federal de Alagoas - UFAL).

Logótipo do evento

An annual event aimed to promote the research done by CIÊNCIAS Researchers in the field of Biotechnology, with a special emphasis on Blue and Green biotechnological solutions for a sustainable tomorrow.

NCPInTheHouse 2025

Registration on the workshop is free but mandatory - deadline: 24 February.

Se queres saber mais informações sobre os cursos de CIÊNCIAS, não deixes de participar!

Título "Bolsas Alumni Solidárias" e fotografia de grupo de alunos

As candidaturas decorrem até 28 de fevereiro.

Título "Bolsas de Doutoramento Unite! ULisboa", logótipos das entidades promotoras e fotografia de jovem investigadora a utilizar um laptop na esplanada de um café

O 4.º concurso decorre até 28 de fevereiro.

Pormenor de membro de orquestra

Concerto no âmbito do programa Música na Universidade de Lisboa.

Composição de imagens relativas à área das ciências forenses

O curso visa disponibilizar aos profissionais com formação universitária inicial ao nível da licenciatura os conhecimentos básicos e a informação necessária ao eventual futuro ingresso e exercício de funções em áreas Médico-Legais e Forenses - candidaturas até 05 de fevereiro.

Cientista a trabalhar com tubos de ensaio

O curso forma profissionais para atividade na área das Análises Clínicas ou Patologia Clínica - candidaturas até 14 de fevereiro.

Os participantes neste workshop ficarão a saber mais sobre como executar uma enxertia sem erros, para além dos cuidados a ter com as árvores de fruto ao longo do ano.

Logótipo do evento

A iniciativa tem como principal objetivo promover uma discussão construtiva sobre a estratégia da ULisboa no âmbito da sustentabilidade e destacar boas práticas das Escolas apresentadas pelas Associações de Estudantes.

Título do curso

Ao longo de 10 horas serão abordados temas tais como contornar as principais dificuldades na comunicação da Biodiversidade, como usar histórias, ou a importância dos conceitos científicos na hora de os comunicar.

Logótipo do Dia Internacional da Matemática

Atividades a decorrer em CIÊNCIAS nos dias 14 e 19 de março.

Título "Jornadas de Matemática" e logótipos das entidades envolvidas

O Departamento de Matemática e o Núcleo de Estudantes de Matemática e Matemática Aplicada associam-se às celebrações do Dia Internacional da Matemática.

Páginas