Talks

The list of all abstracts is available here.

Talk

• Descriptive complexity for hard counting problems with easy decision versions

  Aggeliki Chalki

  Live

• Runtime monitoring for Hennessy-Milner logic with recursion over systems with data

  Léo Exibard

  Live

• Categoricity ordinals and models of Presburger arithmetic

  Jason Block

  Live

• The categoricity of complete theories in second-order logic.

  Tapio Saarinen

  Live

• Propositional identity. From semantics to proof theory.

  Agata Tomczyk

  Live

• Meaning is Use - the Case of Propositional Identity.

  Szymon Chlebowski

  Live

• Equivalence relations and learning of algebraic structures.

  Vittorio Cipriani

  Live

• A computability perspective on verified machine learning.

  Tonicha Crook

  Live

• Effective Concept Classes of PAC and PACi Incomparable Degrees and Jump Structure.

  Gihanee M. D. Senadheera

  Live

• Foundations of team semantics.

  Fredrik Engstrom

  Live

• Dimension in team semantics.

  Jouko Väänänen

  Live

• Big Ramsey degrees and trees with sucessor operation.

  Jan Hubicka

  Live

• Gödel Temporal Logic

  Brett McLean

  Live

• Big Ramsey degrees of unconstrained ω-categorical structures.

  Matej Konecny

  Live

• Minimally n-valued maximally paraconsistent expansions of LP.

  Alexej Pynko

  Live

• Paraconsistent extensions of three-valued logics.

  Alexej Pynko

  Live

• Extensions of paraconsistent three-valued chain logics.

  Alexej Pynko

  Live

• Exponential sums equations and tropical geometry.

  Francesco Gallinaro

  Live

• Games and Scott sentences for positive distances between metric structures.

  Joni Puljujarvi

  Live

• On theories of dense spherical orders.

  Sergey Sudoplatov

  Live

• Stability of generalized Johnson graphs

  Bjarki Geir Benediktsson

  Live

• Properties of lattices of existential formulas of Jonsson beautiful pairs.

  Olga Ulbrikht

  Live

• On stable quotients.

  Adrian Portillo

  Live

• Formalizing assignment of types to terms in NFU

  Vedran Cacic

  Live

• Proof complexity of monotone branching programs.

  Avgerinos Delkos

  Live

• Understanding trust assumptions for remote attestation via formal verification

  Muhammad Usama Sardar

  Live

• Fully Certified Dynamic Epistemic Logic for Security Protocols

  Bogdan Macovei

  Live

• Can propositions be intentions, intuitionistically?

  Bruno Bentzen

  Live

• Almost negative truth and fixpoints in intuitionistic logic.

  Mattias Granberg Olsson

  Live

• Positive negation in constructive mathematics.

  Iosif Petrakis

  Live

• Symmetry, locality and hyperintensionality

  Maria Beatrice Buonaguidi

  Live

• Abstract Lindenbaum lemma for non-finitary consequence relations.

  Petr Cintula

  Live

• A class of implicative expansions of Belnap-Dunn logic in whose elements a Boolean negation is definable.

  José M. Méndez

  Live

• The relevance of the incompleteness theorems with Hilbert's concrete proof theory.

  Yong Cheng

  Live

• Tarski's theorem about choice and the alternative axiomatic extension of NFU.

  Tin Adlesic

  Live

• Two halves of disjunctive correctness.

  Cezary Cieśliński

  Live

• Reformulating supervaluational theory of truth.

  Daichi Hayashi

  Live

• Arbitrary Abstraction and Logicality.

  Ludovica Conti

  Live

• Truth-theoretic determinacy revisited.

  Pablo Dopico

  Live

• Between the Model-Theoretic and the Axiomatic Method of Characterizing Mathematical Truth

  Michal Godziszewski

  Live

• 1-Complete first-order mereological theories

  Hsing-Chien Tsai

  Live

• Intermediate Goodstein principles.

  Oriola Gjetaj

  Live

• The structural complexity of models of arithmetic.

  Dino Rossegger

  Live

• Hyperarithmetical Worm Battles

  Konstantinos Papafilippou

  Live

• Methods of modelling linear time in hypersequent calculus.

  Patrycja Kupś

  Live

• Compactness and Types in Logics of Dependence.

  Davide Quadrellaro

  Live

• The reverse mathematical strength of hyperations.

  Philipp Provenzano

  Live

