Contributed talks
- Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, and Anna Ingolfsdottir. Satisfiability-checking of modal logic with recursion via translations and tableaux [pdf]
- Luca Aceto, Antonis Achilleos, Aggeliki Chalki, and Anna Ingólfsdóttir. The complexity of deciding characteristic formulae [pdf]
- Antonis Achilleos, Elli Anastasiadi, R. Govind, and Jana Wagemaker. On the expressiveness of hyperlogics [pdf]
- Artem Chernikov and Henry Towsner. Intersecting sets in probability spaces and Shelah’s classification [pdf]
- Ludovica Conti. Arbitrary Frege Arithmetic [pdf]
- Chris J. Conidis. Formal power series in Second-Order Arithmetic [pdf]
- Anuj Dawar and Ioannis Eleftheriadis. Preservation theorems on sparse classes revisited [pdf]
- Leo Gitin. Undecidability of expansions of Laurent series fields by cyclic discrete subgroups [pdf]
- Evan Iatrou and Rui Li. Value-aligning legitimate robot judges using lambda-calculus [pdf]
- Aleksander Ivanov and Krzysztof Majcher. Generic groups and WAP [pdf]
- Antonis Kakas and Paolo M. Mancarella. On the Extension of Argumentation Logic [pdf]
- Sori Lee. Identity types in predicate logic [pdf]
- Georgios Marangelis. Shelah’s conjecture fails for higher cardinalities [pdf]
- Theodor Nenu. Fuzzy Semantics for the Language of Precise Truth [pdf]
- Edoardo Rivello. Towards an abstract theory of definitions [pdf]
- Rodrigo Raya. On aggregation in parametric array theories [pdf]
- Sara Rousta. A Synthetic Proof of Myhill’s Theorem in the Effective Topos [pdf]
- Samuel Braunfeld, Jaroslav Nešetřil, Patrice Ossona de Mendez, and Sebastian Siebertz. Decomposition horizons and tame graph classes [pdf]
- Karol Wapniarski and Mariusz Urbanski. Exploring Aristotelian Syllogistic in First-Order Logic: An Overview of the History and Reality of Ontological Commitments [pdf]
- Elia Zardini. Vagueness across the Type Hierarchy [pdf]