Comunicação

Eventos

25/06/24

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

"Functional Programming in Financial Markets"
#palestra

12/06/24

Talks@DCC por Miriam Santos, DCC-FCUP & LIADD/INESC-Tec

"Data Matters: The Impact of Data Quality in AI Systems"
#palestra

29/05/24

Talks@DCC por Miguel Martins, DCC-FCUP & INESC-Tec

"Markov-based Neural Networks and their application for Heart Sound Segmentation"
#palestra

15/05/24

Talks@DCC por José Proença, DCC-FCUP & CISTER

"A pomset semantics for choreographies"
#palestra

02/05/24

Talks@DCC por David Pereira, CISTER, ISEP, P.Porto

"Correct-by-construction (in-)Equivalence of Regular Expressions through the Coq proof-assistant"
#palestra

18/04/24

Talk@DCC por João Barbosa, DCC/FCUP & LIACC

"Kleene Logics and their application to the Semantics of Logic Programs"
#palestra

08/03/24

Talk@DCC por Helge Fredriksen , UiT Artic University of Norway

"Problem-based Learning and Flipped Classroom strategies for active learning at the tertiary level - Experiences from a computer science progr
#palestra

08/03/24

Talk@DCC por Helge Fredriksen , UiT Artic University of Norway

"Categorization of phenotype trajectories utilizing transformers on clinical time-series"
#palestra

01/02/24

"Descriptional Complexity of Models for Regular Languages"

Luca Prigioniero, Loughborough University, UK
#palestra

28/06/23

"Quantitative Global Memory"

Miguel Ramos; DCC/FCUP & IRIF/UParis
#palestra

21/06/23

"OpenShift/Kubernetes/Containers - The evolution path so far (as I see it!)"

Rui Gouveia; Red Hat EMEA
#palestra

25/05/23

"The computational core: its reduction and intersection type discipline"

Riccardo Treglia; University of Bologna
#palestra