• Normalization for epsilon calculus.

  Elio La Rosa

  Live

• On an ecumenical natural deduction with stoup.

  Elaine Pimentel

  Live

• On extracting variable Herbrand disjunctions.

  Andrei Sipos

  Live

• Formalizing the Appendix of Kelley's General Topology in the Naproche Proof Checker.

  Peter Koepke

  Live

• Unthreadability at aleph2.

  Maxwell Levine

  Live

• Removing Reinhardt's replacement.

  Richard Matthews

• Two computational clusters in ordinary mathematics.

  Sam Sanders

  Live

• Weak and strong versions of effective transfinite recursion.

  Patrick Uftring

  Live

• Frame definability in finitely-valued modal logic.

  Guillermo Badia

  Live

• Paraconsistent and paracomplete Zermelo-Fraenkel set theory

  Hrafn Oddsson

  Live

• Characterizing Cardinals by Lomega-sentences in an Absolute Way.

  Ioannis Souldatos

  Live

• What are magic sets?

  Agnieszka Widz

  Live

• Countable ranks at the first and second projective levels.

  Philipp Schlicht

  Live

• Applications of the open dihypergraph dichotomy for generalized Baire spaces.

  Dorottya Sziraki

  Live

• Weakly Menger Ditopological Texture Spaces

  Hafiz Ullah

  Live

• On algebras of binary formulas for weakly circularly minimal theories.

  Beibut Kulpeshov

  Live

• Automorphism invariant measures on some structures and on their automorphism groups.

  Gabor Sagi

  Live

• The strong small index property for the Fraisse limit of finite Heyting algebras

  Kentaro Yamamoto

  Live

• Computability of finite simplicial complexes and homology

  Amir Djamel Eddine

  Live

• Relational semantics for some classical relevance logics.

  Katalin Bimbó

  Live

• Compositional proof-theoretic semantics for natural language.

  Will Stafford

  Live

• The phase transition for Harvey Friedman’s monotone Bolzano Weierstrass principle.

  Andreas Weiermann

  Live

• Tennebaum’s Theorem for quotient presentations of nonstandard models of arithmetic

  Michal Godziszewski

  Live

• Syntactic and semantic similarities of hybrids of classes of the Jonsson spectrum of Jonsson quasivariety of the class K.

  Nazerke Mussina

  Live

• Arithmetic via Carnap-categoricity.

  Sebastian G.W. Speitel

  Live

• More on Constructive Nonsense Logic

  Hitoshi Omori

  Live

• Model-theoretical characterizations of truth

  Mateusz Lelyk

  Live

• The logic E-Mingle and its Routley-Meyer semantics.

  Gemma Robles

  Live

• Forcing without AC and the Axiom of Dependent Choice

  Jonathan Schilhan

  Live

• Sequent Calculus for non-Fregean Boolean theory WB.

  Agata Tomczyk

  Live

• Decidability of modal definability problem on the class of quasilinear frames.

  Tinko Tinchev

  Live

• Proof Theory of Skew Non-Commutative MILL.

  Cheng-Syuan Wan

  Live

• Categorical representation of discrete dynamical systems computability

  Mark Addis

  Live

Plenary Talk

• On the actions of finite permutation groups on groups of finite Morley rank

  Tuna Altinel

  Live

• Gödel Lecture - Formalism in Logic

  Patricia Blanchette

  Live

• The uniform Kruskal theorem: a bridge between finite combinatorics and abstract set existence

  Anton Freund

  Live

• Blurry HOD - a sketch of a landscape

  Gunter Fuchs

  Live

• Complexity of equations solving – kith and kin

  Paweł Idziak

  Live

• Do syntactic features supervene on semantic ones in foundations of mathematics? A few starting points

  Juliette Kennedy

  Live

• Classification via effective lists

  Karen Lange

  Live

• Primitive recursive mathematics

  Alexander Melnikov

  Live

• Automating Resolution is NP-hard

  Moritz Müller

  Live

• Limits of applicability of Gödel’s second incompleteness theorem

  Fedor Pakhomov

  Live

• On differential expansions of topological fields

  Françoise Point

  Live

• Games on classifiable C*-algebras

  Andrea Vaccaro

  Live

Tutorial

• Tutorial - Algebra and Logic in the Complexity of Constraints

  Libor Barto

  Live

• Tutorial - Computable reductions of equivalence relations

  Luca San Mauro

  Live

