BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//WASP - ECPv6.16.3//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://wasp-sweden.org
X-WR-CALDESC:Events for WASP
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:+01:00
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=+01:00:20250825T131500
DTEND;TZID=+01:00:20250825T235900
DTSTAMP:20260601T135514
CREATED:20250516T100027Z
LAST-MODIFIED:20260601T083744Z
UID:10000100-1756127700-1756166340@wasp-sweden.org
SUMMARY:PhD Defense: Efficient Formal Reasoning about the Trustworthiness of Tree Ensembles
DESCRIPTION:Welcome to the doctoral defense of John Törnblom \nDate and time: August 25th\, 13:15 \nLocation: TEMCAS\, TEMA Building\, Campus Valla\, Linköping \nDoctoral student: John Törnblom\, Department of Computer and Information Science (IDA)\, Linköping University \nTitle: Efficient Formal Reasoning about the Trustworthiness of Tree Ensembles
URL:https://wasp-sweden.org/event/phd-defense-efficient-formal-reasoning-about-the-trustworthiness-of-tree-ensembles/
LOCATION:TEMCAS\, TEMA Building\, Campus Valla\, Linköping\, TEMCAS\, TEMA Building\, Campus Valla\, Linköping\, Linköping\, Sweden
END:VEVENT
END:VCALENDAR