Eleventh Scandinavian Logic Symposium (SLSS 2022)
Download the abstracts’ booklet
Download the program (or scroll down to read)
| 8:30–9:20 | Registration (Address: SV-bygget (Lauritz Meltzers hus. Fosswinckels gate 6, Bergen.) |
|
| 9:20–9:30 | Welcome to participants | |
| 9:30–10:30 | A family of modal fixpoint logics Yde Venema (Room: to be announced) |
|
| 10:30–11:00 | Coffee break | |
| 11:00–11:30 | A terminating intuitionistic calculus Giulio Fellin and Sara Negri (Room: to be announced) |
On Various Week First-Order Theories Lars Kristiansen (Room: seminarrom 645) |
| 11:30–12:00 | Generalizing Rules via Algebraic Constraints (Extended Abstract) Alexander Gheorghiu and David Pym (Room: to be announced) |
Weak Essentially Incomplete Theories of Concatenation Juvenal Murwanashyaka (Room: Seminarrom 645) |
| 12:00–13:30 | Lunch break | |
| 13:30–14:00 | On extracting variable Herbrand disjunctions Andrei Sipos (Room: to be announced) |
|
| 14:00–14:30 | Coffee break | |
| 14:30–15:00 | Finite Belief Base Change via Models Ricardo Guimarães, Ana Ozaki and Jandson S. Ribeiro (Room: to be announced) |
Introducing Proof Tree Automata and Proof Tree Graphs Valentin D. Richard (Room: Seminarrom 645) |
| 15:00–15:30 | Generalizing Epistemic Updates Igor Sedlar (Room: to be announced) |
|
| 9:30–10:30 | Explanatory proofs: philosophical framework, core ideas and results Francesca Poggiolessi (Room: seminarrom 548) |
|
| 10:30–11:00 | Coffee break | |
| 11:00–11:30 | Almost negative truth and fixpoints in intuitionistic logic Mattias Granberg Olsson and Graham Leigh (Room: seminarrom 548) |
|
| 11:30–12:00 | Proof theoretic relations between different versions of Higman’s and Kruskal’s theorem Gabriele Buriola and Peter Schuster (Room: seminarrom 548) |
|
| 12:00–13:30 | Lunch break | |
| 13:30–14:00 | Proof-theoretic Semantics in Sheaves David Pym, Eike Ritter and Edmund Robinson (Room: seminarrom 548) |
|
| 14:00–14:30 | Coffee break | |
| 14:30–15:00 | Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees Valentin Goranko and Ruaan Kellerman (Room: seminarrom 548) |
|
| 15:00–15:30 | Monotonicity under Knowledge Jialiang Yan and Maria Aloni (Room: seminarrom 548) |
|
| 15:45–16:45 | Meeting of the SLS (Room: seminarrom 548) |
|
| 19:00– | Dinner | |
| 10:00–10:30 | Extracting Rules from Neural Networks with Partial Interpretations Cosimo Persia and Ana Ozaki (Room: seminarrom 548) |
|
| 10:30–11:00 | Geometric Models and Cone Semantics: An Overview Victor Lacerda, Ricardo Guimarães and Ana Ozaki (Room: seminarrom 548) |
Purity for Formal Proofs Robin Martinot (Room: seminarrom 645) |
| 11:00–11:30 | Coffee break | |
| 11:30–12:30 | Constructive mathematics from atoms to universes: In memoriam Erik Palmgren Peter LeFanu Lumsdaine (Room: seminarrom 548) |
|
| 12:30–14:00 | Lunch break | |
| 14:00–14:30 | Logic of sentential predicates Michal Walicki (Room: seminarrom 548) |
Demystifying Attestation in Intel Trust Domain Extensions (TDX) via Formal Verification Muhammad Usama Sardar and Christof Fetzer (Room: seminarrom 645) |
| 14:30–15:00 | Coffee break | |
| 15:00–15:30 | Librationism Beyond Classical Set Theory Frode Alfson Bjørdal (Room: seminarrom 548) |
Modal team logics for modelling free choice inference Aleksi Anttila, Maria Aloni and Fan Yang (Room: seminarrom 645) |
| 15:30–16:00 | ‘New Foundations’ for Metaphysics Violeta Conde and Alejandro Gracia-Di Rienzo (Room: seminarrom 548) |
An Ouroboros of Team Temporal Logics Max Sandström (Room: seminarrom 645) |