Seminário de Lógica Matemática

A computational logic approach for finding maximum-size cliques in large-scale networks

Sala 6.2.33, FCUL, Lisboa

Por Bogdan Dicher (Centro de Filosofia, Universidade de Lisboa).

Abstract: Graph optimization problems find important applications in the analysis of large-scale networks. One representative example is the computation of maximum-size complete subgraphs.

This talk details a computational logic approach for computing maximum-size complete subgraphs, which is not only efficient in practice, but also scales for large-scale networks.

This seminar is supported by National Funding from FCT - Fundação para a Ciência e a Tecnologia, under the project: UID/MAT/04561/2013

16h00
CMAF-CIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Logótipo do evento

A grande festa da Ciência está de volta!

Gotas de água

O curso visa capacitar os formandos para a aplicação dos índices de qualidade ecológica utilizados na avaliação da qualidade ambiental em sistemas de transição, no âmbito da Diretiva Quadro da Água (DQA) - candidaturas até 31 de agosto.

Saída de campo (Geologia)

O curso, com candidaturas até 20 de julho, convida os professores do Ensino Básico e Secundário a explorar a Geologia a partir das rochas que afloram nas imediações da sua escola.

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

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

A formação destina-se a todos os docentes, investigadores e técnicos da ULisboa - inscrições até 14 de setembro.

Uvas

Tertúlia com o lema Novas castas que brindam ao amanhã.

Título, data e horário do evento

A edição de 2025 do BioISI Day incluirá a apresentação das principais conquistas do centro, palestras e uma sessão de pósteres, tudo alinhado com a visão do BioISI de promoção do conhecimento, da inovação e do impacto social.

Fungo

A transição para uma economia verde é fundamental para enfrentar os desafios ambientais e climáticos do século XXI. No centro desta transformação, a microbiologia aplicada assume um papel essencial, fornecendo soluções inovadoras para a regeneração de ecossistemas, a valorização de resíduos e a mitigação das alterações climáticas - candidaturas até 22 de setembro.

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é 01 de outubro.

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é 01 de outubro.

Iconografia relacionada com a temática da energia

Inscreva-se até 15 de setembro e explore o que se segue em termos de tecnologias de armazenamento de energia e hidrogénio, num dia repleto de insights, intercâmbio e inspiração.

Logótipo do evento

O ponto de encontro nacional para todos os profissionais e estudantes que acreditam no futuro da reabilitação impulsionado pela tecnologia, inteligência artificial e inovação clínica.

Representação de pessoa a interagir com tecnologia

O curso introduz o conceito de Digital Twins e a sua aplicação estratégica no contexto do serviço público, com foco na modernização digital, otimização de processos e apoio à decisão - candidaturas até 05 de outubro.

Logótipo C-Academy

Combinando teoria e prática, o curso prepara os alunos para compreenderem a infraestrutura digital moderna e aplicarem esses conhecimentos em cenários reais, com foco em arquiteturas robustas, deteção de erros e soluções para redes de alto desempenho - candidaturas até 08 de outubro.

Mão a segurar em globo de vidro

Este curso de formação acreditado convida educadores e outros interessados a aprofundar a sustentabilidade marinha, explorando ferramentas pedagógicas inovadoras e práticas concretas para inspirar a próxima geração - candidaturas até 28 de setembro.

CIÊNCIAS Research & Innovation Day 2025

The event that celebrates the groundbreaking research and innovation developed at CIÊNCIAS returns for the 7th edition.

Composição de imagens do planeta terra e da orla costeira

O curso tem como objetivo explorar os conceitos de Sustentabilidade e Desenvolvimento Sustentável, com ênfase no papel do Conhecimento Geológico na promoção de práticas sustentáveis - candidaturas até 27 de setembro.

Duas pessoas a interagirem num contexto de realidade virtual

O curso explora o potencial da Realidade Virtual (VR) e Aumentada (AR) como ferramentas inovadoras nos processos de onboarding e desenvolvimento de competências - candidaturas até 19 de outubro.

Grupo de pessoas

As inscrições para a primeira Ação de Formação "Construindo Comunidades de Investigação" decorrem até 21 de setembro.

Astronauta, banhado pela luz solar, no meio de uma floresta

Um evento único, que reunirá estudantes de mestrado e doutoramento com investigadores e líderes da indústria de toda a Europa para uma experiência inesquecível.

Ginásio "inundado" de tecnologia

Um programa único na Europa, com o objetivo de capacitar para a integração crítica, segura e eficaz de ferramentas digitais na intervenção clínica

Lupa e caneta sobre página com texto e gráfico

O curso visa dar formação inicial a estudantes de pós-graduação sobre o processo de escrita, submissão e publicação de trabalhos científicos, focando principalmente a publicação de artigos científicos em revistas internacionais com revisão por pares - candidaturas até 10 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é 18 de outubro.

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.

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.

Páginas