Special Session

• Model Theory - Kim’s lemmas and tree properties

  Alex Kruckman

  Live

• Computer Science Logic - On the dynamics of cut-elimination for circular and non-wellfounded proofs

  Alexis Saurin

  Live

• Proof Theory and Ordinal Analysis - From interpolation to proofs

  Bahareh Afshari

  Live

• Set Theory - Some remarks on Namba-type forcings

  Ben De Bondt

  Live

• Philosophy of Mathematics - Geometrizing Kripke modal semantics

  Brice Halimi

  Live

• Reverse Mathematics and Combinatorial Principles - The computability of the Artin-Rees Lemma and Krull Intersection Theorem

  Chris Conidis

  Live

• Set Theory - P-measures in random extensions

  Damian Sobota

  Live

• Reverse Mathematics and Combinatorial Principles - The strength of versions of Mycielski’s Theorem

  Denis Hirschfeldt

  Live

• Set Theory - Independence for uncountable cardinals

  Diana Carolina Montoya

  Live

• Computer Science Logic - Alternating (In)Dependence-Friendly Logic ‡

  Fabio Mogavero

  Live

• Proof Theory and Ordinal Analysis - Noetherian Gödel Logics

  David Fernandez-Duque

  Live

• Proof Theory and Ordinal Analysis - The admissible extension of subsystems of second order arithmetic

  Gerhard Jaeger

  Live

• Reverse Mathematics and Combinatorial Principles - On the strength of some first-order problems corresponding to Ramseyan principles

  Giovanni Soldà

  Live

• Proof Theory and Ordinal Analysis - Isominimal realizations of patterns

  Gunnar Wilken

  Live

• Model Theory - Tameness in positive logic

  Jan Dobrowolski

  Live

• Set Theory - Making the diamond principle fail at an inaccessible cardinal

  Jing Zhang

  Live

• Computer Science Logic - On the Power of Symmetric Linear Programs

  Joanna Ochremiak

  Live

• Proof Theory and Ordinal Analysis - The Π₂¹-spectrum conjecture

  Juan P. Aguilera

  Live

• Reverse Mathematics and Combinatorial Principles - A non speed-up result for the chain-antichain principle over a weak base theory

  Katarzyna W. Kowalik

  Live

• Philosophy of Mathematics - Hermann Weyl and the roots of mathematical logic

  Laura Crosilla

  Live

• Model Theory - Elimination of imaginaries in ℂ((t^Γ))

  Mariana Vicaria

  Live

• Computer Science Logic - Sequent calculi with restricted cuts for non-classical logics

  Revantha Ramanayake

  Live

• Proof Theory and Ordinal Analysis - On the Constructive Constructible Universe

  Richard Matthews

  Live

• Philosophy of Mathematics - Conceptions of absolute generality

  Salvatore Florio

  Live

• Model Theory - Monadic dividing lines and hereditary classes

  Sam Braunfeld

  Live

• Set Theory - A stationary-tower-free proof of Sealing from a supercompact

  Sandra Müller

  Live

• Computer Science Logic - Proofs, circuits, and total search problems

  Susanna F. de Rezende

  Live

• Model Theory - Henselian discretely valued fields and existential AKE principles

  Sylvy Anscombe

  Live

• Set Theory - Club stationary reflection and consequences of square principles

  Thomas Daniells Gilton

  Live

• Computer Science Logic - Should Type Theory replace Set Theory as the Foundation of Mathematics?

  Thorsten Altenkirch

  Live

• Philosophy of Mathematics - MOON theory: Mathematical Objects with Ontological Neutrality

  Tim Button

  Live

• Model Theory - The Elekes-Szabó problem for cubic surfaces

  Tingxiang Zou

  Live

• Reverse Mathematics and Combinatorial Principles - Ackermann Function and Reverse Mathematics

  Wei Wang

  Live

• Reverse Mathematics and Combinatorial Principles - Recursive coloring without Δ₃⁰ witness for Hindman theorem

  Yuke Liao

  Live

Break

• Coffee Break

  Live Live Live Live Live Live Live Live Live Live Live Live Live Live Live Live Live Live Live Live Live Live Live Live Live Live Live Live Live Live

• Lunch Break

  Live Live Live Live Live

• Morning Coffee

  Live Live Live Live Live

• Welcome

  Live

Event

• Dinner

  Live

• Welcome Reception

  Live