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

Dates

Date Speaker Topic
05.06.2019 14:00 Oliver Westphal Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs
18.06.2019 09:30 Dennis Nolte Analysis and Abstraction of Graph Transformation Systems via Type Graphs
26.06.2019 14:00 Marcellus Siegburg A Task Generator for Matching Object Diagrams to Class Diagrams
10.07.2019 14:00 Ke Wang Exploring Petri net concepts through formalization in Alloy
17.07.2019 14:00 Barbara König Introduction to Category Theory
24.07.2019 14:00 Harsh Beohar TBA
31.07.2019 14:00 Barbara König Introduction to Category Theory pt. 2
07.08.2019 14:00 Janis Voigtländer Category theory concepts appearing in functional programming
21.08.2019 14:00 Marcel Fourné Side Channel Attacks and Lazy Evaluation
28.08.2019 14:00 Janis Voigtländer Category theory concepts appearing in functional programming part 2