Colloquium
Together with the Chair of Theoretical Computer Science we run a research colloquium to communicate about current work.
Talks
| Date | Speaker | Topic |
|---|---|---|
| 23.07.2026, 10:15 |
Rick Adamy |
Functional completeness of n-valued sheffer-strokes |
| 16.07.2026, 10:15 |
Hla Abuhamra |
tba |
| 09.07.2026, 10:15 |
Karla Messing |
tba |
| 02.07.2026, 10:15 |
Patrick Ritzenfeld |
tba |
| 25.06.2026, 10:15 |
Florian Wittbold |
tba |
| 18.06.2026, 10:15 |
Pedro Nora |
tba |
| 11.06.2026, 10:15 |
Sebastian Gurke |
tba |
| 28.05.2026, 10:15 |
Zixin Wu |
tba |
| 07.05.2026, 10:15 |
Barbara König |
tba |
| 30.04.2026, 10:15 |
Janis Voigtländer |
tba |
| February 5, 2026, 2:00 PM | Patrick Ritzenfeld | Grading CodeWorld exercises |
| January 20, 2026, 2:00 PM | Barbara König | Metric Congruences (II) |
| January 13, 2026, 2:00 PM | Sebastian Gurke | Metric Congruences (I) |
| 06.01.2026 14:00 |
Florian Wittbold |
tba |
| December 16, 2025, 2:00 PM | Rick Adamy | SAT in-/preprocessing: An overview of selected techniques |
| December 9, 2025, 2:00 PM | Janis Voigtländer |
Aspects of "Real-World Injection" in Modeling Exercises |
| November 25, 2025, 2:00 PM | Karla Messing | tba |
| November 11, 2025, 2:00 PM | Pedro Nora | Bisimulations for quasi-BC systems |
| October 28, 2025, 2:00 PM | Oliver Westphal | Domain Specific Languages for IO Exercise Task Automation |
| October 21, 2025, 2:00 PM | Hla Abuhamra | Evidence-based conversational search in biomedicine |
| October 14, 2025, 2:00 PM | Zixin Wu | Enhance Students' Understanding of Modeling Tasks via Real-World Concept Injection |
| July 16, 2025, 2:00 PM | Florian Wittbold | About the Verification of Deep Recurrent Agents in Partially Observable Environments |
| July 2, 2025, 2:00 PM | Frédéric de Longueville | About spheres |
| June 25, 2025, 2:00 PM | Oliver Westphal | How to trace IO computations |
| June 18, 2025, 2:00 PM | Patrick Ritzenfeld |
Automated Grading of CodeWorld Exercises - In Practice
|
| June 11, 2025, 2:00 PM | Sebastian Gurke | Dyes |
| June 4, 2025, 2:00 PM | Barbara König | Hintikka Games & Tarski's World |
| May 28, 2025, 2:00 PM | Marcellus Siegburg | Feedback on Modeling Exercise Tasks |
| 22.05.2025 14:30 | Lara Wallentin | Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems |
| May 14, 2025, 2:00 PM | Karla Messing | Distinguishing Formulae |
|
28.01.2025 14:15 |
Florian Wittbold |
A brief introduction to Generative AI - What ChatGPT Is Made Of
|
|
21.01.2025 14:15 |
Patrick Ritzenfeld |
Automated Grading of CodeWorld Exercises |
|
January 14, 2025, 2:15 PM |
Karla Messing |
Distinguishing Formulae in a General Setting |
|
07.01.2025 14:15 |
Barbara König |
Graph Automata |
|
17.12.2024 14:15 |
Janis Voigtländer |
(A taxonomy for) the variability of programming tasks |
|
December 10, 2024, 2:15 PM |
Marcellus Siegburg |
Deep or Shallow? - Choosing the Right Embedding for Modeling in Alloy |
|
03.12.2024 14:15 |
Oliver Westphal |
Intent Preserving Generation of Diverse and Idiomatic (Code-)Artifacts |
|
26.11.2024 14:15 |
Lara Stoltenow |
Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems
|
|
19.11.2024 14:30 |
Sebastian Gurke |
Approximating Fixed Points of Approximated Functions |
|
30.01.2024 16:00 |
Rebecca Bernemann |
The effect of 'Study with me' videos on perceived learning |
|
23.01.2024 14:30 |
Florian Wittbold |
Approximating Fixed Points of Approximated Functions - Teil 2 |
|
16.01.2024 14:30 |
Sebastian Gurke |
Approximating Fixed Points of Approximated Functions - Teil 1 |
|
09.01.2024 14:30 |
Janis Voigtländer |
Modellierung mit Alloy |
|
19.12.2023 14:30 |
Karla Messing | Finding Distinguishing Formulae based on a Galois Connection |
|
12.12.2023 14:30 |
Lara Stoltenow |
Erfüllbarkeit von verallgemeinerten Graphbedinungen mit SAT-Solvern
|
|
05.12.2023 14:30 |
Marcellus Siegburg | Fair prüfen mit dem Autotool |
|
21.11.2023 14:30 |
Oliver Westphal | Categorical Concepts in Everyday Haskell - Part II: Monads |
|
07.11.2023 14:30 |
Barbara König | Well-structured graph transformation systems |
|
07.02.2023 14:30 |
Lara Stoltenow | Erfüllbarkeit von verallgemeinerten Graphbedingungen |
|
31.01.2023 14:30 |
Florian Wittbold |
A brief introduction to Machine learning |
|
24.01.2023 14:30 |
Marcellus Siegburg | Kompetenzorientiert Prüfen: Modellierung |
|
17.01.2023 14:30 |
Frédéric de Longueville |
Einführung in die Theorie partieller Differentialgleichungen - Teil 2 |
|
10.01.2023 14:30 |
Oliver Westphal | Containers, Effects & Traversals - Categorical Concepts in Everyday Haskell |
|
20.12.2022 14:30 |
Sebastian Gurke | A Myhill-Nerode Theorem for Infinitary Languages |
|
13.12.2022 16:00 |
Rebecca Bernemann | Detecting Social Bots on Twitter |
|
06.12.2022 14:30 |
Richard Eggert | A Lattice-Theoretical View of Strategy Iteration |
|
29.11.2022 14:30 |
Karla Messing | Hennessy-Milner Theorems via Galois Connections - Probabilistic Setting |
|
22.11.2022 14:30 |
Okan Özkan | Resilience of Graph Transformation Systems: Modeling Adverse Conditions and Infinite-state Verification |
|
15.11.2022 16:00 |
Janis Voigtländer |
Mutating Sample Solutions to Improve Prolog Exercise Tasks and Their Test Suites
|
|
08.11.2022 16:00 |
Barbara König |
Up-To-Techniken |
|
03.08.2022 14:00 |
Oliver Westphal | Input Generation for Testing Interactive Haskell Programs |
|
19.07.2022 16:00 |
Sebastian Gurke |
Hennessy-Milner Theorems via Galois Connections - Quantitative Case |
|
05.07.2022 16:00 |
Barbara König |
1001 Bisimulation Games |
|
21.06.2022 16:00 |
Marcellus Siegburg |
A Report on Automatic Generation of Petri Net Exercise and Exam Task Instances |
|
14.06.2022 16:00 |
Frédéric de Longueville |
Einführung in die Theorie partieller Differentialgleichungen |
|
31.05.2022 16:00 |
Karla Messing |
Hennessy-Milner Theorems via Galois Connections - Qualitative Case |
|
24.05.2022 16:00 |
Florian Wittbold |
Decision Support for Stochastic Petri Nets |
|
17.05.2022 16:00 |
Lara Stoltenow |
Checking Satisfiability of Generalized Graph Conditions |
|
10.05.2022 16:00 |
Rebecca Bernemann |
Probabilistic Transition Systems with Hidden State and Unobservable Transitions |
|
26.04.2022 16:00 |
Janis Voigtländer |
Multi-level conceptual models |
|
12.04.2022 15:00 |
Richard Eggert |
Generalized Strategy Iteration |
|
18.05.2021 14:00 |
Richard Eggert |
Reduktionen von Spielen |
|
25.03.2021 14:10 |
Liang Wong |
A Tool for Solving and Playing Energy Games |
|
25.03.2021 13:30 |
Ming Zhang |
A Tool for Network Flows with Minimal Costs |
|
16.03.2021 14:00 |
Barbara König |
Coalgebraic Behavioural Metrics |
|
11.03.2021 14:00 |
Richard Eggert |
Fixpoint Theory - Upside Down |
|
19.11.2020 14:00 |
Rebecca Bernemann |
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks |
|
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 | Lara Stoltenow |
Conditional Bisimilarity for Reactive Systems |
| 22.06.2020 14:00 | Lara 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 | Lara 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
|
| 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 |
| June 18, 2019, 9:30 AM | Dennis Nolte | Analysis and Abstraction of Graph Transformation Systems via Type Graphs |
| June 5, 2019, 2:00 PM | Oliver Westphal |
Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs |