Articles in Events

Talk: Runtime Assurance of Deep Neural Networks

1

Apr

Talk: Runtime Assurance of Deep Neural Networks

7

Apr 2025

FC6 029

11:00

by Birk Torpmann-Hagen, UiT: The Arctic University of Tromsø

Talks@DCC

Talk: Pydrofoil: compiling formal semantics of processors to fast software models

1

Mar

Talk: Pydrofoil: compiling formal semantics of processors to fast software models

27

Mar 2025

FC6 029

11:00

by Martin Berger, University of Sussex

Talks@DCC

Talk: Rethinking AI: More with less

1

Feb

Talk: Rethinking AI: More with less

24

Feb 2025

FC6 029 - 11:00

11:00

by Amparo Alonso Betanzos, University of A Coruña

IA IEEE Talks@DCC