Towards Canonical Proofs for Second Order Intuitionistic Logic
Seminário de Lógica Matemática, por Paolo Pistone (Université Claude Bernard Lyon 1).
Seminário de Lógica Matemática, por Paolo Pistone (Université Claude Bernard Lyon 1).
O evento, no âmbito do Projeto VA|PREVENTION (com a participação de CIÊNCIAS), conta com a presença de diversos peritos na área da saúde pública, promovendo o debate sobre o estilo de vida na prevenção da diabetes tipo 2.
This workshop aims to explore crucial issues raised by contemporary computational models and methods in AI. The focus will be on fostering discussions about the epistemological, ontological, and formal considerations, as well as the societal implications of AI systems.
A exposição, que reúne 14 artistas ibéricos convidados a explorar, através da banda desenhada, o conceito de “tempo profundo”, estará patente ao público de 13 de setembro a 17 de novembro.
O colóquio reúne investigadores e alguns dos artistas presentes na exposição Deep Time, para discutir a forma como a banda desenhada, as artes visuais e a literatura endereçam as preocupações ecológicas da contemporaneidade, reforçando ou desafiando discursos dominantes que têm contribuindo para o que se chama de Antropocénico, causado pela intervenção das sociedades industriais nos sistemas da Terra.
Starting from a discussion of what is meant by "perception and conception of Time", we discuss the concept of absolute and relative time in Science.
Seminário do Departamento de Física de Ciências ULisboa, por Salvatore Capozziello (University of Naples "Federico II", Italy).
Será que podemos cheirar o passado?
Latest results from the deepest astronomical surveys
Ignite IAstro - evento especial em Sintra, no âmbito da conferência internacional sobre o Universo profundo, Deep 24.