Agda as a Proof Assistant
Speaker: Bernardo Almeida (LASIGE, DI/FCUL).
Speaker: Bernardo Almeida (LASIGE, DI/FCUL).
O Dia Mundial da Abelha assinala-se a 20 de maio. Para assinalar esta data, o Centro de Ecologia, Evolução e Alterações Ambientais (cE3c) e a Sociedade Portuguesa de Entomologia (SPEN) prepararam várias atividades online para dar a conhecer a diversidade e importância destes insetos.
Acompanhe o calendário de talks online, transmitidas em direto às 17h30, no canal YouTube do cE3c:
Apresentações de João Retrê (IAstro) e Pedro Russo (Universidade de Leiden, Holanda).
Em discussão estarão temas como a importância da comunicação de ciência no contexto da investigação e do estímulo do desenvolvimento de capacidades de comunicação nos jovens e/ou futuros investigadores. Na sessão estará também em análise a nem sempre fácil relação entre investigadores e público, explorando-se alguns maiores desafios atuais da comunicação de ciência.
Speaker: Bernold Fiedler (Institute of Mathematics, Freie Universität Berlin).
Venha conhecer o Instituto de Astrofísica e Ciências do Espaço (IA) e beber um café (online) com alguns dos seus investigadores.
Inscrição obrigatória, mediante envio de e-mail para comunicacao.ciencia@iastro.pt.
Objectives: provide students with statistical knowledge and tools to manipulate, analyze and visualize biological data with R. Introduction to modeling, simulations and Bayesian statistics. Throughout the course, students will be encouraged to apply the knowledge obtained to data from their own work. Depending on the interests of the participants some of the content can be adjusted to focus more on examples from evolutionary biology or from ecology.
Objectives: provide students with basic knowledge of R programming, allowing them to manipulate and visualize data with R.
More information available here.
Speaker: Márcia Barros.
Oradora: Andreia Gaita.
Speaker: João Varela (LIP).
We review the capabilities of two projects that have been proposed as the next major European facility in High-Energy Physics: CLIC and FCC.