Propositions-as-Types and Shared State
RSS Meetup, por Pedro Rocha (NOVA LINCS, FCT/NOVA).
RSS Meetup, por Pedro Rocha (NOVA LINCS, FCT/NOVA).
RSS Meetup, por Catarina Gamboa (LASIGE, DI-FCUL).
RSS Meetup, por Nuno Castanho (LASIGE, DI/FCUL).
RSS Meetup, por João David (LASIGE, DI/FCUL).
RSS Meetup, por Afonso Falcão (LASIGE, DI-FCUL).
Talk @LASIGE, com Paulo Esteves-Veríssimo (KAUST, CEMSE, RC3).
RSS Meetup, por Miltos Allamanis (Microsoft Research).
PhD in Informatics Seminar, por João António Rodrigues.
Ten Minutes Talk with the PhD students in Informatics, com Rita Sousa (LASIGE, DI-FCUL).
PhD in Informatics Seminar, por Soraia Alarcão.