(Sun 18:00)

Ramsification and Semantic Indeterminacy

(Mon-Tue 10:30)

Higher cardinal invariants

(Mon 11:30)

Model theory and proof complexity

(Wed-Thu 10:30)

Well-ordering principles in proof theory and reverse mathematics

(Wed 11:30)

Drawing Lines through Rivers and Cities. The Meaning of Postulates from Euclid to Hilbert

(Fri 11:30)

Describing countable structures

(Tue 16:30, C)

Bernoulli disjointness

(Thu 17:20, C)

Generalised Miller forcing may collapse cardinals

(Mon 16:30, B)

Model theory of adeles. Arithmetic equivalence

(Tue 14:30, B)

Sharp actions of groups in the finite Morley rank context

(Tue 16:30, B)

A weak set theory that proves its own consistency

(Tue 17:20, B)

Löb's logic and the Lewis arrow

(Thu 14:30, B)

Arithmetical and propositional reflection principles

(Thu 15:20, B)

Some recent news about truth theories

(Mon 14:30, C)

Induction, search problems and approximate counting

(Mon 15:20, C)

Syntax for semantics

(Mon 16:30, C)

Proof complexity of quantified Boolean formulas

(Fri 14:30, B)

Proof mining with the bounded functional interpretation

(Fri 15:20, B)

An infinitary treatment of fixed point modal logic

(Mon 14:30, B)

Some questions of uniformity in algorithmic randomness

(Mon 15:20, B)

Approximately computable equivalence structures

(Thu 16:30, B)

More effective cardinal characteristics

(Tue 14:30, C)

Diagrams and parallelism

(Tue 15:20, C)

On the notion of equal figures in Euclid

(Thu 15:20, C)

First-order model theory of free projective planes

(Mon 15:40, D)

Ramsey degrees of structures with equivalence relations

(Mon 16:50, F)

Frege's attitude towards sets

(Mon 17:20, F)

Capture and Array – Replacement, Specification and Choice

(Mon 17:40, F)

New results on partitioner-representable algebras

(Mon 18:10, F)

Destruction of ideal saturation

(Tue 15:20, D)

On extension of Haar measure in $\sigma$-compact groups

(Tue 18:10, C)

Singular Cardinals of Uncountable Cofinality

(Fri 14:30, D)

Antichains of copies of ultrahomogeneous structures

(Fri 14:50, D)

Perfect sets and games on generalized Baire spaces

(Fri 15:20, D)

Cardinal invariants and ideal convergence

(Mon 14:30, D)

On Hrushovski properties of Hrushovski constructions

(Mon 15:20, D)

MB-homogeneous graphs

(Mon 18:10, B)

On strongly minimal Steiner systems: Zilber's conjecture, universal algebra, and combinatorics

(Tue 16:30, E)

On compositions of structures and compositions of theories

(Tue 16:50, E)

On ranks for families of theories of finite abelian groups

(Tue 17:20, E)

On connections between logic on words and limits of graphs

(Tue 17:40, E)

Canonical invariants for t-stratifications

(Tue 18:10, E)

Monadic second order logic as a model companion

(Thu 14:30, D)

Invertible binary algebras principally isotopic to a group

(Thu 14:50, D)

Product of invariant types modulo domination-equivalence

(Thu 15:20, D)

The Feferman-Vaught Theorem and products of finite fields

(Fri 15:20, C)

Preservation theorems for strong first-order logics

(Fri 15:40, C)

Dominions in filtral quasivarieties

(Fri 16:30, C)

Weak factorization systems and stable independence

(Fri 16:50, C)

Forking and categoricity in non-elementary model theory

(Fri 17:20, C)

On universal modules with pure embeddings

(Fri 17:40, C)

Tameness in classes of generalized metric structures: quantale-spaces, fuzzy sets, and sheaves

(Fri 18:10, C)

Elementary theories of PAC structures via Galois groups

(Mon 16:50, E)

Topological models of arithmetic

(Mon 17:20, E)

Constraints on selection function: A critique of Lewis-Stalnakers semantics for counterfactuals

(Mon 17:40, E)

Belief revision based on abductive reasoning

(Mon 18:10, E)

Dependence logic & medical guidelines disagreement: an informational (in)dependence analysis

(Tue 18:10, B)

The uniform reflection principle in second order arithmetic

(Thu 16:30, D)

Hyperarithmetical Turing progressions

