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

Talks

Date Speaker Topic
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