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
Exposição "Formas & Fórmulas"

Dia 20 de maio, pelas 18h30, na sala 6.2.33 de Ciências (com transmissão online).

Seminário do Centro de Física Teórica e Computacional, por Maxim Efremov (German Aerospace Center - DLR, Institute of Quantum Technologies, Ulm, Germany).

Árvore florida

A minha Jornada pela Matemática: Descobertas, Escolhas e Desafios, por Ana Catarina Monteiro - estudante do Mestrado em Matemática (Licenciatura: Matemática).

Aula aberta no âmbito da Unidade Curricular de Aprendizagem Profunda, por Hugo Penedones (Inductiva).

Logótipos TWIN2PIPSA/União Europeia e título do evento

This workshop is open to all CIÊNCIAS ULisboa community - registration is mandatory.

Earth Systems Seminar, por Paula Marques Figueiredo (North Carolina State University - NCSU).

Seminário do Departamento de Física de Ciências ULisboa, por José Manuel Rebordão (Instituto de Astrofísica e Ciências do Espaço, FCUL).

O workshop contribui para aproximar a Ciência e as Políticas Públicas na construção de políticas informadas por evidências.

Título/data/local do evento, sobre representação de luzes

Quase um ano após o telescópio Euclid ter sido colocado no espaço, vamos ver e compreender as novas imagens de entre as maiores alguma vez feitas do Universo, e aprofundar as primeiras descobertas a serem divulgados pela Agência Espacial Europeia (ESA) a 23 de maio.

Composição com os nomes das Universidades participantes

Candidaturas até 25 de maio (mobilidades no 1.º semestre).

Seminário de Formação Avançada em Jardins, Paisagens e Ambiente, por André Murgia (Università degli Studi di Cagliari).

Seminário Helena Avelar de Astronomia e Astrologia Antiga, por Francisco Malta Romeiras (Universidade de Lisboa).

Título do prémio

As candidaturas decorrem até ao dia 31 de maio.

O objetivo deste workshop é juntar especialistas portugueses e espanhóis em história política, cultural, científica e marítima do século XVI que, num ambiente informal, irão debater a importância deste intercâmbio.

Título do programa e logótipos das entidades organizadoras, sobre fotografia do espaço

Candidaturas até 03 de junho.

Inscrições até 24 de maio.

Pormenor de linguagem corporal (braços e mãos) de pessoa a dialogar

Ação de formação para docentes e investigadores de Ciências.

Criança a segurar num globo terrestre

A conferência é dedicada ao tema "Desafios em Saúde Planetária: Capacitar Comunidades para a Mudança".

Título/data/local do evento, logótipos da Rede MAR/ULisboa e fotografia de zona costeira

Candidaturas até 31 de maio.

Pormenor de duas pessoas a trabalharem em frente a um ecrã de computador

As inscrições para a edição de 2024 decorrem até às 17h do dia 02 de junho de 2024. A formação destina-se a todos os docentes e investigadores da ULisboa.

Feixes luminosos

Envio de propostas até 20 de junho.

An opportunity to get acquainted with some of the most promising contemporary topics in the exciting interdisciplinary area of scientific culture: the interactions of mathematics and music.

Título/data/local do evento e imagem representativa de pessoa a trabalhar num mundo tecnológico

As Jornadas Científicas 2024 da Universidade de Lisboa são dedicadas ao tema “Impacto Atual e Futuro da Inteligência Artificial no Trabalho”.

Título/data/local do evento, sobre a Tabela Periódica

This year's program will cover two plenary sessions hosted by Susete Pinteus and Hugo Miranda, complemented by oral presentations, flash talks, and poster communications. Finally, a round table discussion will take place at the end of our meeting.

Logótipo do prémio

As candidaturas à 11.ª edição decorrem até 28 de junho.

Páginas