Together with the Chair of Theoretical Computer Science we run a research colloquium to communicate about current work.

Talks

Date Speaker Topic
10.09.2020 14:00 Oliver Westphal

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

08.09.2020 14:30 Christina Mika-Michalski

Explaining Non-Bisimilarity in a Coalgebraic Approach

03.09.2020 14:00 Oliver Westphal

A Framework for Generating Diverse Haskell-IO Exercise Tasks

24.06.2020 14:00 Lars Stoltenow

Conditional Bisimilarity for Reactive Systems

22.06.2020 14:00 Lars Stoltenow

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

19.05.2020 14:00 Janis Voigtländer

Knuth's 0-1-Principle

10.03.2020 14:15 Rebecca Bernemann

Modeling Probabilistic Transitions on Condition/Event Nets using Bayesian Networks

03.03.2020 15:00 Lars Stoltenow Conditional Bisimilarity for Reactive Systems
03.03.2020 14:00 Richard Eggert Fixpoint Theory - Upside Down
25.02.2020 14:15 Christina Mika-Michalski

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

11.02.2020 14:00 Marcellus Siegburg

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

28.01.2020 14:00 Oliver Westphal

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

14.01.2020 14:00 Marcel Fourné

Side-Channels in Cryptographic Software, the Haskell case

18.12.2019 16:00 Richard Eggert

Fixpoint Theory – Upside Down

10.12.2019 16:00 Katja Poltermann

Lösungsverfahren für Fixpunktgleichungssysteme in den reellen Zahlen

12.11.2019 16:00 Christina Mika-Michalski

An Introduction to Coalgebraic Games

29.10.2019 16:00 Harsh Beohar

The (internal) logic of a topos

02.10.2019 14:00 Marcellus Siegburg

Automatische Bewertung von Haskell-Programmieraufgaben

05.09.2019 14:00 Janis Voigtländer

Category theory concepts appearing in functional programming, part 2

21.08.2019 14:00 Marcel Fourné

Side Channel Attacks and Lazy Evaluation

07.08.2019 14:00 Janis Voigtländer

Category theory concepts appearing in functional programming

  • slides (also for the second part of the talk)
31.07.2019 14:00 Barbara König Introduction to Category Theory, part 2
24.07.2019 14:00 Harsh Beohar TBA
17.07.2019 14:00 Barbara König Introduction to Category Theory
10.07.2019 14:00 Ke Wang Exploring Petri net concepts through formalization in Alloy
26.06.2019 14:00 Marcellus Siegburg

A Task Generator for Matching Object Diagrams to Class Diagrams

18.06.2019 09:30 Dennis Nolte Analysis and Abstraction of Graph Transformation Systems via Type Graphs
05.06.2019 14:00 Oliver Westphal

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