Sumários
Project development
17 dezembro 2020, 12:30 • João Fernando Ferreira
The plan of this lab session is to work on the second project.
Project development
17 dezembro 2020, 11:00 • João Fernando Ferreira
The plan of this lab session is to work on the second project.
Guest Lecture, Bart Jacobs (Associate Professor at the Department of Computer Science of KU Leuven)
17 dezembro 2020, 09:30 • João Fernando Ferreira
Guest Lecture, Bart Jacobs (Associate Professor at the Department of Computer Science of KU Leuven)
Guest Lecture, Wolfgang Ahrendt (Professor at Chalmers University of Technology)
15 dezembro 2020, 11:00 • João Fernando Ferreira
Guest Lecture, Wolfgang Ahrendt (Professor at Chalmers University of Technology)
Exercises on Separation Logic (aula online)
10 dezembro 2020, 12:30 • João Fernando Ferreira
Exercises on Separation Logic: assertions and proving small programs.
Discussion on the project.