Mathematical Logic Seminar

The what, the why and the how of recursion theory in computational complexity

Sala 6.2.33, Ciências ULisboa (com transmissão online)

Por Eduardo Skapinakis (NOVAMath, Universidade Nova de Lisboa).

While complexity classes are usually defined as the problems that can be solved by some computational model, under some resource bound, there is a variety of ways to characterize them without mentioning either of them. This is the topic of Implicit Complexity.

I will talk about the study of Complexity from the perspective of recursive functions, discussing the tools to capture non-deterministic, probabilistic and quantum classes and the role of composition in characterizing and restricting access to oracles.

Transmissão via Zoom.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

Seminário do Centro de Física Teórica e Computacional, por Julian Oberdisse (Laboratoire Charles Coulomb - L2C, University of Montpellier, CNRS, France).

O workshop pretende levar à discussão as coleções botânicas, em particular as de botânica económica, mostrando diferentes perspetivas e olhares sobre as coleções e qual o seu papel na ciência e nas artes.

Palestra por Andrea Peruffo (RedHat).

Título/data/local/orador do evento

Lisbon AI Seminar, por Francisco Laranjinha (CFCUL/RG2).

Título do curso

Curso Avançado CEAUL / Gades Solutions.

Título e datas de candidatura do programa, sobre um padrão em tons de roxo e laranja

Submissão de candidaturas até 14 de maio.

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

Conferência por Jordi Segalàs (professor associado na Universidade Politécnica de Catalunya - UPC Barcelona Tech; coordenador do grupo de investigação sobre Educação para a Sustentabilidade e Tecnologia).

Aula aberta no âmbito da Unidade Curricular de Aprendizagem Profunda, por João Carreira (Deepmind).

Logótipo do EVM 2024

Candidaturas até 15 de maio.

Logótipo do LIP Summer Internship Program e fotografia de jovem investigador

Os estágios podem ter uma duração entre duas semanas e dois meses e realizam-se nos três polos do LIP - candidaturas até 15 de maio.

Os oradores plenários irão falar sobre a importância da interdisciplinaridade de forma acessível para todos, estando previstas palestras e apresentação de pósteres por alunos.

Colóquio de Matemática, por Guy Bouchitté (Université de Toulon).

Earth Systems Seminar, por Nuno Pimentel (Geology Department and Instituto Dom Luiz, Faculdade de Ciências da Universidade de Lisboa; Geoparque OESTE - Scientific Coordinator).

Seminário do Laboratório de Instrumentação e Física Experimental de Partículas, por Pedro Assis (LIP).

Seminário Doutoral (Doutoramento em Informática), por Robin Vassantlal.

Conferência do Centro Interuniversitário de História das Ciências e da Tecnologia, por Ignacio Suay-Matallana (Universidade de Valência).

Seminário "Ásia-Europa, 1500-1800", por Rui Loureiro (ISMAT & CHAM/NOVA).

Um evento dirigido aos alunos do ensino secundário, consistindo numa palestra sobre a microscopia e em visitas aos laboratórios de microscopia/demonstrações experimentais simples.

Palestra por Bruno Baptista (RedHat).

Mathematical Logic Seminar, por Paulo Guilherme Santos (ISCAL and CMAFcIO).

Título do evento, acompanhado de representações de espécies animais/vegetais e dos logótipos dos organizadores

A comunidade de Ciências, em conjunto com especialistas de diferentes grupos taxonómicos, inventaria e regista toda a biodiversidade que consiga observar.

O MUHNAC celebra o Dia Internacional dos Museus com um programa de atividades gratuitas com o mote da edição de 2024: Museus, Educação e Investigação.

Exposição "Formas & Fórmulas"

Dia 20 de maio, pelas 18h30, na sala 6.2.33 de Ciências (com transmissão online).

Aula aberta no âmbito da Unidade Curricular de Aprendizagem Profunda, por Hugo Penedones (Inductiva).

Logótipos TWIN2PIPSA/União Europeia e título do evento

This workshop is open to all CIÊNCIAS ULisboa community - registration is mandatory.

Páginas