Comunicação

Eventos

10/11/22

"Arquivo.pt - The Portuguese Web Archive: an innovative infrastructure for research"

Daniel Gomes, FCCN

03/11/22

"An Introduction to Reasonable Cost Models for the Lambda Calculus"

Beniamino Accattoli, Inria & Ecole Polytechnique

26/10/22

"Securing IoE/IoT and Software Supply Chain Risk Management"

Honoré Nyuyse - Department Of Homeland Security

13/10/22

Developments of Personal Authentication Systems

Gi-Chul Yang - Mokpo National University

06/10/22

"FreeST and the Higher-order Polymorphic Lambda Calculus"

Vasco Vasconcelos - FCUL

15/06/22

"Primitive recursive driven programming in Prequel"

Hugo Simões

02/06/22

"Cyber Incidents: the before and after"

Luís Valente - SONAE MC

01/06/22

"Computer Vision and Machine Learning Challenges in Cancer Research"

Hélder Oliveira - Senior Researcher, INESC TEC

18/05/22

"A New Lower Bound for Deterministic Truthful Scheduling"

Diogo Poças - FCUL, LASIGE

20/04/22

"Some ideas for practical model selection in NLP"

Prof. Manuel Vilares Ferro dá palestra no DCC

19/04/22

"Estudo Comparativo de Formas Lexicais e Estruturas Passivas em Português de Angola e Europeu"

Timóteo Sumbula Muhongo dá palestra no DCC

22/07/21

Cameleer: a Deductive Verification Tool for OCaml

Mário Pereira dá palestra no DCC