Talks@DI

Dealing with Failures in Software-Intensive Systems

Sala 6.3.38, FCUL, Lisboa

Although considerable effort has been invested in developing methods for testing and failure detection, synthesis of programs from abstract models and verification of programs (and models), techniques for locating the root cause of observed program failures are still relatively immature. Therefore, the utility for general testing and debugging techniques remain limited to specific programs, execution environments, and problem contexts. Furthermore, no plug&play toolset exists providing state-of-the-art techniques to help developers with testing and debugging. In this talk, we will discuss current state-of-the-art techniques for testing and debugging and how the combination of all these techniques helps to gain a better understanding of the software application. The techniques discussed in the talk are available within a plugin for the Eclipse IDE, coined GZoltar.

Short Bio: Rui Abreu holds a Ph.D. in Computer Science - Software Engineering from the Delft University of Technology, The Netherlands, and a M.Sc. in Computer and Systems Engineering from the University of Minho, Portugal. His research revolves around software quality, with emphasis in automating the testing and debugging phases of the software development life-cycle as well as self-adaptation. Dr. Abreu has extensive expertise in both static and dynamic analysis algorithms for improving software quality. He is the recipient of 5 Best Paper Awards, and his work has attracted considerable attention. Before joining IST @ U.Lisboa as an Associate Professor, he was a member of the Model-Based Reasoning group at PARC’s System and Sciences Laboratory and an Assistant Professor at the Faculty of Engineering of the University of Porto.

14h00
Departamento de Informática
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 de 29 de março a 30 de abril.

A atividade consiste numa caminhada pelo Lousal, passando por vários pontos importantes da história da Mina do Lousal.

BioISI Research Seminar, por Duarte Figueiredo (Max Planck Institute of Molecular Plant Physiology).

Alunos de Ciências

Uma iniciativa gratuita, dirigida aos estudantes do 1.º Ciclo de estudos de Ciências ULisboa.

Título/data/local do evento, logótipo da RedeMov e fotografia de autocarro

Evento no âmbito do Ciclo de Conferências "Conversas à 6.ª", promovido pela redeMOV da Universidade de Lisboa.

Logótipo do programa e pormenor de comboio

Pronto para embarcar numa mobilidade sustentável e numa aventura multicultural?

Geometry and Physics Seminar / Theory of Computing Seminar por Florian Pausinger (Queen's University Belfast).

Título do evento e representação de rosto humano

An interdisciplinary workshop that brings together world-leading scholars, junior researchers, artists, clinicians and more importantly people with lived experiences of Depersonalisation to address key questions around this widely spread yet under-acknowledged condition.

Composição do logótipo da ULisboa e de representação do rosto humano à base de relógios

Consegue comunicar eficazmente a sua investigação de doutoramento em 3 minutos?

Ao longo das 30 horas deste curso, serão abordados temas, tais como contornar as principais dificuldades na comunicação da Biodiversidade, como usar histórias, ou a importância dos conceitos científicos na hora de os comunicar.

Título/data/local do evento

O evento visa mobilizar atores nacionais nas missões europeias do Horizonte Europa que contribuem para o Pacto Ecológico Europeu.

Pormenor da exposição e data da visita guiada

Visita guiada pela autora da exposição, Inez Wijnhorst, e o seu curador, Pedro Freitas (CIUHCT), apresentando duas visões - a artística e a matemática - que se complementam.

Fotografia de participantes numa anterior edição da Jobshop Ciências

O maior evento de empregabilidade de Ciências, a decorrer nos dias 09 e 10 de abril.

Título do programa, sobre um fundo azul escuro

Candidaturas até 31 de março.

Título do evento e mosaico de imagens (feixe de luz e silhueta humana)

Estás pronto para alavancar o teu conhecimento e abrir novas oportunidades profissionais?

Título/data/local do evento

An advanced worshop organised by 3D-BioInfo-PT, the community of Portuguese scientific researchers working in fields connected to Structural Bioinformatics.

The conference aims to bring together students and young researchers working in Mathematics, Statistics, and Applications with a view to fostering discussions and collaborations amongst participants.

Logótipos do Concurso Nacional para Jovens Cientistas e Investigadores e da Fundação da Juventude

Candidaturas até 15 de abril.

Seminário Helena Avelar de Astronomia e Astrologia Antiga, por Levente László (Eötvös University).

Logótipo de Ciências ULisboa, título "Dia de Ciências 2024" e frase apelando à participação

23 de abril. Virgínia Dignum, especialista Nações Unidas para IA, é oradora convidada.

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).

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.

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 do curso

Curso Avançado CEAUL / Gades Solutions.

Logótipo do EVM 2024

Candidaturas até 15 de maio.

Páginas