Agda as a Proof Assistant
Speaker: Bernardo Almeida (LASIGE, DI/FCUL).
Speaker: Bernardo Almeida (LASIGE, DI/FCUL).
Tiago Guerreiro, professor do DI e investigador do LASIGE Ciências ULisboa, participa no IDEA-FAST, um projeto inovador na área da saúde digital, com um orçamento de 42 milhões de euros.
O 5.º Workshop LASIGE tem como objetivo reforçar a cooperação entre os membros do LASIGE e a comunidade científica. Serão apresentados os diversos trabalhos dos seus membros e inclui as seguintes palestras convidadas:
The FCT AWESOME - Awareness While Experiencing and Surfing On Movies through Emotions - project aims to investigate the emotional dimension of movies, to provide support for the classification, access, navigation and visualization of movie collections, not only by genre, rating, etc. but based on the emotions expressed in their content and felt by the viewers, while and after watching movies. This holds the potential to increase emotional awareness and empower users regulating emotions when accessing and watching movies and videos.
Ciências ULisboa e a Maxdata Software apresentam a 26 de setembro, entre as 14h00 e as 17h45, na sala de atos, no edifício C6, no campus da Faculdade, os principais resultados do RESISTIR. O projeto visa apoiar e implementar novos sistemas de medicina preditiva, personalizada, preventiva e participativa e insere-se num consórcio que junta o BioISI, o LaSIGE; entidades empresariais na área de eHealth e diversas instituições de saúde.
O professor de Ciências ULisboa Tiago Guerreiro é um dos novos editores chefes da Association for Computing Machinery (ACM) Transactions on Accessible Computing (TACCESS).
João Sousa, investigador no Laboratório de Sistemas Informáticos de Grande Escala, foi distinguido com o prémio DSN 2019 William C. Carter, no âmbito do trabalho desenvolvido na tese de doutoramento "Byzantine state machine replication for the masses", realizada enquanto aluno do Departamento de Informática de Ciências ULisboa.
O workshop tem como um dos objetivos reforçar a cooperação entre os membros do LaSIGE e a comunidade científica. Serão apresentados os diversos trabalhos dos seus membros, e inclui palestras convidadas dadas pela psicóloga Andreia Santos (GAPsi - FCUL), pelo Tiago Maurício (DevOps na Comissão Europeia) , e pela Prof.ª Alexandra Silva (professora no University College London).
Ciências é uma das cinco instituições da ULisboa que integra o projeto ALHTOUR.
The ICGI’2018 - International Conference on Graphics and Interaction will take place between 15 and 16 November 2018 at the Faculty of Sciences of the University of Lisbon, in Portugal, a joint organization between the Large-Scale Informatics Systems Laboratory (LASIGE) and the Eurographics Portuguese Chapter with the support of the Faculty of Sciences of the University of Lisbon.