- About
- Program
- Tutorials and lectures
- Special sessions
- Contributed talks
- Schedule
- Proceedings
- Social program
- Participation
- Sponsors
Contributed talks
For now we have the following confirmed contributed talks:
- A. Abajyan, A. Chubaryan
Proof complexity of hard-determinable formulas in R - Kuanysh Abeshev, Serikzhan Badaev, and Manat Mustafa [slides]
Families without minimal numberings - Hajnal Andréka [animated slides]
Back and forth between logic and relativity theory. Part II - Arthur W. Apter, Stephen C. Jackson, Benedikt Löwe [slides]
Cofinality and measurability of the first three uncountable cardinals - Matthias Baaz, Agata Ciabattoni
On the limits of analiticity - Philippe Balbiani [slides]
Lexicographic products of modal logics with linear frames - Elías Baro [slides]
Homotopy types of definable groups in o-minimal structures - Can Başkent and Rohit Parikh [slides]
Towards multi-agent subset space logic - Laurent Bienvenu and Rod Downey [slides]
Kolmogorov complexity and Solovay functions - Jörg Brendle, Yurii Khomskii [slides]
Polarized partition properties for Δ12 and Σ12 sets - Jörg Brendle, Benedikt Löwe [slides]
Eventually Different Functions and Inaccessible Cardinals - Vedran Čačić, Marko Doko, Marko Horvat, and Domagoj Vrgoč [slides]
Changing the order of summation for series beyond ω - Olivia Caramello
Lattices of theories - Franqui Cárdenas [slides]
Simplified morasses above a supercompact cardinal - V. L. Chechulin
About the selfconsidering semantic in the mathematical logic - An. Chubaryan, Arm. Chubaryan, H. Nalbandyan [slides]
Efficiency of weak substitution rules - Jennifer Chubb, Jeffry Hirst, Timothy McNicholl [slides]
Computable partitions of trees - Cezary Cieśliński [slides]
On eliminating pathologies in satisfaction classes - Chris J. Conidis [slides]
Classifying model-theoretic properties - Graziana Conte
Chu spaces interpretation of linear logic and quantum information flow - Annalisa Conversano
Maximal definably compact subgroups of definable groups in o-minimal structures - Sean Cox
Consistency strength of nonregular ultrafilters - Luck Darnière, Markus Junker [slides]
Completions and model completions of co-Heyting algebras - Radhakrishnan DelhiBabu and Chandrabose Aravindan
Belief Dynamics, Logic Programming and Non-Monotonic Reasoning for Database updates - Angel V. Ditchev [slides]
On least enumerations of partial structures - Dimiter Dobrev
The Definition of AI in Terms of Multi Agent Systems - Ivo Düntsch, Ian Pratt–Hartmann [slides]
Complex Algebras of natural Numbers - Horacio Faas
Between geometry and arithmetic: the long journey to the calculus - Marat Kh. Faizrahmanov [slides]
Splitting and antisplitting theorems in classes of low degrees - David Fernández-Duque [slides]
Dynamic topological completeness for the plane - Vera Fischer [slides]
The consistency of b=κ<s=κ+ - Michele Friend
Some Problems with Maddy’s Naturalism - Andrey Frolov N. [slides]
Low linear orderings - Alexander N. Gavryushkin [slides]
On constructive models of theories with linear Rudin-Keisler ordering - Jakub Gismatullin
Model theoretic connected components of groups - Norma B. Goethe, Nancy Boyallian
Working tools and the special rigor of mathematical reasoning - Valentin Goranko and Ruaan Kellerman
Classes and theories of trees associated with a class of linear orderings - Johannes Hafner
No site for Sorites. Problems with Graham Priest’s solution to the Sorites paradox - Mauricio Simões Camilo Hernandes
A classical logic characterization - Stefan Hetzl [slides]
On the form of witness terms - Yoshihiro Horihata and Keita Yokoyama [slides]
Weak-Riemann mapping theorem and Picard’s little theorem in weak second order arithmetic - Tapani Hyttinen, Vadim Kulikov [slides]
Weak Ehrenfeucht-Fraïssé equivalences. - Adi Jarden, Alon Sitton [slides]
Independence of Sets Without Stability - Emil Jeřábek [slides]
Admissible rules of Łukasiewicz logic - Jui-Lin Lee [slides]
The classical model existence theorem in subclassical predicate logics II - Richard Kaye and Tin Lok Wong [slides]
Generic cuts in models of arithmetic - Adam Kay
Incompletability of formal linguistics - Valery Khakhanyan
The relations between Uniformization Principle and Church Thesis in the set theory with intuitionistic logic - Md. Aquil Khan, Mohua Banerjee
A quantified modal logic for rough sets - Nurlan Kogabaev [slides]
Undecidability of the theory of projective planes - Alexander Kreuzer [slides]
Ramsey’s Theorem for pairs and provably recursive functions - Petr Kulikov
Some constructions on groups of computable automorphisms - Kyung Il Lee [slides]
Complexity of Linear Extensions in the Ershov Hierarchy - Margarita Leontyeva [slides]
Decidable Boolean algebras of elementary characteristics - Loes Olde Loohuis [slides]
Games for multi-player Logic, and Logic for multi-player Games - Roussanka Loukanova [slides]
Computational intension, denotation and propositional intention in the languages of acyclic recursion - Peter LeFanu Lumsdaine
Building higher categories from type theory - Larisa Maksimova [slides]
Weak interpolation in extensions of Johansson’s minimal logic - João Marcos [slides]
Simulating negation in positive logic - Gian Arturo Marco
The Dynamics of Reference: Symmetry and Semantics - Maria da Paz N. Medeiros [slides]
A reviewed syntactic proof of Gödel interpretation of intuitionist logic into S4 - José M. Méndez, Gemma Robles, Francisco Salto
Paraconsistency and consistency understood as the absence of the negation of any implicative theorem - Heike Mildenberger and Saharon Shelah [slides]
Proper Translation - Russell Miller [slides]
Survey of degree spectra of highn and non-lown degrees - Anthony Morphett [slides]
Prompt enumerations and relative randomness - Raja Natarajan
Reasoning about synchronization protocols - Takako Nemoto [slides]
Determinacy of Wadge classes in the Baire space and simple iteration of inductive definition - Cyrus F. Nourani
Functorial Projective Set Models - Roland Sh. Omanadze, and Andrea Sorbi
s-reducibility and immunity properties - Sergey Ospichev [slides]
Some properties of computable numberings in various classes in difference hierarchy - Pedeferri
Some Remarks about the Status of Second Order Logic - Luiz Carlos Pereira, Edward Hermann Haeusler, Maria da Paz
Constructive Results in Fragments of Classical First order Logic - Thanases Pheidas, Karim Zahidi
Elimination Theory for Addition and the Frobenius Map in Rings of Power Series - Robert Rałowski, Szymon Żeberski [slides]
Generalized Luzin sets - Alexandra Revenko [slides]
The complexity of automatic partial orders - Gemma Robles
Paraconsistent logics included in Lewis’ S4 - Marcin Sabok [slides]
On forcing with σ-ideals of closed sets - S.H.Sajjadi, Morteza Moniri
Cuts in models of the fragments of bounded arithmetic - Denis I. Saveliev
Completeness in Infinitary Logic - Paul Shafer
The first order theory of the Medvedev lattice is third order arithmetic - Stanislav Smerdov [slides]
On the question of consistence of the semantic μ-prediction - Teodor J. Stȩpień, Łukasz T. Stȩpień [slides]
On the consistency of Peano’s Arithmetic System - Sergey Sudoplatov
The Lachlan Problem - Tinko Tinchev [slides]
Universal fragments of some region-based theories of space - Trifon Trifonov [slides]
Comparing methods for program extraction from classical proofs - Todor Tsankov [slides]
The additive group of the rationals is not automatic - Nikolas Vaporis [slides]
The extension property up to n and Tn–projectivity - Alexey. G. Vladimirov
Effectivity properties of intuitionistic set theory with scheme collection - Agatha Walczak-Typke
Groups in non-elementary model theory and in set theory without the axiom of choice - Michael A. Warren
On the homotopy theory of Martin-Löf complexes - Roman Wencel
Weakly o-minimal expansions of ordered fields of finite transcendence degree - Alan R. Woods
On the probability of absolute truth for And/Or Boolean formulas - Mars M. Yamaleev [slides]
Splitting properties in 2-c.e. degrees - Mostafa Zaare
Preservation theorems for intuitionistic first-order logic - Szymon Żeberski [slides]
Inscribing nonmeasurable sets - Maxim Zubkov [slides]
Strongly η-representable sets and limitwise monotonic functions
Participants only by title
- John Corcoran, George Boger
Paradox and Antinomy - John Corcoran, Newton da Costa, Luiz Lopes dos Santos
Aristotelian direct deductions: metatheorems - John Corcoran
Defining `Logical’ in First-order Metalogic - Livy Real
Categorial morphology - Xunwei Zhou
Mutually-inversistic logic is unified logic
