"AlgoComp" is a weekly seminar series hosted by the Theoretical Computer Science Section at the IT University of Copenhagen. The seminars take place every Monday and feature presentations by PhD students, postdoctoral researchers, faculty members, and visiting scholars. The scope of the talks covers all topics of algorithms and complexity, and can range from presenting recently published cutting-edge research to informal and open-ended problem sessions. Attendance is open to everyone, including interested bachelor’s and master’s students.
The seminar is currently maintained by Lasse Wulf and Ivor van der Hoog. If you are interested in giving a talk, don't hesistate to contact lasw@itu.dk.
02.02. Sampson Wong KU Copenhagen
title: -
Abstract: -
09.02. Ivor van der Hoog ITU
title: Simpler optimal sorting from a directed acyclic graph
Abstract: -
16.02. Georg Schindling TU Darmstadt
title: Restricted Requantification and Homomorphism Indistinguishability
Abstract: Finite variable logics play a central role in finite model theory, serving as a foundational framework for analyzing the complexity of finite structures. A combinatorial perspective characterizes equivalence in these logics via homomorphism indistinguishability: for certain graph classes, two graphs agree on all homomorphism counts from the class if and only if they satisfy the same sentences in a corresponding logic. This viewpoint often reveals connections between structural properties of graph classes and the expressive power of logical fragments. We extend this perspective to logics with restricted requantification, thereby refining the stratification of syntactic resources in finite variable counting logics. By parameterizing the number of requantifiable variables, we obtain distinct logical fragments and investigate their interaction with homomorphism counts and computational complexity.
23.02. Peter Kramer NOTE(!): seminar at 12.15pm instead due to master defense
title:
Abstract: -
02.03. Amir Nikahadi ITU
title: -
Abstract: -
09.03. Michal Feldman Tel-Aviv University
title: -
Abstract: -
16.03. EuroCG practice talks?
title: -
Abstract: -
23.03. TBA
title: -
Abstract: -