Dies ist eine Liste der Vorträge, die ich gehalten habe oder halten werde. Bis 2016 (einschließlich) handelt es sich dabei um wissenschaftliche Vorträge, ab 2017 dann vor allem um öffentliche Vorträge, die ich für meine jeweiligen Arbeitgeber gehalten habe.
2021
Wie prüft man Algorithmen, Henning Kerstan?
- März 2021, Podcast-Folge von “Entdeckt, erklärt, erzählt”, ein Podcast von #explore, dem Online-Magazin der TÜV NORD GROUP, verfügbar auf allen großen Podcast-Plattformen, z.B. Apple Podcasts, YouTube, Google Podcasts, Spotify
2020
Vertrauen schaffen in KI-Systeme durch unabhängige Prüfung
- Oktober 2020, it-sa 356 online, der Videomitschnitt ist auf Youtube einsehbar.
2016
Coalgebraic Behavior Analysis — From Qualitative To Quantitative Analyses (PhD Defense)
- April 2016, Universität Duisburg-Essen, Deutschland
Für weitere Informationen zu meiner Dissertation (inklusive Downloadmöglichkeit für die Dissertation und die Vortragsfolien) bitte hier klicken.
2015
Towards Trace Metrics via Functor Lifting (Slides)
- Juni 2015, CALCO 2015, Nijmegen, Die Niederlande
Behavioral Metrics via Functor Lifting
- März 2015, D-CON 2015, Kerkrade, Die Niederlande
2014
Behavioral Metrics via Functor Lifting (Slides)
- Dezember 2014, FSTTCS 2014, New Delhi, Indien
Lifting Adjunctions to (Co)Algebras to (Re)Discover Automata Constructions
- April 2014, CMCS 2014, Grenoble, Frankreich
- März 2014, D-CON 2014, Ilsenburg, Deutschland
Trace Semantics for Continuous Probabilistic Transition Systems
- März 2014, Bellairs Workshop on Probability, Holetown, Barbados
2013
Trace Semantics for Probabilistic Transition Systems based on Measure Theory
- September 2013, QAIS-Workshop 2013, Braga, Portugal
Lifting Coalgebras To Adjunctions (Best Presentation Award, Slides)
- September 2013, CALCO Early Ideas 2013, Warschau, Polen 2012
Trace Semantics for Probabilistic Transition Systems based on Measure Theory
- September 2012, Groupe de Travail Tempo/Mexico, ENS de Cachan, Cachan, Frankreich
- September 2012, Séminaire du LMEaSI, CEA List, Saclay, Frankreich
- September 2012, CONCUR 2012, Newcastle upon Tyne, Vereinigtes Königreich
- März 2012, D-CON 2012, Kaiserslautern, Deutschland