Logic Colloquium 2022

Schedule

An overview of the talks is available here, and you can find the list of all abstracts there.

:30 ! Live

Morning Coffee

:40
:50 ! Live

Welcome

9:00 ! Live

On differential expansions of topological fields

Françoise Point

:10
:20
:30
:40
:50
10:00 ! Live

Coffee Break

:10
:20 ! Live

Primitive recursive mathematics

Alexander Melnikov

:30
:40
:50
11:00
:10
:20 ! Live

Coffee Break

:30 ! Live

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

Juliette Kennedy

:40
:50
12:00
:10
:20
:30 ! Live

Lunch Break

:40
:50
13:00
:10
:20
:30
:40
:50
14:00 ! Live

Model Theory - Kim’s lemmas and tree properties

Alex Kruckman

! Live

Reverse Mathematics and Combinatorial Principles - Ackermann Function and Reverse Mathematics

Wei Wang

Online

:10
:20
:30 ! Live

Model Theory - Tameness in positive logic

Jan Dobrowolski

! Live

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

Denis Hirschfeldt

Online

:40
:50
15:00 ! Live

Coffee Break

! Live

Coffee Break

:10
:20 ! Live

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

Mariana Vicaria

! Live

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

Giovanni Soldà

:30
:40
:50 ! Live

Model Theory - Monadic dividing lines and hereditary classes

Sam Braunfeld

! Live

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

Katarzyna W. Kowalik

16:00
:10
:20 ! Live

Coffee Break

! Live

Coffee Break

:30 ! Live

Model Theory - Henselian discretely valued fields and existential AKE principles

Sylvy Anscombe

Online

! Live

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

Chris Conidis

:40
:50
17:00 ! Live

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

Tingxiang Zou

! Live

Reverse Mathematics and Combinatorial Principles - Recursive coloring without Δ30 witness for Hindman theorem

Yuke Liao

:10
:20
:30 ! Live

Welcome Reception

:40
:50
18:00
:10
:20
:30 ! Live

Morning Coffee

:40
:50
9:00 ! Live

Gödel Lecture - Formalism in Logic

Patricia Blanchette

:10
:20
:30
:40
:50
10:00 ! Live

Coffee Break

:10
:20 ! Live

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

Anton Freund

:30
:40
:50
11:00
:10
:20 ! Live

Coffee Break

:30 ! Live

Abstract Lindenbaum lemma for non-finitary consequence relations.

Petr Cintula

Online

! Live

Normalization for epsilon calculus.

Elio La Rosa

Cancelled

! Live

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

Michal Godziszewski

Online

! Live

Big Ramsey degrees of unconstrained ω-categorical structures.

Matej Konecny

:40
:50 ! Live

Symmetry, locality and hyperintensionality

Maria Beatrice Buonaguidi

! Live

On an ecumenical natural deduction with stoup.

Elaine Pimentel

Online

! Live

Two computational clusters in ordinary mathematics.

Sam Sanders

Online

! Live

On stable quotients.

Adrian Portillo

Online

! Live

Big Ramsey degrees and trees with sucessor operation.

Jan Hubicka

12:00
:10 ! Live

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

José M. Méndez

Online

! Live

On extracting variable Herbrand disjunctions.

Andrei Sipos

! Live

Weak and strong versions of effective transfinite recursion.

Patrick Uftring

! Live

Arithmetic via Carnap-categoricity.

Sebastian G.W. Speitel

Online

! Live

Weakly Menger Ditopological Texture Spaces

Hafiz Ullah

:20
:30 ! Live

Lunch Break

:40
:50
13:00
:10
:20
:30
:40
:50
14:00 ! Live

Philosophy of Mathematics - Geometrizing Kripke modal semantics

Brice Halimi

Online

! Live

Proof Theory and Ordinal Analysis - From interpolation to proofs

Bahareh Afshari

:10
:20
:30 ! Live

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

Laura Crosilla

! Live

Proof Theory and Ordinal Analysis - Noetherian Gödel Logics

David Fernandez-Duque

:40
:50
15:00 ! Live

Coffee Break

! Live

Coffee Break

:10
:20 ! Live

Philosophy of Mathematics - Conceptions of absolute generality

Salvatore Florio

! Live

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

Gerhard Jaeger

Online

:30
:40
:50 ! Live

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

Tim Button

! Live

Proof Theory and Ordinal Analysis - Isominimal realizations of patterns

Gunnar Wilken

16:00
:10
:20 ! Live

Coffee Break

:30 ! Live

Proof Theory and Ordinal Analysis - The Π21-spectrum conjecture

