Schedule of Friday, June 9 – Logic Colloquium 2023

	Porticato	208	302	304	309	311	400
08:30-9:00	Registration
9:00-10:00		Invied Talk – Igor C. Oliveira: Meta-Mathematics of Computational Complexity Theory
10:00-10:30	Coffee Break
10:30-10:54			Aristomenis-Dionysios Papadopoulos, Ioannis Eleftheriadis, Anuj Dawar and Samuel Braunfeld – Monadic NIP in Monotone Classes of Relational Structures	Rafael da Silva da Silveira – Precursors of the mathematization of thought applied to logic	Leonard Kupś and Alexander Bolotov – Hypersequent calculus for PLTL	Greta Coraglia, Shreya Arya, Ana Luiza Da Conceicao Tenorio, Paige North, Sean O'Connor and Hans Riess – Categorical methods for fuzzy type theory	Hao Cheng Fu – AGM theory and the Ramsey test
10:54-11:18			Erfan Khaniki – Nisan-Wigderson generators in Proof Complexity: New lower bounds	Valentin Goranko – On modal logics with weakly transitive accessibility relations	René Gazzari – Defining Natural Deduction derivations using a formal theory of occurrences	James Carr, Nick Bezhanishvili and Tommaso Moraschini – Hereditary structural completeness over K4	David Ellerman – Partition logic and its applications
11:18-11:42			Amirhossein Akbar Tabatabai – Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic	Robin Martinot and Francesca Poggiolesi – Purity and Explanatoriness of Proof	Camillo Fiore and Joaquín Toranzo Calderón – A Family of Contrastructural Classical Logics	Juan Manuel Santiago Suárez and Matteo Viale – Boolean valued semantics for infinitary logics	Antonio Di Nola, Giacomo Lenzi and Gaetano Vitale – Recent Results in the Spectrum Problem
11:42:12:06			Cheng-Syuan Wan and Niccolò Veltri – Towards Skew Non-Commutative MILL with Additives	Perceval Pillon – Deontic logic as a formalisation puzzle	Piotr Gruza – The structure of the definability relation between definitions of truth	Ioannis Eleftheriadis – Algebraically universal categories of relational structures	Andrea Sereni, Maria Paola Sforza Fogliani and Luca Zanetti – Pluralism about Criteria
12:06-13:30	Lunch
13:30-14:10			Special Session: Applied Proof Theory – Horatiu Cheval, Proof mining, applications to optimization, and interactive theorem proving	Special Session: Set Theory – Takehiko Gappo, Chang-type models of determinacy
14:10-14:50			Special Session: Applied Proof Theory – Morenikeji Neri, A metastable Kronecker’s lemma with applications to the large deviations in the strong law of large numbers"	Special Session: Set Theory – Andreas Lietz, Forcing “NS_ω1 is ω1-dense” from large cardinals
14:50-15:30			Special Session: Applied Proof Theory – Nicholas Pischke, Intensional Methods in Applied Proof Theory	Special Session: Set Theory – Zhixing You, How far is almost strong compactness from strong compactness
15:30-16:00	Coffee Break
16:00-16:24		Tin Adlešić and Vedran Čačić – Model constructions of NFU	Fabio Massaioli – Non-trivial invariants of rule permutation and cut-elimination in classical sequent calculus	Pablo Dopico – A rose by any other name: more supervaluation-style truth without supervaluations	Eitetsu Ken – On $\Sigma^{B}_{0}$-generalizations of counting principles over $V^{0}$	Kentaro Yamamoto, Tommaso Moraschini and Jamie Wannenburg – Elementary equivalence in positive logic via prime products	Bruno Bentzen – Bishop's mathematical intuitionism
16:24-16:48		Davide Sutto – Potentialist Set Theory: New Paths and Open Questions	Tin Adlešić, Vedran Čačić and Marko Doko – CoqNFU: formalizing New Foundations (with urelements) in Coq	Vitaliy Dolgorukov and Elena Popova – Temporal Epistemic Logic for Agents with Delay in Awareness	Bartosz Więckowski – Towards a modal proof theory for reasoning from counterfactual assumptions	Fredrik Engström and Orvar Lorimer Olsson – The propositional logic of teams	Ludovica Conti – Arbitrary Semantics for Abstraction
16:48-17:12		Bokai Yao – Forcing with Urelements	Mateusz Łełyk – On sets definable via pathologies in satisfaction classes	Federico Faroldi, Atefeh Rohani and Thomas Studer – Conditional Obligations in Justification Logic	Guido Gherardi and Eugenio Orlandelli – Logics of super-strict implications	Guillaume Massas – Duality for Fundamental Logic	Ioannis Souldatos – The Hanf Number for the Joint Embedding Property
17:12-17:36		Vedran Čačić – Tarski's theorem in NFU	Iosif Petrakis and Daniel Wessel – Swap algebras and swap rings	Stephen Mackereth and Jeremy Avigad – Two-sorted Frege Arithmetic is not Conservative	Mojtaba Mojtahedi – On provability logic of Heyting Arithmetic	Istvan Juhasz – Resolvability of product spaces and measurable cardinals	Joachim Mueller-Theys – A Mathematical Model of the Atom
17:36-18:00		Claudio Ternullo – Intrinsic justification for large cardinals and structural reflection		Annika Kanckos – On first-order variants of the ontological argument	Maria Beatrice Buonaguidi – Strong conditionals for paraconsistent arithmetics: comparisons in proof-theoretic strength	Ainur Basheyeva and Svetlana Lutsak – On quasivarieties generated by some finite modular lattices	Laurent Dubois – LDL Theory And Trans-Referential Modelization Of Russell Paradox