Schedule of Thursday, June 8 – Logic Colloquium 2023

	Porticato	208	302	304	309	311	400
08:30-10:00	Registration
10:00-10:30	Coffee Break
10:30-12:00		Tutorial – Floris van Doorn: On interactive theorem proving in Lean (Part 2)
12:00-13:30	Lunch
13:30-13:54			Artem Burnistov, Alexey Stukachev and Marina Stukacheva – Computable functionals in Montague semantics	Guillermo Badia, Ronald Fagin and Carles Noguera – Completeness theorems for first-order real-valued logics with multidimensional sentences	Marcos M. Recio, José Miguel Blanco and Sandra M. López – Exploring the building blocks of 2 set-up Routley-Meyer semantics	Dorota Leszczyńska-Jasion – A sequent system for a Boolean non-Fregean logic WB	Russell Miller – Skolem functions and definable subsets of the absolute Galois group of Q
13:54-14:18			Francesca Doneda, Giuseppe Primiero and Francesco Antonio Genco – A many-valued proof-theoretical system for assessing the trustworthiness of information sources	Wei Zhu – A formal investigation on belief, non-belief and suspension	Fabien Schang and Davide Falessi – Thinking about Being, Existence, and Nothingness: Why ‘Every thing’ is not ‘Everything’ (among other ‘thing’s)	Luiz Carlos Pereira, Elaine Pimentel and Valeria de Paiva – Translation and Prawitz ecumenical system	Guram Bezhanishvili, Luca Carai and Patrick J. Morandi – Deriving Priestley and Esakia dualities and their generalizations from Pontryagin duality for semilattices
14:18-14:42			Cyrus Nourani and Patrik Eklund – Ultrafilters on n-types categories and the \\V Universe	Matteo Cristani, Sreehari Kaloormana and Luca Pasetto – Reasoning about ensemble learning algorithms with Justification Logic	Andrea Iacona, Crupi Vincenzo and Tiziano Dalmonte – Non-monotonicity and Contraposition	Andreas Weiermann – The phase transition for Harvey Friedman's Bolzano Weierstrass principle	Jacopo Emmenegger, Fabio Pasquali and Giuseppe Rosolini – Quotients and equality, (co)algebraically, and the elimination of imaginary elements
14:42:15:06			Léon Probst – Admissible and Deviant Gödel Numberings	Areski Nait Abdallah – Quantum as logic: on the logic resolution of the three-polarizer paradox in quantum mechanics	Andrea Iacona and Paolo Maffezioli – Intuitionistic evidential conditional	Pedro Pinto – Proof mining and the convex feasibility problem	Ilya Shapirovsky – Locally finite polymodal logics and Segerberg — Maksimova criterion
15:06-15:30				Francesco A. Genco – Probabilistic computation and trust through the lens of typed λ-calculus	Philippe Balbiani and Tinko Tinchev – Modal definability in Euclidean modal logics	Davide Manca – On a weak notion of well order	Marco Abbadini and Ivan Di Liberti – Jónsson-Tarski duality beyond dimension 0
15:30-16:00	Coffee Break
16:00-17:00		Invited talk – Gabriel Goldberg: Large cardinals and the Ultrapower Axiom
17:00-17:24			Sam Sanders – The Biggest Five of Reverse Mathematics	Faustine Oliva – How can hypermaps guide us through the computer-assisted proof of the Four Colour Theorem?	Pietro Brocci – Disquotation, Minimality and proof-theoretic power	Raheleh Jalali and Amir Akbar Tabatabai – Feasible admissible rules in intuitionistic modal logics	Francesco Dagnino – Quotients in Relational Doctrines
17:24-17:48			Philipp Provenzano – Extracting omega-models from well-ordering principles	Stefan Hetzl and Jannik Vierling – Proof-theoretic analysis of automated inductive theorem proving	Giorgio Venturi and Pedro Yago – How to be (semantically) insensitive	Giti Omidvar and Lutz Straßburger – Combinatorial flows and their compositions	Brett McLean – Complete representation by partial functions for signatures containing antidomain restriction
17:48-18:12			Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem and Paolo Pistone – Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories	Thomas Ehrhard, Farzad Jafarrahmani and Alexis Saurin – On denotations of circular and non-wellfounded proofs	Guillermo Badia and David Makinson – First-order friendliness	Alakh Dhruv Chopra and Fedor Pakhomov – Finite Labeled Trees Ordered By Non-Inf-Preserving Embeddings	Giuseppe Rosolini, Cipriano Junior Cioffo, Jacopo Emmenegger and Fabio Pasquali – Grothendieck topologies and weak limits for constructive mathematics
18:12-18:36			Ondřej Ježil – Limits of structures and Total NP Search Problems	Szymon Chlebowski – Intuitionistic Logic with Propositional Identity and Propositional Quantifiers.		Iris van der Giessen, Roman Kuznets and Raheleh Jalali – Proving uniform interpolation via multicomponent sequent calculi	Matteo de Ceglie – The V-logic Multiverse and Benacerraf problem