Passar para o conteúdo principal

LASIGE

Dealing with Contrasting Asymmetries of Needs, Abilities, and Motivations in HCI

Talk @LASIGE, com André Rodrigues (LASIGE).

Ler mais acerca de Dealing with Contrasting Asymmetries of Needs, Abilities, and Motivations in HCI

Paraconsistent and Separation Logics with Graphs

Talk @LASIGE, com Diana Costa (LASIGE).

Ler mais acerca de Paraconsistent and Separation Logics with Graphs

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.

Ler mais acerca de LASIGE Welcome Day’21

Propositions-as-Types and Shared State

RSS Meetup, por Pedro Rocha (NOVA LINCS, FCT/NOVA).

Ler mais acerca de Propositions-as-Types and Shared State

LiquidJava - Extending Java with Refinements

RSS Meetup, por Catarina Gamboa (LASIGE, DI-FCUL).

Ler mais acerca de LiquidJava - Extending Java with Refinements

Semantic Conflicts in Version Control Systems

RSS Meetup, por Nuno Castanho (LASIGE, DI/FCUL).

Ler mais acerca de Semantic Conflicts in Version Control Systems

Improving Machine Learning Pipeline Creation using Visual Programming and Static Analysis

RSS Meetup, por João David (LASIGE, DI/FCUL).

Ler mais acerca de Improving Machine Learning Pipeline Creation using Visual Programming and Static Analysis

SmartScribble: Safer Smart Contracts

RSS Meetup, por Afonso Falcão (LASIGE, DI-FCUL).

Ler mais acerca de SmartScribble: Safer Smart Contracts

Advances and Challenges in Resilient Computing

Talk @LASIGE, com Paulo Esteves-Veríssimo (KAUST, CEMSE, RC3).

Ler mais acerca de Advances and Challenges in Resilient Computing

Neural Code Completion

RSS Meetup, por Miltos Allamanis (Microsoft Research).

Ler mais acerca de Neural Code Completion

Páginas