Juan P. Aguilera

:40
:50
17:00 ! Live

Proof Theory and Ordinal Analysis - On the Constructive Constructible Universe

Richard Matthews

:10
:20
:30 ! Live

Morning Coffee

:40
:50
9:00 ! Live

Blurry HOD - a sketch of a landscape

Gunter Fuchs

:10
:20
:30
:40
:50
10:00 ! Live

Coffee Break

:10
:20 ! Live

Complexity of equations solving – kith and kin

Paweł Idziak

:30
:40
:50
11:00
:10
:20 ! Live

Coffee Break

:30 ! Live

Set Theory - Some remarks on Namba-type forcings

Ben De Bondt

! Live

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

Fabio Mogavero

Online

:40
:50
12:00 ! Live

Set Theory - P-measures in random extensions

Damian Sobota

! Live

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

Alexis Saurin

:10
:20
:30 ! Live

Lunch Break

:40
:50
13:00
:10
:20
:30
:40
:50
14:00 ! Live

Set Theory - Independence for uncountable cardinals

Diana Carolina Montoya

! Live

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

Revantha Ramanayake

:10
:20
:30 ! Live

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

Jing Zhang

! Live

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

Thorsten Altenkirch

Online

:40
:50
15:00 ! Live

Coffee Break

! Live

Coffee Break

:10
:20 ! Live

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

Sandra Müller

Online

! Live

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

Susanna F. de Rezende

:30
:40
:50 ! Live

Set Theory - Club stationary reflection and consequences of square principles

Thomas Daniells Gilton

! Live

Computer Science Logic - On the Power of Symmetric Linear Programs

Joanna Ochremiak

Online

16:00
:10
:20 ! Live

Coffee Break

! Live

Coffee Break

:30 ! Live

Equivalence relations and learning of algebraic structures.

Vittorio Cipriani

! Live

Foundations of team semantics.

Fredrik Engstrom

! Live

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

Peter Koepke

! Live

On algebras of binary formulas for weakly circularly minimal theories.

Beibut Kulpeshov

Online

! Live

Propositional identity. From semantics to proof theory.

Agata Tomczyk

:40
:50 ! Live

A computability perspective on verified machine learning.

Tonicha Crook

! Live

Dimension in team semantics.

Jouko Väänänen

! Live

Unthreadability at aleph2.

Maxwell Levine

Online

! Live

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

Gabor Sagi

! Live

Meaning is Use - the Case of Propositional Identity.

Szymon Chlebowski

17:00
:10 ! Live

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

Gihanee M. D. Senadheera

Online

! Live

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

Gemma Robles

Online

! Live

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

Andreas Weiermann

! Live

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

Kentaro Yamamoto

! Live

Methods of modelling linear time in hypersequent calculus.

Patrycja Kupś

:20
:30
:40
:50
18:00
:10
:20
:30
:40
:50
19:00 ! Live

Dinner

:10
:20
:30
:40
:50
20:00
:10
:20
:30
:40
:50
21:00
:10
:20
:30
:40
:50
:30 ! Live

Morning Coffee

:40
:50
9:00 ! Live

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

Fedor Pakhomov

:10
:20
:30
:40
:50
10:00 ! Live

Coffee Break

:10
:20 ! Live

Automating Resolution is NP-hard

Moritz Müller

:30
:40
:50
11:00
:10
:20 ! Live

Coffee Break

:30 ! Live

Descriptive complexity for hard counting problems with easy decision versions

Aggeliki Chalki

! Live

Stability of generalized Johnson graphs

Bjarki Geir Benediktsson

! Live

Hyperarithmetical Worm Battles

Konstantinos Papafilippou

! Live

Can propositions be intentions, intuitionistically?

Bruno Bentzen

Online

! Live

Frame definability in finitely-valued modal logic.

Guillermo Badia

Online

:40
:50 ! Live

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

Léo Exibard

! Live

Properties of lattices of existential formulas of Jonsson beautiful pairs.

Olga Ulbrikht

Online

! Live

Proof Theory of Skew Non-Commutative MILL.

Cheng-Syuan Wan

! Live

Almost negative truth and fixpoints in intuitionistic logic.

Mattias Granberg Olsson

Online

! Live

Relational semantics for some classical relevance logics.

Katalin Bimbó

12:00
:10 ! Live

Gödel Temporal Logic

Brett McLean

! Live

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

Nazerke Mussina

Online

! Live

The reverse mathematical strength of hyperations.

Philipp Provenzano

! Live

Positive negation in constructive mathematics.

Iosif Petrakis

Online

! Live

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

Tinko Tinchev

