Automatic Detection and Resolution of Deadlocks in Go Programs
RSS Meetup, por António Ravara (FCT/UNL).
RSS Meetup, por António Ravara (FCT/UNL).
Distinguished Talks @DI/LASIGE, por Tom Lenaerts (Université Libre de Bruxelles).
Distinguished Talks @DI/LASIGE, por Francesco Bonchi (Research Director at Centai).
Seminário Doutoral do Departamento de Informática, por Rita Sousa.
This workshop brings together world-leading scholars and junior researchers from philosophy, neuroscience, psychology, robotics, and computational neuroscience to address several key questions.
Aula aberta da Unidade Curricular de Construção de Sistemas de Software, por Leonor Loureiro (Github).
Carlos Mão de Ferro, estudante do doutoramento em Informática, relata a sua experiência de estágio na NASA, na Califórnia, EUA. O estudante está a participar num projeto cujo objetivo é lançar pequenos robots na superfície de Marte, a partir de um rover principal, formando uma rede de sensores inteligente, com o intuito de estudar a existência de água no planeta.
Seminário Doutoral, por Diana Sousa.
Talk @DI, por Luís Pinto (DI, Ciências ULisboa).
Seminário Doutoral, por Bernardo Almeida.