Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Dansk
English
Home
Organisation
Researchers
Projects
Publications
Datasets
Press/Media
Activities
Prizes
Search by expertise, name or affiliation
Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation at PPDP 2021, Estonia
Ieva Daukantas (Speaker)
Activity
:
Talk or presentation types
›
Lecture and oral contribution
Period
6 Sept 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/