BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Käte Hamburger Kolleg: Cultures of Research (c:o/re) - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Käte Hamburger Kolleg: Cultures of Research (c:o/re)
X-ORIGINAL-URL:https://khk.rwth-aachen.de
X-WR-CALDESC:Events for Käte Hamburger Kolleg: Cultures of Research (c:o/re)
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Helsinki
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20211031T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20221030T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Helsinki:20220511T170000
DTEND;TZID=Europe/Helsinki:20220511T190000
DTSTAMP:20260424T100253
CREATED:20221130T145652Z
LAST-MODIFIED:20260116T105101Z
UID:5098-1652288400-1652295600@khk.rwth-aachen.de
SUMMARY:Explainable and Verifiable Machine Learning. A Grand Challenge for Computer Science (Kim Guldstrand Larsen)
DESCRIPTION:Kim Guldstrand Larsen is professor in the Department of Computer Science at Aalborg University within the Distributed\, Embedded Systems and Intelligent (DEIS) Unit and director of the ICT-competence center CISS\, Center for Embedded Software Systems. Being the prime investigator of the award winning tool UPPAAL as well as its branches\, his talk will highlight ongoing research towards explainable and verifiable learning-based CPS pursued within the context of the modelling and verification tool UPPAAL\nStratego. \nThe talk is part of the c:o/re Lecture Series Cultures of Research – Philosophy of AI_Optimist and Pessimist Views. \n 
URL:https://khk.rwth-aachen.de/event/explainable-and-verifiable-machine-learning-a-grand-challenge-for-computer-science-kim-guldstrand-larsen/
LOCATION:Stadtpalais/Online\, Theaterstraße 75\, Aachen\, 52062\, Germany
CATEGORIES:Lecture Series,Lecture Series 2022
ATTACH;FMTTYPE=image/png:https://khk.rwth-aachen.de/wp-content/uploads/2022/11/Copy-of-CO-RE-1.png
ORGANIZER;CN="c%3Ao/re":MAILTO:events@khk.rwth-aachen.de
END:VEVENT
END:VCALENDAR