Seminário

Exponential Separation Between Powers of Regular and General Resolution Over Parities

Sala 8.2.02, Ciências ULisboa

Por Pavel Dvořák (TIFR / Charles University).

Proving super-polynomial lower bounds on the size of proofs of unsatisfiability of Boolean formulas using resolution over parities is an outstanding problem that has received a lot of attention. Very recently, Efremenko, Garlík, and Itsykson [STOC'24] proved the first exponential lower bounds on the size of ResLin proofs that were additionally restricted to be bottom-regular. Extending their work, I'll show that there are formulas for which such regular ResLin proofs of unsatisfiability continue to have exponential size even though there exist short proofs of their unsatisfiability in ordinary, non-regular resolution. This is the first super-polynomial separation between the power of general ResLin and that of regular ResLin for any natural notion of regularity.

This is joint work with Sreejata Kishor Bhattacharya and Arkadev Chattopadhyay. 

12h00

Aumente o envolvimento e a colaboração dos alunos com uma solução de ensino e aprendizagem completa dentro do Moodle através do FeedbackFruits.

Título/data/local do evento e logótipos das entidades organizadoras

Inscrições até 07 de fevereiro.

Título "Quem são as mulheres do LIP na experiência ATLAS do CERN? - um encontro de gerações"

Um encontro que homenageia as várias gerações de mulheres do grupo do LIP que participam na experiência ATLAS, no colisionador LHC do CERN. Este evento celebra décadas de liderança e contributos femininos num dos maiores projetos científicos do mundo.

Título/data/local do evento e fotografia de cruzamento bastante movimentado

Conferência da redeMOV, por Ana Rita Martins (IST-ULisboa).

Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).

Foto do retrato do Professor João Cosme Guerreiro no Grande Auditório de CIÊNCIAS.

Sessão comemorativa, a realizar na ocasião da colocação do retrato do Professor João Guerreiro no Grande Auditório, bem como de um póster a ele relativo no átrio do edifício C3.

Seminários por Daniel Sequeira e Emily Croasdale.

Logótipos CIÊNCIAS/CEAUL, indicação do título/data/orador e representação do cérebro humano

Participants will be introduced to using R in real life situations. From the start, this hands-on practical workshop will focus on following good programming and data analysis practices. 

Título/data/local do evento e logótipo Ciência Viva

Teresa Correia, estudante de Engenharia Física de CIÊNCIAS, participa nesta iniciativa.

Ação de formação para docentes e investigadores de CIÊNCIAS.

António Cruz Serra

A cerimónia decorre no Pavilhão de Portugal, pelas 17h00 do dia 12 de fevereiro.

Seminário de Análise e Equações Diferenciais, por Mitchell A. Taylor (ETH Zurich).

Logótipo do projeto

Formação no âmbito da 22.ª edição do projeto "Observar e Aprender", com inscrições até 10 de fevereiro.

Título/data/local do evento e fotografia de livros abertos sobre uma mesa

A jornada de um mestrado ou doutoramento vai além dos desafios académicos - envolve também gerir emoções e lidar com pressões que podem impactar o desempenho e o bem-estar.

Fotografia de João Paulo Dias

O Departamento de Matemática convida à participação neste evento especial de comemoração dos 80 anos do Professor João Paulo Dias, que reúne amigos e colaboradores do docente.

Título e datas de candidaturas aos prémios, sobre uma imagem abstrata

Candidaturas abertas até 14 de fevereiro - em 2025, serão atribuídos 26 Prémios e 52 Menções Honrosas.

Composição do logótipo da ULisboa e de representação do rosto humano à base de relógios

Consegue comunicar eficazmente a sua investigação de doutoramento em 3 minutos?

Fotografia de Carlos Paredes

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

Título do curso, sobre uma fotografia do Large Hadron Collider

The objective of the course is to introduce the physics, analysis methods and results on the physics areas covered by the LHC experiments.

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

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

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

Banner do Dia do DEGGE 2025.

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.

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).

Páginas