A new proof of Herbrand’s Theorem and the proof assistant Lean
Seminário de Lógica Matemática, por Lia Malato (Universidade de Lisboa).
Seminário de Lógica Matemática, por Lia Malato (Universidade de Lisboa).
A primeira etapa do projeto de reabilitação do Laboratório Marítimo da Guia, em Cascais, foi concluída com êxito.
O evento tem como tema principal "Para um ensino humanista das ciências" e conta com a participação de vários professores de CIÊNCIAS.
Se queres saber mais informações sobre os cursos de CIÊNCIAS, não deixes de participar!
O evento permite aos mestrandos em dissertação apresentar e discutir os seus projetos no ambiente de um congresso científico.
Daniela Fernandes, Pedro Fernandes e Manuel Bettencourt, recém-licenciados em Biologia, no ramo de Biologia Molecular e Genética, venceram o Concurso sobre Novas Técnicas Genómicas, lançado pelo Centro de Informação de Biotecnologia. O prémio consistiu numa visita ao Centro de Investigação de Sementes Hortícolas da Syngenta, em El Ejido, Almeria, Espanha, nos dias 9 e 10 de janeiro de 2025.
Seminário Doutoral III (Doutoramento em Biologia), por Ana Sofia Laranjeira Lopes.
Seminário Doutoral III (Doutoramento em Biologia), por Marta Maria Alves Antunes.
Ao longo de 10 horas serão abordados temas tais como contornar as principais dificuldades na comunicação da Biodiversidade, como usar histórias, ou a importância dos conceitos científicos na hora de os comunicar.
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