Comunicação

Eventos

26/03/25

Talks@DCC por Birk Torpmann-Hagen

Runtime Assurance of Deep Neural Networks
#palestra

24/03/25

Talks@DCC por Martin Berger

Pydrofoil: compiling formal semantics of processors to fast software models
#palestra

18/02/25

Talks@DCC por Amparo Alonso Betanzos

Rethinking AI: More with less
#palestra

05/02/25

Talks@DCC por Francisco Vidal

A Foretaste of Quantum Theory and Quantum Computing (Part II)
#palestra

21/01/25

Talks@DCC por Matthias Gobbert

Machine Learning in Real-Time Imaging for Proton Beam Radiotherapy
#palestra

12/12/24

Talks@DCC por Sandra Alves

Quantitative Weak Linearisation
#palestra

09/12/24

Talks@DCC por Francisco Vidal

A Foretaste of Quantum Theory and Quantum Computing
#palestra

06/12/24

Talks@DCC por Pedro Vasconcelos

Why property-based testing matters
#palestra

14/11/24

Talks@DCC por Gabriele Vanoni

Higher-Order Bayesian Networks
#palestra

08/11/24

Talks@DCC por Santiago Escobar

Maude: a rewriting logic framework
#palestra

25/09/24

Talks@DCC por Pedro Vasconcelos, DCC-FCUP & LIACC

"The Joy of Codex"
#palestra

25/06/24

Talks@DCC por José Pedro Magalhães, Standard Chartered Bank

"Functional Programming in Financial Markets"
#palestra