Passar para o conteúdo principal

Informática

Go and Go-routines (at Cloudflare)

Aula aberta sobre linguagem de programação Go, por Nuno Diegues (Systems Engineer at Cloudflare).

Ler mais acerca de Go and Go-routines (at Cloudflare)

The Developer Experience of Robotics Software: Challenges and Opportunities

RSS Meetup, por Paulo Santos, Miguel Tavares e Ricardo Cordeiro (LASIGE).

Ler mais acerca de The Developer Experience of Robotics Software: Challenges and Opportunities

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

Informáticos distinguidos internacionalmente na área da confiabilidade

“OS Diversity for Intrusion Tolerance: Myth or Reality?”, com coautoria de três investigadores da Ciências ULisboa, é um dos artigos distinguidos com o prémio Test-of-Time, atribuído em junho de 2021 pela DSN.

Ler mais acerca de Informáticos distinguidos internacionalmente na área da confiabilidade

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

Information Technology and Quality Infrastructure

Talks @DI, por Raphael Machado.

Ler mais acerca de Information Technology and Quality Infrastructure

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

Ciências ULisboa

Está aqui

Informática

Páginas