LC PROGRAM

Welcome Address by the Rector (abstract)

Welcome Address by the Organizers (abstract)

VSL Opening (abstract)

VSL Keynote Talk: Computational Ideas and the Theory of Evolution (abstract)

Tutorial on Stategic and Extensive Games 1 (abstract)

Applications of admissible computability (abstract)

The DNA of logic and games. (abstract)

Dependence and independence - a logical approach (abstract)

Pregeometries and definable groups (abstract)

Quasiminimal structures and excellence (abstract)

Uniform and non-uniform reducibilities of algebraic structures (abstract)

Randomness in the Weihrauch degrees (abstract)

Inductive Proofs & the Knowledge They Represent (abstract)

Decidable languages for knowledge representation and inductive definitions: From Datalog to Datalog+/- (abstract)

Natural deduction for intuitionistic differential linear logic (abstract)

An outline of intuitionistic epistemic logic (abstract)

Some properties related to the existence property in intermediate predicate logics (abstract)

On Hallden complete modal logics determined by homogeneous frames (abstract)

A universal diagonal schema by fixed-points and Yablo’s paradox (abstract)

Canonical extensions and prime filter completions of poset expansions. (abstract)

On the compactness theorem in many valued logics (abstract)

Formalizing vagueness as a doxastic, relational concept (abstract)

Two Formalisms for a Logic of Generalized Truth Values (abstract)

Characterising Logics through their Admissible Rules (abstract)

Models for the probabilistic sequent calculus (abstract)

Display-type calculi for non classical logics (abstract)

Complexity bounds for Multiagent Justification Logic (abstract)

The relation between the graphs structures and proof complexity of corresponding Tseitin graph tautologies (abstract)

The algorithmic complexity of decomposability in fragments of first-order logic (abstract)

Type equations and second order logic (abstract)

An intuitive semantics for {Full Intuitionistic Linear Logic} (abstract)

Argumentation Logic (abstract)

On the existential interpretability of structures (abstract)

The isomorphism problem for computable projective planes (abstract)

Coding graphs into fields (abstract)

Uniformization in the hereditarily finite list superstructure over the real exponential field (abstract)

Dynamic logic on approximation spaces (abstract)

On limitwise monotonic reducibility of Σ^0_2-sets. (abstract)

Relativized universal numberings (abstract)

Ideals without minimal numberings in the Rogers semilattice (abstract)

Computable numberings in Analytical Hierarchy (abstract)

Definability of 0' in the structure of $\omega$-enumeration degrees (abstract)

Embedding the omega-enumeration degrees into the Muchnik degrees generated by spectra of structures (abstract)

Limitwise monotonic sets of reals (abstract)

An Intuitionistic Interpretation of Classical Implication (abstract)

Predicate Glivenko theorems and substructural aspects of negative translations (abstract)

Adding a Conditional to Kripke's Theory of Truth (abstract)

Constructive completeness and Joyal's theorem (abstract)

Algorithmic-algebraic canonicity for mu-calculi (abstract)

Proof-Theoretic Analysis of Brouwer's Argument of the Bar Induction (abstract)

On Explicit-Implicit Reflection Principles. (abstract)

Ordinal Notations and Fundamental Sequences in Caucal Hierarchy (abstract)

The maximal order type of the trees with the gap-embeddability relation (abstract)

Computational reverse mathematics and foundational analysis (abstract)

Semantic completeness of first order theories in constructive reverse mathematics (abstract)

Reverse Mathematics, more explicitly (abstract)

A computability approach to three hierarchies (abstract)

A generalization of Solovay's Sigma-construction with application to intermediate models (abstract)

A new lower bound for the length of the hierarchy of norms (abstract)

Unraveling $\Sigma^0_\alpha(\Pi^1_1)$-Determinacy (abstract)

Determinacy of Refinements to the Difference Hierarchy of Co-analytic sets (abstract)

On proof complexities of strong equal modal tautologies. (abstract)

Reducts of simple (non-collapsed) Fraisse-Hrushovski constructions (abstract)

On Jonsson sets and some their properties. (abstract)

Ultraproduct construction of representative utility functions with infinite-dimensional domain (abstract)

An axiomatic approach to modelling of orders of magnitude (abstract)

Elementary numerosities and measures. (abstract)

Differential Galois theory in the class of formally real fields. (abstract)

Around n-dependent fields (abstract)

Some remarks on $\aleph_0$-categorical weakly circularly minimal structures (abstract)

Uniqueness of limit models in metric abstract elementary classes under categoricity and some consequences in domination and orthogonality of Galois types (abstract)

Amalgamation, characterizing cardinals and locally finite Abstract Elementary Classes (abstract)

Computing the number of types of infinite tuples (abstract)

Definability, automorphisms and enumeration degrees (abstract)

Tutorial on Stategic and Extensive Games 2 (abstract)

Logic meets number theory in o-minimality (abstract)

Elections and knowledge (abstract)

Nash equilibrium semantics for Independence-Friendly Logic (abstract)

UD-randomness and the Turing degrees (abstract)

On finitely presented expansions of groups and algebras (abstract)

Matrix iterations and Cichoń's diagram (abstract)

Regular cross-sections of Borel flows (abstract)

The place of logic in computer science education (abstract)

Modal logic of clocks: Modalizing a first-order theory of time to get a better understanding of relativity theories (abstract)

Towards a Conditional for The Liar and the Sorites. (abstract)

On graph calculus approach to modalities (abstract)

Complexity of generalized grading with inverse relations and intersection of relations (abstract)

Fuzzy Bsimulation for Standard Godel Modal Logic (abstract)

Hybrid extensions of S4 with the finite model property (abstract)

Almost structurally complete consequence operations extending S4.3 (abstract)

