LiquidJava - Extending Java with Refinements
RSS Meetup, por Catarina Gamboa (LASIGE, DI-FCUL).
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.
PhD in Informatics Seminar, por Márcia Barros.