Passar para o conteúdo principal

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.

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

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.

Ler mais acerca de Ciência@Informática 2021

Evolving Meaning for supervised learning in complex biomedical domains using knowledge graphs

Ten Minutes Talk with the PhD students in Informatics, com Rita Sousa (LASIGE, DI-FCUL).

Ler mais acerca de Evolving Meaning for supervised learning in complex biomedical domains using knowledge graphs

Páginas