Seminário

Local Enumeration and Majority Lower Bounds

Sala 6.2.52, Ciências ULisboa

Por Navid Talebanfard (University of Sheffield).

What is the largest number of satisfying assignments of minimum Hamming weight in a k-CNF with no satisfying assignment of Hamming weight less than n/2? This problem is intimately related to the exact complexity of k-SAT as well as depth-3 circuit complexity of the Majority function. We give a new randomized algorithm to enumerate these satisfying assignments for k = 3.

Joint work with Mohit Gurumukhani, Ramamohan Paturi, Pavel Pudlák, and Michael Saks.

https://arxiv.org/abs/2403.09134

10h00-12h30
Logótipo do Verão na ULisboa, sobre um fundo amarelo

Uma oportunidade única de conheceres e experimentares o ritmo e o espírito da vida académica!

Celebração prospetiva das Ciências Matemáticas em Portugal 50 anos após o 25 de abril

Reasoning Seminar, por Joseph Berkovitz (Institute for the History and Philosophy of Science and Technology and Philosophy Department University of Toronto).

Título/data/local do evento e representação do cérebro humano

O maior evento anual na área da ciência e da tecnologia em Portugal.

Workshop no âmbito do projeto EVORISE, por Kevin Mitchell (Smurfit Institute of Genetics and Institute of Neuroscience, Trinity College Dublin) e Luís Pessoa (Department of Psychology, University of Maryland).

Imagem do evento

O evento realiza-se no Salão Nobre da Reitoria da ULisboa.

Candidaturas até 19 de junho.

The topics of the conference include (but are not limited to) classical and quantum integrable systems, complex geometry of moduli spaces, automorphic forms and their applications to number theory.

Título/data do evento, logótipos das entidades organizadoras e fotografia de Lisboa (Castelo de S. Jorge e respetiva colina)

O congresso visa promover e reforçar um conjunto de sinergias institucionais e pessoais em torno da pedagogia, contribuindo para a qualidade de novas relações com o conhecimento e de novos ambientes de trabalho académico no ensino superior.

Título/data/local do evento, logótipos das entidades organizadoras e várias fotografias da orla costeira e de pessoas

Escola de verão com um programa muito diversificado, com especialistas em vários tópicos, que vão falar sobre formas de olhar para o nosso planeta de uma forma integrada, juntando conhecimentos de várias disciplinas.

Are you a BSc or MSc student interested in Soft Matter, Non-linear Dynamics and Waves or Particle Physics?

Título do programa, sobre mosaico de fotografias de jovens cientistas

As candidaturas encontram-se encerradas. Obrigada aos quase 80 candidatos/as!

Logótipo do evento, sobre um fundo branco

Um evento de reunião da comunidade nacional nas diversas vertentes da informática, com a ambição de ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos.

Are you ready for this year's edition?

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.