28.01.2025 14:15

tba

21.01.2025 14:15

tba

14.01.2025 14:15

tba

07.01.2025 14:15

tba

17.12.2024 14:15

tba

10.12.2024 14:15

tba

03.12.2024 14:15

tba

26.11.2024 14:15

tba

19.11.2024 14:30

Approximating Fixed Points of Approximated Functions

30.01.2024 16:00

The effect of 'Study with me' videos on perceived learning

23.01.2024 14:30

Approximating Fixed Points of Approximated Functions - Teil 2

16.01.2024 14:30

Approximating Fixed Points of Approximated Functions - Teil 1

09.01.2024 14:30

Modellierung mit Alloy

19.12.2023 14:30

12.12.2023 14:30

Erfüllbarkeit von verallgemeinerten Graphbedinungen mit SAT-Solvern

• slides of the talk

05.12.2023 14:30

21.11.2023 14:30

07.11.2023 14:30

07.02.2023 14:30

31.01.2023 14:30

A brief introduction to Machine learning

24.01.2023 14:30

17.01.2023 14:30

Einführung in die Theorie partieller Differentialgleichungen - Teil 2

10.01.2023 14:30

20.12.2022 14:30

13.12.2022 16:00

06.12.2022 14:30

29.11.2022 14:30

22.11.2022 14:30

15.11.2022 16:00

Mutating Sample Solutions to Improve Prolog Exercise Tasks and Their Test Suites

• slides of the talk as held at WLP@KI2022
• the corresponding paper

08.11.2022 16:00

Up-To-Techniken

03.08.2022 14:00

19.07.2022 16:00

Hennessy-Milner Theorems via Galois Connections - Quantitative Case

05.07.2022 16:00

1001 Bisimulation Games

21.06.2022 16:00

A Report on Automatic Generation of Petri Net Exercise and Exam Task Instances

• slides of the talk as held at MoHoL2022
• the corresponding paper

14.06.2022 16:00

Einführung in die Theorie partieller Differentialgleichungen

31.05.2022 16:00

Hennessy-Milner Theorems via Galois Connections - Qualitative Case

24.05.2022 16:00

Decision Support for Stochastic Petri Nets

17.05.2022 16:00

Checking Satisfiability of Generalized Graph Conditions

10.05.2022 16:00

Probabilistic Transition Systems with Hidden State and Unobservable Transitions

26.04.2022 16:00

Multi-level conceptual models

12.04.2022 15:00

Generalized Strategy Iteration

18.05.2021 14:00

Reduktionen von Spielen

25.03.2021 14:10

A Tool for Solving and Playing Energy Games

25.03.2021 13:30

A Tool for Network Flows with Minimal Costs

16.03.2021 14:00

Coalgebraic Behavioural Metrics

11.03.2021 14:00

Fixpoint Theory - Upside Down

19.11.2020 14:00

Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks

10.09.2020 14:00

Implementing, and Keeping in Check, a DSL Used in E-Learning

• slides of the talk as held at FLOPS2020
• the corresponding paper

Explaining Non-Bisimilarity in a Coalgebraic Approach

A Framework for Generating Diverse Haskell-IO Exercise Tasks

• slides of the talk as held at WFLP2020

Conditional Bisimilarity for Reactive Systems

A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java

Knuth's 0-1-Principle

• slides

Modeling Probabilistic Transitions on Condition/Event Nets using Bayesian Networks

Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas

Generating Diverse Exercise Tasks on UML Class and Object Diagrams, Using Formalisations in Alloy

• slides of the talk as held at MoHoL2020
• the corresponding paper

Ideas for Automatic Programming-Task Generation Based on Generating Sample Code

• slides of talk later held at TFPIE2020

Side-Channels in Cryptographic Software, the Haskell case

• slides of the talk as held at Radboud Digital Security Group

Fixpoint Theory – Upside Down

Lösungsverfahren für Fixpunktgleichungssysteme in den reellen Zahlen

An Introduction to Coalgebraic Games

The (internal) logic of a topos

Automatische Bewertung von Haskell-Programmieraufgaben

• slides of the talk as held at ABP19
• the corresponding short paper

Category theory concepts appearing in functional programming, part 2

• see slides linked under the first part of the talk
• slides of a related talk at DECLARE/WFLP19
• the corresponding paper

Side Channel Attacks and Lazy Evaluation

• slides

Category theory concepts appearing in functional programming

• slides (also for the second part of the talk)

A Task Generator for Matching Object Diagrams to Class Diagrams

• slides of talk later held (by J.V.) at SACLA19
• the corresponding paper

Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs

• slides of talk later held at TFPIE2019
• the corresponding paper