Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Dansk
English
Home
Researchers
Research Organisation
Publications
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation at PPDP 2021, Estonia
Daukantas, I.
(Speaker)
Computer Science
Activity
:
Talk or presentation types
›
Lecture and oral contribution
Period
6 Sep 2021
Event title
International Symposium on Principles and Practice of Declarative Programming
Event type
Conference
Conference number
23
Location
Tallinn, Estonia
Show on map
Keywords
Formal verification, AI security
Documents & Links
https://ppdp2021.github.io/