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
Representação de DNA

Seminário de Projeto de Investigação (Doutoramento em Biologia), por Pedro Gameiro dos Santos.

Logótipo CiE

Uma série interdisciplinar de conferências internacionais organizada pela Associação Computabilidade na Europa (ACiE).

Título e local do evento

O evento visa promover o diálogo interdisciplinar sobre estruturas de proteínas, doenças conformacionais e tecnologias baseadas em proteínas.

Emiliano Gutierrez, CEO da Raiz Vertical Farms, irá partilhar a forma como a empresa foi criada, os desafios que ultrapassou e os momentos-chave que moldaram o seu percurso.

Banner Meredith Ringel Morris HCI for AGI

15 de julho, 14h00: CIÊNCIAS recebe Meredith R. Morris, Diretora de Investigação em Interacção Humano-IA na Google DeepMind e Professora Afiliada na Universidade de Washington, para uma palestra imperdível sobre um dos temas mais debatidos e transformadores da atualidade: o caminho rumo à Inteligência Artificial Geral (AGI).

Título do programa e representação de família numa carrinha

CIÊNCIAS associa-se, uma vez mais, a esta iniciativa, promovendo várias atividades.

Título e datas do programa de estágios

Preparados para explorar a investigação de perto?

Águas subterrâneas

Curso acreditado para efeitos de progressão na carreira dos professores na dimensão cientifico-pedagógica dos grupos 420 e 520.

Um workshop com o objetivo de reunir académicos que abordam a história da ecologia - e a evolução da própria disciplina - a partir de uma variedade de perspetivas.

Cardume

Seminário no âmbito do Doutoramento em Ciências do Mar, por Inês Pereira.

Pormenor de mecanismo de relógio

Concerto no âmbito do programa Música na Universidade de Lisboa.

Orquestra

Concerto no âmbito do programa Música na Universidade de Lisboa.

Banner Ser Cientista

A 10.ª edição do Ser Cientista realiza-se entre 21 e 25 de julho - vem investigar connosco!

Título e data da iniciativa

A iniciativa conta com a participação do MARE - Centro de Ciências do Mar e do Ambiente e do LASIGE Computer Science and Engineering Research Centre.

Aluna a utilizar um computador portátil

A Escola Doutoral Unite! Widening visa apoiar diretamente estudantes de doutoramento que realizem investigação numa das quatro áreas estratégicas selecionadas pelo projeto - as candidaturas decorrem até 26 de julho.

Pormenor de lâmpada

Candidaturas a decorrer de 01 a 30 de setembro.

Microplásticos no ocerano

O curso procura 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, utilizando uma abordagem de ensino científico, com um discurso adequado a formandos sem formação científica - candidaturas até 03 de agosto.

Logótipo do evento, sobre fotografia dos Açores

Um simpósio internacional que reúne investigadores especializados em várias disciplinas (taxonomia, ecologia da vegetação, biogeografia, filogeografia, paleoecologia ou conservação da biodiversidade), focados na flora e vegetação terrestre e marinha da região da Macaronésia (Açores, Madeira, Selvagens, Canárias e Cabo Verde).

Quatro investigadores num laboratório

O curso visa capacitar investigadores, docentes e técnicos para integrar os princípios da economia circular em ambientes laboratoriais académicos - candidaturas até 16 de setembro.

Composição de imagens relativas à área das ciências forenses

O curso visa dotar os formandos com os conhecimento necessários à integração de equipas profissionais multidisciplinares nas áreas Médico-Legais e Forenses, em Laboratórios ou Serviços Médico-Legais e Forenses - candidaturas até 27 de julho.

Três investigadores num laboratório

O curso visa capacitar profissionais para aplicar os princípios da economia circular em ambientes laboratoriais industriais, promovendo práticas sustentáveis e eficientes - candidaturas até 17 de setembro.

Logótipo do evento

Um evento promovido pelo Departamento de Física da Faculdade de Ciências da ULisboa, com um duplo objetivo: valorizar a diversidade e excelência da formação dos doutorados e promover um espaço de diálogo direto entre empresas e estudantes.

Cientista a trabalhar com tubos de ensaio

Os participantes neste curso irão adquirir os conhecimentos essenciais à integração de equipas profissionais multidisciplinares na área das Análises Clínicas/Patologia Clínica, em laboratórios privados, públicos, hospitalares ou do Estado - candidaturas até 27 de julho.

Gotas de água

O curso visa capacitar os formandos para a aplicação dos índices de qualidade ecológica utilizados na avaliação da qualidade ambiental em sistemas de transição, no âmbito da Diretiva Quadro da Água (DQA) - candidaturas até 31 de agosto.

Saída de campo (Geologia)

O curso, com candidaturas até 20 de julho, convida os professores do Ensino Básico e Secundário a explorar a Geologia a partir das rochas que afloram nas imediações da sua escola.

Páginas