Paraconsistent and Separation Logics with Graphs
Talk @LASIGE, com Diana Costa (LASIGE).
LASIGE
LASIGE Welcome Day’21
LASIGE welcomes its new members and marks the beginning of the 2021/2022 academic year with the event LASIGE Welcome Day’21.
Propositions-as-Types and Shared State
RSS Meetup, por Pedro Rocha (NOVA LINCS, FCT/NOVA).
LiquidJava - Extending Java with Refinements
RSS Meetup, por Catarina Gamboa (LASIGE, DI-FCUL).
Semantic Conflicts in Version Control Systems
RSS Meetup, por Nuno Castanho (LASIGE, DI/FCUL).
Improving Machine Learning Pipeline Creation using Visual Programming and Static Analysis
RSS Meetup, por João David (LASIGE, DI/FCUL).
SmartScribble: Safer Smart Contracts
RSS Meetup, por Afonso Falcão (LASIGE, DI-FCUL).
Advances and Challenges in Resilient Computing
Talk @LASIGE, com Paulo Esteves-Veríssimo (KAUST, CEMSE, RC3).
Neural Code Completion
RSS Meetup, por Miltos Allamanis (Microsoft Research).
Ciência@Informática 2021
A iniciativa visa dar a conhecer a investigação que se faz no LASIGE / Departamento de Informática de Ciências ULisboa.