Passar para o conteúdo principal

Informática

The Different Shades of Infinite Session Types. Part 2: Hues of Grey

RSS Meetup, por Diogo Poças (LASIGE, DI-FCUL).

Ler mais acerca de The Different Shades of Infinite Session Types. Part 2: Hues of Grey

Identifying Web Vulnerabilities in PHP Through Deep Learning

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

Ler mais acerca de Identifying Web Vulnerabilities in PHP Through Deep Learning

The Different Shades of Infinite Session Types. Part 1: Black and White

RSS Meetup, por Vasco T. Vasconcelos (LASIGE, DI-FCUL).

Ler mais acerca de The Different Shades of Infinite Session Types. Part 1: Black and White

Democratizing Data-driven Healthcare

Keynote de Tiago Guerreiro na BIOSTEC 2021.

Ler mais acerca de Democratizing Data-driven Healthcare

Inteligência Artificial no Setor do Retalho

FórumIA - um ciclo de conversas dedicadas à inteligência artificial em Portugal.

Ler mais acerca de Inteligência Artificial no Setor do Retalho

Neural Model Compression: ongoing work

Talks @ DI, por Luís Gomes.

Ler mais acerca de Neural Model Compression: ongoing work

Cameleer: a Deductive Verification Tool for OCaml

RSS Meetup por Mário Pereira (NOVA-LINCS, FCT/UNL).

Ler mais acerca de Cameleer: a Deductive Verification Tool for OCaml

LEAD-ME COST

Uma mudança cultural e a criação de uma nova mentalidade na conceção de ferramentas para atividades profissionais e privadas para todos os cidadãos europeus, na posse das suas totais capacidades ou com alguma limitação, é o objetivo da ação LEAD-ME COST, que tem Carlos Duarte, professor do Departamento de Informática, investigador do LASIGE Ciências ULisboa, como membro do comité de gestão desta ação.