TCS Seminar @ UA

The TCS Seminar is meant to expose master’s students from the University of Antwerp to theoretical topics in computer science. For the academic year 2024-2025, the seminar will take place on Wednesdays at 13:45 in M.A.143 (Middelheim campus). The preliminary agenda is as follows.

26/02/2025 - Bart Bogaerts: Combinatorial Solving with Provably Correct Results
05/03/2025 - Jan Van den Bussche: Reasoning About Expressiveness and Decidability of Query Languages
12/03/2025 - Floris Geerts (TBC)
19/03/2025 - Sarah Leyder (TBC)
26/03/2025 - Benny Van Houdt (TBC)
02/04/2025 - Ingo Blechschmidt (TBC)

You will find below posts regarding upcoming and past talks given during the seminar. If you want to attend the seminar, please sign up via the corresponding form so that we book a large enough room for that talk and buy enough sandwiches for everyone.

Posts

Mar 5, 2025
Reasoning About Expressiveness and Decidability of Query Languages
Feb 26, 2025
Combinatorial Solving with Provably Correct Results
Dec 4, 2023
How to Decompose Planar Graphs
Nov 27, 2023
Weakly-supervised object localization via class activation mapping
Nov 20, 2023
Systems of polynomial equations over finite fields
Nov 13, 2023
Confident peptide-spectrum matching in the absence of ground truth data
Oct 23, 2023
Discrimination and bias detection in AI models
Dec 5, 2022
Transducers and Their Decision Problems
Nov 10, 2022
Explicit back-off rates for achieving target throughputs in CSMA/CA networks
Oct 4, 2022
Expressive Power of Graph Neural Networks
Sep 14, 2022
Parameter Synthesis Problems for One-Counter Automata
Sep 13, 2022
Solving Problems with Logic - Decidable Theories