TMT - Ten Minutes Talk with the PhD students in Informatics

Safe resource-aware virtual machines for IoT devices

Transmissão através de Videoconferência

Conversa com Carlos Mão de Ferro (LASIGE, DI-FCUL).

In this talk he will briefly introduce the topic of programming embedded systems for IoT, mainly focusing on the challenges of delivering software that is safe (i.e., that it doesn’t crash). His latest research presents Shelley, a specification language for Cyber-Physical Systems, and a verification algorithm that checks the integration of stateful systems. Show up and discover how this is related to the Frankenstein character!

Short Bio: Carlos has been working with Wireless Sensor Networks and Embedded Software for 10 years. After his master thesis conclusion in 2013, he alternated between academia and the industry worlds. His PhD research focuses on new programming languages techniques that deliver a safe and resource-aware programming of embedded devices, thus promoting a reliable and sustainable Internet of Things (IoT) environment. In 2019 he was a Fulbright scholar at University of Massachusetts Boston. He enjoys reading topics about Physics, Astronomy and Biology and he is also passionate about music, having learned to play the flute and the piano as a child.


Zoom

17h45

Um grupo de investigadores em diferentes fases da carreira, da licenciatura ao pós-doutoramento, irá reunir-se para melhorar os artigos da Wikipedia relacionados com a História e a Filosofia da Ciência e da Tecnologia, sobretudo em tópicos relacionados com Portugal e as ciências ibéricas

Título/data do curso, logótipos dos organizadores e nome da formadora

This course provides a thorough introduction to the most widely used methods of program evaluation, also known as impact assessment. 

CPS and RDNS Meetup, por Hans P. Reiser (Department of Computer Science, Reykjavík University, Iceland).

Talk @LASIGE, por Fernando Gallego Donoso (University of Malaga, Computational Intelligence in Biomedicine - ICB).
 

Título/data/local da iniciativa, sobre representação de plantas, aves e insetos

Comemorações do 30.º aniversário da VicenTuna - Tuna da Faculdade de Ciências da Universidade de Lisboa.

Cromeleque dos Almendres

Sessão no âmbito do ciclo de conversas "Aqui, no Universo", por Fábio Silva e Luís Tirapicos (moderação de Vânia Maia).

This 7th edition will once again gather specialists in the field of Combinatorial Optimization from several countries to present and discuss recent research work.

Título "Bolsas de Doutoramento Unite! ULisboa", logótipos das entidades promotoras e fotografia de jovem investigadora a utilizar um laptop na esplanada de um café

O 3.º concurso decorre até 30 de abril.

Título/data da iniciativa e fotografia de quatro pessoas segurando vasos com plantas

Venha aprender como cultivar um futuro urbano mais sustentável!

Título/data do evento e fotografia da oradora

TWIN2PIPSA Expert Seminar, por Sophie Jackson (Yusuf Hamied Department of Chemistry, University of Cambridge).

Seminário do Centro de Física Teórica e Computacional, por Carlos Pires (Instituto Dom Luiz e Departamento de Engenharia Geográfica, Geofísica e Energia, Faculdade de Ciências, Universidade de Lisboa, Portugal).

Fotografia de utente a interagir com um médico através de teleconsulta

O workshop, organizado pela redeSAÚDE da ULisboa, pretende explorar de que forma tecnologias de base digital emergentes na área da saúde podem contribuir para o bem-estar e para a melhoria da prestação de cuidados de saúde.

Logótipos do programa, de Ciências ULisboa e do GAPsi

Programa de Intervenção de Carreira.

O encontro reúne cientistas, profissionais e estudantes de diferentes áreas e regiões do país focados em desenvolver a investigação marinha, em linha com a Década da Ciência Oceânica para o Desenvolvimento Sustentável, proclamada pelas Nações Unidas (2021-2030).

Estátua representativa da biodiversidade do planeta Terra

Seminários de Tese no âmbito do Doutoramento em Biologia e Ecologia das Alterações Globais.

Formação modular de 13 de abril a 11 de maio - produção em permacultura.

Logótipo da ação CLEANFOREST

Forests are exposed to multiple global change drivers, wich can constrain their ability to continue providing several ecosystem services (including climate change mitigation). Assessing responses - and underlined mechanisms -  at the whole ecosystem scale is paramount for a holistic understanding of forest response to global change.

Logótipo do evento

Evento final do Projeto iSEA, com inscrições até 30 de abril.

Título e data do evento, inseridos em fotografia de cinco jovens em contexto de investigação

Pré-inscrições já disponíveis!

Título e data do workshop

Workshop no âmbito da recente adesão da Universidade de Lisboa à CoARA - Coalition for Advancing Research Assessment.

Título do curso

Curso Avançado CEAUL / Gades Solutions.

Título e datas de candidatura do programa, sobre um padrão em tons de roxo e laranja

Submissão de candidaturas até 14 de maio.

Logótipo do LIP Summer Internship Program e fotografia de jovem investigador

Os estágios podem ter uma duração entre duas semanas e dois meses e realizam-se nos três polos do LIP - candidaturas até 15 de maio.

Os oradores plenários irão falar sobre a importância da interdisciplinaridade de forma acessível para todos, estando previstas palestras e apresentação de pósteres por alunos.

Logótipo do EVM 2024

Candidaturas até 15 de maio.

Páginas