Schedule of Tuesday, June 6 – Logic Colloquium 2023

	Porticato	208	302	304	309	311	400
8:30-9:00	Registration
9:00-10:00		Invited Talk – Gal Binyamini: Unlikely intersections. A mathematical theory of strange coincidences
10:00-10:30	Coffee Break
10:30-12:00		Tutorial – Itay Kaplan (Part 2)
12:00-13:30	Lunch
13:30-13:54			Alberto Marcone – Jumping in the Weihrauch degrees	Bernhard Stoinski – Extension of category theory using a PL0 calculus functor to form propositional morphisms in multi-agent systems	Iulian Toader – Distribution can be dropped	Hakob Tamazyan – Comparison of Proof Complexities for Linear Proofs in Quantified Sequent Calculus and Substitution Sequent Calculus	Beibut Kulpeshov and Sergey Sudoplatov – Almost quite orthogonality of 1-types in weakly o-minimal theories
13:54-14:18			Assylbek Issakhov and Uldana Ostemirova – Notes on hyperimmunity and computably enumerable equivalence relations	José Miguel Blanco and Félix Cuadrado – Formal modelling of distributed temporal graphs algorithms: the case of Raphtory	Laura Crosilla and Øystein Linnebo – Definiteness in early set theory	Andrei Sipos – The computational content of super strongly nonexpansive mappings	Beibut Kulpeshov – On algebras of binary formulas for weakly circularly minimal theories with a trivial definable closure
14:18-14:42			Wesley Calvert, Douglas Cenzer and Valentina Harizanov – Generically computable structures	Steve Awodey – Homotopy type theory: Ten years after	Hsing-Chien Tsai and Ze-Yuan Duan – On the Complexity of First-order Axiomatizable Mereological Theories	Giovanni Soldà and Fedor Pakhomov – On the reverse mathematics of some results of bqo theory	Samuel Braunfeld, Jaroslav Nešetřil, Patrice Ossona de Mendez and Sebastian Siebertz – Low covers of graph classes preserve stability and NIP
14:42:15:06			Domenico Cantone, Pietro Campochiaro, Luca Cuzziol and Eugenio Omodeo – Recursively enumerable sets and Diophantine finite-fold-ness	Owen Milner – Formalizing the Whitehead tower in cubical agda	Giorgio Sbardolini and Sebastian Speitel – Logic and Evolution	Agata Tomczyk – Sequent Calculus for non-Fregean topological Boolean theory WT	Alexandre Ivanov, Monika Drzewiecka and Bartosz Mokry – Generics in invariant subsets of automorphisms of homogeneous structures
15:06-15:30			Luca San Mauro – Effective analogues of the countable Borel equivalence relations	Selmer Bringsjord, Naveen Sundar Govindarajulu and Alexander Bringsjord – Three-dimensional hypergraphical natural deduction	Stefano Bonzio, Vincenzo Fano, Pierluigi Graziani and Michele Pra Baldi – Ignorance via Bochvar external logic	Eugenio Orlandelli and Matteo Tesi – A proof-theoretic approach to monadic logic	Aibat Yeshkeyev, Olga Ulbrikht and Aigul Issayeva – Algebraically primeness and cosemanticness
15:30-16:00	Coffee Break
16:00-17:00		Invited Talk – Francesca Poggiolesi: Explanatory derivations in first-order logic
17:00-17:24			Ariel Grunfeld – Monadic realizability for intuitionistic higher-order logic	Leonardo Pacheco – The mu-calculus' collapse on variations of S5	Luca Bellotti – Notes on the (un)provability of consistency	Laurentiu Leustean and Pedro Pinto – Proof mining and asymptotic regularity	Aibat Yeshkeyev, Indira Tungushbayeva and Galiya Zhumabekova – The central type of a semantic pair
17:24-17:48			Ziba Assadi and Saeed Salehi – Decidability of the Multiplicative and Order Theory of Numbers	Konstantinos Papafilippou and David Fernandez-Duque – On the expressive completeness of a tangle operator over the topological μ-calculus	Talia Leven – Robinson's diagramas a tool for dealing with Skolem's criticism of formal language	Patrick Uftring – On inverse Goodstein sequences	Davide Emilio Quadrellaro and Joni Puljujärvi – Some Model-Theoretic Results in Team Semantics
17:48-18:12			David Gonzalez – The omega-Vaught's conjecture	Mykyta Narusevych – Models of Bounded Arithmetic and variants of Pigeonhole Principle	Deborah Kant – Predicting axioms	Matilda C. E. Häggblom, Aleksi I. Anttila and Fan Yang – Axiomatizing modal inclusion logic	Joni Puljujärvi and Åsa Hirvonen – Finite Ehrenfeucht–Fraïssé games of continuous logic
18:12-18:36			Fedor Pakhomov – How to escape Tennenbaum's theorem	Ekaterina Kubyshkina and Giuseppe Primiero – Trustworthy AI: probabilities meet possible worlds	Costanza Larese and Marcello D'Agostino – Hintikka on the informativeness of logical deduction. A depth-bounded approach to classical first-order logic	Gabriele Buriola, Peter Schuster and Andreas Weiermann – Proof-theoretic relations between Higman’s and Kruskal’s theorem.	Francesco Gallinaro and Jonathan Kirby – Quasiminimality of complex powers
18:36-19:00			Neer Bhardwaj and Gal Binyamini – Approximate Pila-Wilkie type counting for complex analytic sets.	Gaia Belardinelli and Thomas Bolander – Attention! Dynamic Epistemic Logic Models of (In)attentive Agents	Giulia Battilotti, Miloš Borozan and Rosapia Lauro Grotto – A hypothesis on the components of judgements following Freudian theory		Stefano Bonzio and Michele Pra Baldi – On the structure of Bochvar algebras