On the Halpern method with adaptive anchoring parameters
Seminário de Lógica Matemática, por Pedro Pinto (Technische Universität Darmstadt).
Seminário de Lógica Matemática, por Pedro Pinto (Technische Universität Darmstadt).
Seminário de Sistemas Dinâmicos, por Carlos Matheus (École Polytechnique, Paris).
2.ª edição do curso, com inscrições até 26 de janeiro.
2.ª edição do curso, com inscrições até 26 de janeiro.
As observações da missão espacial Gaia da Agência Espacial Europeia (ESA) chegaram ao fim.
O curso tem como objetivo dar formação sobre a problemática da contaminação por detritos de plástico dos nossos ecossistemas, bem como alertar para os potenciais efeitos deletérios nos organismos - candidaturas até 22 de março.
The objective of the course is to introduce the physics, analysis methods and results on the physics areas covered by the LHC experiments.
Colóquio de Matemática, por Marko Stošić (Departamento de Matemática - Ciências ULisboa).
Aumente o envolvimento e a colaboração dos alunos com uma solução de ensino e aprendizagem completa dentro do Moodle através do FeedbackFruits.
PL@LX meetings brings together researchers and engineers working in the fields of programming languages, verification and developer experience.