:20
:30 ! Live

Lunch Break

:40
:50
13:00
:10
:20
:30
:40
:50
14:00 ! Live

Tutorial - Computable reductions of equivalence relations

Luca San Mauro

:10
:20
:30
:40
:50
15:00
:10
:20
:30 ! Live

Coffee Break

:40
:50 ! Live

Tutorial - Algebra and Logic in the Complexity of Constraints

Libor Barto

16:00
:10
:20
:30
:40
:50
17:00
:10
:30 ! Live

Morning Coffee

:40
:50
9:00 ! Live

Games on classifiable C*-algebras

Andrea Vaccaro

:10
:20
:30
:40
:50
10:00 ! Live

Coffee Break

:10
:20 ! Live

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

Tuna Altinel

Online

:30
:40
:50
11:00
:10
:20 ! Live

Coffee Break

:30 ! Live

Classification via effective lists

Karen Lange

Online

:40
:50
12:00
:10
:20
:30 ! Live

Lunch Break

:40
:50
13:00
:10
:20
:30
:40
:50
14:00 ! Live

Exponential sums equations and tropical geometry.

Francesco Gallinaro

! Live

Arbitrary Abstraction and Logicality.

Ludovica Conti

Online

! Live

1-Complete first-order mereological theories

Hsing-Chien Tsai

! Live

Minimally n-valued maximally paraconsistent expansions of LP.

Alexej Pynko

Cancelled

:10
:20 ! Live

Games and Scott sentences for positive distances between metric structures.

Joni Puljujarvi

! Live

Truth-theoretic determinacy revisited.

Pablo Dopico

! Live

Intermediate Goodstein principles.

Oriola Gjetaj

! Live

Paraconsistent extensions of three-valued logics.

Alexej Pynko

Cancelled

:30
:40 ! Live

On theories of dense spherical orders.

Sergey Sudoplatov

Online

! Live

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

Michal Godziszewski

Online

! Live

The structural complexity of models of arithmetic.

Dino Rossegger

Online

! Live

Extensions of paraconsistent three-valued chain logics.

Alexej Pynko

Cancelled

:50
15:00 ! Live

Coffee Break

! Live

Coffee Break

! Live

Coffee Break

! Live

Coffee Break

:10
:20 ! Live

Categorical representation of discrete dynamical systems computability

Mark Addis

Online

! Live

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

Yong Cheng

Online

! Live

Formalizing assignment of types to terms in NFU

Vedran Cacic

! Live

Proof complexity of monotone branching programs.

Avgerinos Delkos

:30
:40 ! Live

Categoricity ordinals and models of Presburger arithmetic

Jason Block

! Live

Two halves of disjunctive correctness.

Cezary Cieśliński

! Live

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

Tin Adlesic

! Live

Understanding trust assumptions for remote attestation via formal verification

Muhammad Usama Sardar

:50
16:00 ! Live

The categoricity of complete theories in second-order logic.

Tapio Saarinen

! Live

Reformulating supervaluational theory of truth.

Daichi Hayashi

Online

! Live

Compactness and Types in Logics of Dependence.

Davide Quadrellaro

! Live

Fully Certified Dynamic Epistemic Logic for Security Protocols

Bogdan Macovei

Online

:10
:20 ! Live

Coffee Break

! Live

Coffee Break

! Live

Coffee Break

! Live

Coffee Break

:30 ! Live

More on Constructive Nonsense Logic

Hitoshi Omori

Online

! Live

Forcing without AC and the Axiom of Dependent Choice

Jonathan Schilhan

Online

! Live

Countable ranks at the first and second projective levels.

Philipp Schlicht

Online

! Live

Paraconsistent and paracomplete Zermelo-Fraenkel set theory

Hrafn Oddsson

:40
:50 ! Live

Model-theoretical characterizations of truth

Mateusz Lelyk

Online

! Live

Sequent Calculus for non-Fregean Boolean theory WB.

Agata Tomczyk

! Live

Applications of the open dihypergraph dichotomy for generalized Baire spaces.

Dorottya Sziraki

Online

! Live

Characterizing Cardinals by Lomega-sentences in an Absolute Way.

Ioannis Souldatos

Online

17:00
:10 ! Live

Compositional proof-theoretic semantics for natural language.

Will Stafford

Cancelled

! Live

Computability of finite simplicial complexes and homology

Amir Djamel Eddine

Online

! Live

What are magic sets?

Agnieszka Widz

:20
Caption
Talk
Plenary Talk
Tutorial
Special Session
Break
Event
If you encounter any issues with this website, please get in touch with Léo Exibard.