10:30,  Dr. Yasir Mahmood (Paderborn):
Connections Between Inconsistent Databases and Argumentation Frameworks
I will talk about the connections between inconsistent databases and abstract argumentation frameworks (AFs). By mapping database tuples/facts to arguments and integrity constraints (particularly functional and inclusion dependencies) to conflict and support relations, I would demonstrate how database repairs correspond to argumentation extensions under various semantics. My presentation outlines a two-way translation: from databases to AFs and vice versa, offering a perspective on data inconsistency and argument-based reasoning at an abstract level. 

13:00,  Marius Tritschler (Darmstadt):
Hierarchies in Guarded Team Logics
Team logics are extensions of first order logic that can be used to reason about interdependencies between assignments. This increase in expressive power comes at the cost of high complexity, which motivates the analysis of guarded variants of these logics. We compare the expressive power of guarded variants of established team logics.

14:30,  Dr. Aleksi Anttila (Amsterdam):
Convex Team Logics
We prove expressive completeness results for convex propositional and modal team logics, where a logic is convex if, for each of its formulas, if the formula is true in two teams t and u and t subset s subset u, then it is also true in s. We also generalize the notion of uniform definability in  order to clarify the sense in which some of the convex logics considered extend propositional dependence and inquisitive logic.