(Thu 17:20, D)

On strong recognizability of the intuitionistic logic

(Thu 17:40, D)

Satisfiability problems on sums of Kripke frames

(Fri 16:30, D)

Algebras for preservativity

(Fri 16:50, D)

Fixpoints in generalized Lambek calculus

(Mon 17:20, C)

Some results in proof theory

(Mon 17:40, C)

A unifying approach to Goodstein principles

(Mon 18:10, C)

Umpteen parallel hierarchies and the Gödel hierarchy

(Tue 14:50, D)

On Scott's semantics for many-valued logic

(Tue 15:40, D)

Translation of Sequent Calculus into Natural Deduction for Sentential Calculus with Identity

(Tue 16:50, D)

New ecumenical systems

(Tue 17:40, D)

On classical and fuzzy two-layered modal logics for uncertainty: translations and proof-theory

(Tue 18:10, D)

Non-monotonic abstract multiset consequence relations

(Thu 14:30, E)

On the proof complexity in two universal proof system for all versions of many-valued logics

(Thu 14:30, F)

The limit of incompleteness for Weak Arithmetics

(Thu 14:50, E)

Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics

(Thu 14:50, F)

On the logical implications of proof forms

(Thu 15:20, E)

On Takeuti-Yasumoto forcing

(Thu 15:40, F)

Cut elimination and Restall's defining rules

(Thu 15:40, E)

Feasible incompleteness

(Thu 16:30, F)

Partial conservativity of $\widehat{\mathrm{ID}}^i_1$ over Heyting arithmetic via realizability.

(Thu 16:50, F)

Intuitionistic provability logic

(Thu 17:20, F)

Intuitionistc control logic: an overview

(Thu 17:40, F)

Multi-valued interpretations

(Fri 17:40, B)

An embedding of $\mathbf{IPC}$ into $\mathbf{F}_{\mathbf{at}}$ not relying on instantiation overflow

(Fri 18:10, B)

The subterm property for some equality sequent calculi

(Mon 16:30, D)

Effective coding and decoding structures

(Mon 16:50, D)

Cohesive powers of $\omega$

(Mon 17:20, D)

Computable embeddings for pairs of linear orderings

(Mon 18:10, D)

Feedback hyperjump

(Tue 14:30, F)

On $\Sigma^0_n-$classifications

(Tue 15:20, F)

Quotient presentations of structures

(Tue 15:40, F)

On bi-embeddable categoricity of linear orders

(Tue 17:40, F)

Quantum Random Self-Modifiable Computation

(Tue 18:10, F)

Scott complexity and finitely $\alpha$-generated structures

(Fri 14:30, F)

Interval semantics for natural languages and effective interpretability over the reals

(Fri 15:20, F)

Prefix decidable infinitewords for natural subsets of the set of context-free languages

(Mon 14:30, E)

Euclidean Geometry

(Mon 14:50, E)

The Hajja-Martini inequality in a weak absolute geometry

(Mon 15:20, E)

First-order theory of lines in Euclidean plane

(Mon 15:40, E)

Computability of contact logics with measure

(Fri 16:30, E)

Apollonian proof

(Fri 16:50, E)

Axioms for Euclid's Elements book V, their consequences and some independence results

(Fri 17:20, E)

Limits of diagrammatic reasoning

(Fri 17:40, E)

Mereological model of arithmetic of natural and real numbers

(Mon 14:50, F)

On Gaisi Takeuti's philosophy of mathematics

(Mon 15:20, F)

Archetypal Rules: Beyond Classical Logic

(Mon 15:40, F)

Ramified-types for states of affairs

(Tue 14:30, E)

Reading Feyerabend: from epistemic anarchism to anarchism in foundations of formal systems

(Tue 15:20, E)

Resolving Two Paradoxes About Knowledge States in the Foundations of Intuitionistic Analysis

(Tue 16:30, D)

Negation can be just what it has to

(Thu 16:30, E)

Belief as a quantum bit

(Thu 16:50, E)

Logical systems as pedagogical and perhaps existential games

(Thu 17:20, E)

Content-sharing in relevant mathematics

(Fri 14:30, E)

The Limit of the Strict-Tolerant Hierarchy is Essentially Classical and Even If It’s Just LP, That’s Probably Okay.

(Fri 15:40, E)

Complexity of some fragments of description logics

(Fri 16:50, F)

One or more Logicisms