Truth theory for logic of self-reference statements as a quaternion structure (abstract)

A Routley-Meyer semantics for Göodel 3-valued logic G3 (abstract)

Blocking the routes to triviality with depth relevance (abstract)

On the almost sure validities in the finite in some fragments of monadic second-order logic (abstract)

Completeness of second-order separation logic for program verification (abstract)

Infinite Games Specified by 2-Tape Automata (abstract)

Circuit lower bounds in bounded arithmetics (abstract)

Model theory of bounded arithmetic and complexity theory (abstract)

Weak Arithmetical Semantics for the Logic of Proofs (abstract)

Boolean algebras and degrees of autostability relative to strong constructivizations (abstract)

The $ \Delta^{0}_{\alpha} $-dimension of computable structures (abstract)

On categoricity of scattered linear orders (abstract)

A DNC function that computes no effectively bi-immune set (abstract)

Integer-valued randomness and degrees (abstract)

Effective genericity and differentiable functions (abstract)

On $\Sigma^0_2$-initial segments of computable linear orders (abstract)

A non-uniqueness theorem for jumps of principal ideals (abstract)

Every non-zero honest elementary degree has the cupping property (abstract)

Degree spectra of relations on a cone (abstract)

$\Delta_2^0$-spectra of linear orderings (abstract)

Degree spectra of structures under $\Sigma_n$-equivalence. (abstract)

Effective results on the asymptotic behavior of nonexpansive iterations (abstract)

Pi_1 induction axioms vs Pi 1 induction rules (abstract)

Reverse mathematics of WQOs and Noetherian spaces (abstract)

A characterization for diagonalized--out objects (abstract)

Some applications of the Arithmetized Completeness Theorem to second-order arithmetic (abstract)

Some properties of Intuitionistic Set Theory with the principle UP. (abstract)

The complexity of computably enumerable graphs (abstract)

The order dimensions of degree structures (abstract)

Computable numberings in Ershov hierarchy (abstract)

Davies-trees in infinite combinatorics (abstract)

A descriptive set theoretical axiomatization of the Mathias model. (abstract)

Restricting Martin's axiom to a ccc ground model (abstract)

Elementary epimorphisms between models of set theory (abstract)

Generalized Ellentuck spaces and initial Tukey chains of non-p-points (abstract)

Co-analytic ideals on $\omega$ (abstract)

Budding Trees (abstract)

Finite Inseparability of Elementary Theories Based on Connection (abstract)

On various strengthenings of the notion of indivisibility (abstract)

An ordinal rank characterising when Forth suffices (abstract)

Extreme amenability of precompact expansions of countably categorical structures (abstract)

Weak Beth definability property for finite variable fragments. (abstract)

Non-monotonic extensions of the weak Kleene clone with constants (abstract)

A sheaf model of randomness (abstract)

A Defense of Information Economy Principle (abstract)

Prospects for a Naive Theory of Classes (abstract)

On the logical use of implicit contradictions (abstract)

Definable topological dynamics and real Lie groups (abstract)

Topologies on Polish structures (abstract)

Explosiveness, Model Existence, and Incompatible Paraconsistencies (abstract)

VSL Public Lecture: Gödel in Vienna (abstract)

VSL Keynote Talk: The theory and applications of o-minimal structures (abstract)

Tutorial on Stategic and Extensive Games 3 (abstract)

The Birth of Semantic Entailment (abstract)

Definable cardinals just beyond R / Q (abstract)

Tutorial on classical realizability and forcing 1 (abstract)

Cardinal invariants and template iterations (abstract)

Generalizations of Hilbert's Tenth Problem (abstract)

Foundations and Technology Competitions Award Ceremony (abstract)

FLoC Olympic Games Award Ceremony 1 (abstract)

FLoC Closing Week 1 (abstract)

Synthesis for monadic logic over the reals (abstract)

On local induction schemes (abstract)

Tutorial on Classical Realizability and Forcing 2 (abstract)

Frege on mathematical progress (abstract)

On Bernays' Generalization of Cantor's Theorem (abstract)

Large cardinals, forcing axioms, and the theory of subsets of \omega_1 (abstract)

Locally definable well-orders (abstract)

Weak well orders and related inductions (abstract)

Automating inductive proof (abstract)

Restrictiveness relative to notions of interpretation (abstract)

Reflection, Trust, Entitlement (abstract)

Definable valuation rings (abstract)

The Fitting subgroup of a supersimple group (abstract)

A completeness theorem for general relativity (abstract)

More On Completion with Horn Filters (abstract)

Predicative Mathematics via Safety Relations (abstract)

Natural Deduction in Renaissance Geometry (abstract)

Aristotle’s conception of demonstration and modern proof theory (abstract)

Modelling Inference in Fiction (abstract)

Metalogical Extensions--Part II: First-order Consequences and Gödel (abstract)

Geometry without points (abstract)

Provability logics and proof-theoretic ordinals (abstract)

On Uniform Interpolation for the Guarded Fragment (abstract)

Degree spectra of sequences of structures (abstract)

Computability in generic extensions (abstract)

Forcing with finite conditions and preserving CH (abstract)

Reflection principle of list-chromatic number of graphs (abstract)

Justifying proof-theoretic reflection principles (abstract)

C. I. Lewis' Influence on the Early Work of Emil Post (abstract)

Indiscernible extraction and Morley sequences (abstract)

Consequences of the existence of ample generics and automorphism groups of homogeneous metric structures (abstract)

Tutorial on Classical Realizability and Forcing 3 (abstract)

Reductions in computability theory from a constructive point of view (abstract)

On a theorem of McAloon (abstract)

The Singular Cardinals Problem after 130 years or so (abstract)

The problem of a model without collection and without exponentiation (abstract)

Computable structure theory and formulas of special forms (abstract)