Monday, September 12
9:00-9:10 Opening: Vít Pučochář
9:10-10:10 invited talk: Yde Venema. A family of modal fixpoint logics
10:10-10:40 Libor Běhounek. A Vopenka-style indistinguishability principle for formal fuzzy mathematics
Coffee break
11:00-11:30 Kentaro Yamamoto, Johann J. Wannenburg and Tommaso Moraschini. Generalized ultraproducts for positive logic
11:30-12:00 Vincent Degauquier. On duality between partiality and paraconsistency
12:00-12:30 Hrafn Oddsson and Yurii Khomskii. Paraconsistent and paracomplete Zermelo-Fraenkel set theory
Lunch
14:00-14:30 Pawel Pawlowski and Elio La Rosa. Approaching modalities by quasi-extensional semantics
14:30-15:00 Shimpei Endo. Truthmaker semantics for degreeism of vagueness
15:00-15:30 Raheleh Jalali. Interpolation for non-normal modal and conditional logics
Coffee break
16:00-16:30 Andreas Herzig, Emiliano Lorini and Elise Perrotin. A lightweight logic of agency
16:30-17:00 Leon Commandeur. Logical instrumentalism for anti-exceptionalists
17:30-18:00 Jaroslav Peregrin and Vladimír Svoboda. Logical pluralism and genuine logic
19:00 beer party
Tuesday, September 13
9:00-9:10 A session on logic and information: Vít Punčochář
9:10-10:00 invited talk: Marta Bílková. Belnapian logics for uncertainty
10:00-10:50 invited talk: Heinrich Wansing. Remarks on semantic information and logic
Coffee break
11:10-11:40 Ivo Pezlar. On the computational content of a generalized Harrop rule
11:40-12:20 Thomas Ferguson. State-sensitive intensional subject matter and topic sufficiency
12:20-12:50 Andrew Tedder. The algebraic structure of Mares-Goldblatt models
Lunch
14:00-15:00 tour of basilica
15:30-16:20 invited talk: Alessandra Palmigiano. Non-distributive logics: from semantics to meaning
16:20-16:50 Elia Zardini. Paradox and substructurality
Coffee break
17:10-17:40 Nicholas Ferenz. First-order relevant reasoners in classical worlds: A first approach
17:40-18:10 J.-Martín Castro-Manzano. Terms, relevance, and trees
18:10-18:40 De Martin Polo. Notes on the proof theory for relevant Logics. From Routley-Meyer semantics to labelled sequent systems
Dinner
Wednesday, September 14
9:10-10:10 invited talk: Alena Vencovská. Symmetry principles in inductive logic
10:10-10:40 Daniel Skurt. The smallest modal system and its extensions
Coffee break
11:00-11:30 Wolfgang Lenzen. Abelard and the development of connexive logic
11:30-12:00 Ludovica Conti. Arbitrary abstraction and logicality
12:00-12:30 Karel Šebela. Theory of predicables and sortal logic
Lunch
14:00 trip
19:30 banquet
Thursday, September 15
9:10-10:10 invited talk: Steve Awodey. Intensionality, invariance, and univalence
10:10-10:40 Robin Martinot. Semantic pollution of proof systems
Coffee break
11:00-11:30 Ansten Klev. Modality and the structure of assertion
11:30-12:00 Antonio Piccolomini d'Aragona. Non-logical meaning and meaning of rules: a symmetry between local and logical validity in Prawitz's semantics
12:00-12:30 Sara Ayhan. 'Bad' reductions, paradoxes and the meaning of proofs
11:30-13:00 Johann J. Wannenburg and Igor Sedlár. Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests
Lunch
14:30 departure for Prague
