Colloquium
Together with the Chair of Theoretical Computer Science we run a research colloquium to communicate about current work.
Talks
| Date | Speaker | Topic | |
|---|---|---|---|
| July 23, 2026, 10:15 AM |
Rick Adamy |
Functional completeness of n-valued sheffer strokes | |
| July 16, 2026, 10:15 AM |
Hla Abuhamra |
tba | |
| July 9, 2026, 10:15 AM |
Zixin Wu |
tba | |
| July 2, 2026, 10:15 AM |
Patrick Ritzenfeld |
tba | |
| June 25, 2026, 10:15 AM |
Florian Wittbold |
tba | |
| June 18, 2026, 10:15 AM |
Pedro Nora |
tba | |
| June 11, 2026, 10:15 AM |
Sebastian Gurke |
tba | |
| May 28, 2026, 10:15 AM |
Karla Messing |
tba | |
| May 7, 2026, 10:15 AM |
Barbara König |
Fixpoint Games | |
| 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 | |
| July 24, 2019, 2:00 PM | Harsh Beohar | tba | |
| July 17, 2019, 2:00 PM | Barbara König | Introduction to Category Theory | |
| July 10, 2019, 2:00 PM | Ke Wang | Exploring Petri net concepts through formalization in Alloy | |
| June 26, 2019, 2:00 PM | 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 |