Linkedin
PhD in Informatics Seminar #1 2022/2023 | DI Ciências ULisboa

PhD in Informatics Seminar #1 2022/2023 | DI Ciências ULisboa

Title: FreeST: A functional programming language with context-free session types Speaker: Bernardo Almeida, LASIGE/DI-FCUL Date: November 16, 12h Where: Room 6.3.27 Abstract: Communication plays a significant role in software systems. Therefore, it is essential to...
Talks @ DI: Luís Correia

Talks @ DI: Luís Correia

Title: Artificial Intelligence context matters Speaker: Luís Correia (LASIGE, FCUL) Date: November 9, 14h30 Where: 6.3.27 Abstract: It is unquestionable that AI has obtained striking results in specific areas such as theorem proving, games, data mining or natural...
LASIGE Welcome Day 2022

LASIGE Welcome Day 2022

Date: November 2, 2022, 15h30 Where: FCUL, C6.1.36 Agenda: 15:30 Registration desk 16:00 Welcome to LASIGE – Alysson Bessani 16:30 Keynote Speaker – Henrique Moniz 17:20 Photo and Coffee break 18:00 Research Lines at LASIGE 18:15 PhD Student Commission 18:30...
LASIGE @ “Andamentos da Ciência”

LASIGE @ “Andamentos da Ciência”

Nuno Neves, LASIGE integrated member, was the invited speaker at “Andamentos da Ciência”, at the Faculty of Sciences of the University of Lisbon (FCUL), on October 19, 2022. In this session, three main questions were addressed: What is a computer...
Talks @ LASIGE: Jonathan Aldrich

Talks @ LASIGE: Jonathan Aldrich

Title: Gradual Verification: Assuring Software Incrementally Speaker: Jonathan Aldrich (Carnegie Mellon University) Date: November 11, 2022, 15h00 Where: FCUL, C6.3.27 (Coffee break included) Abstract: Current static verification techniques do not provide good support...