Correct-by-Construction Program Synthesis using Type Theory and Evolutionary Computation
Data Science Seminar, por Alcides Fonseca (LASIGE/DI-FCUL).
Data Science Seminar, por Alcides Fonseca (LASIGE/DI-FCUL).
Seminário do Departamento de Física de Ciências ULisboa, por Francisco Lobo (Instituto de Astrofísica e Ciências do Espaço, FCUL).
CIÊNCIAS participa nesta nova formação, oferecida pela Universidade de Lisboa e pelo Instituto Politécnico de Lisboa.
Seminário do Laboratório de Instrumentação e Física Experimental de Partículas, por Anatael Cabrera (CNRS-IN2P3 / Université Paris-Saclay).
Em outubro arrancam, em CIÊNCIAS, quatro formações do programa ‘IP>AP – Ferramentas de Produtividade e Tecnologias Emergentes’ do Instituto Nacional de Administração, no âmbito da ComCiências.
Seminário de Lógica Matemática, por Fernando Ferreira (University of Lisbon).
Seminário do Centro de Física Teórica e Computacional, por Bruno Amorim (International Iberian Nanotechnology Laboratory, Braga, Portugal).
A exposição reúne uma seleção de projetos de design pertencentes à Coleção Paulo Parra, que demonstram na prática a enorme influência que a Bauhaus e a escola de Ulm tiveram na produção industrial durante o séc. XX e, por conseguinte, na qualidade de vida de milhares de pessoas que os utilizaram no seu dia a dia.
Os novos alunos, de 15 nacionalidades diferentes, foram acolhidos numa sessão de boas-vindas, na sexta-feira, que contou com apresentações do Gabinete de Mobilidade e Acolhimento, da PSP e do Gabinete de Apoio Psicológico de CIÊNCIAS.
A Universidade de Lisboa associa-se à Corrida Sempre Mulher, oferecendo as primeiras 70 inscrições na Caminhada, para integrar o grupo da ULisboa. A iniciativa é aberta a toda a comunidade da ULisboa, mediante inscrição até 07 de outubro.