PROGRAM
Days: Monday, June 10th Tuesday, June 11th Wednesday, June 12th Thursday, June 13th
Monday, June 10th
View this program: with abstractssession overviewtalk overview
10:30-11:00Coffee Break
11:00-12:00 Session 2
Location: A -122
| 11:00 | Logical Expressibility of Syntactic NL for Complementarity and Maximization (abstract) |
| 11:30 | Rules of Partial Orthomodularity (abstract) |
14:00-15:00 Session 3
Location: A -122
| 14:00 | Probability and Nondeterminism with Multiset Semantics (abstract) |
15:00-15:30Coffee Break
15:30-16:30 Session 4
Location: A -122
| 15:30 | An EXPTIME-complete entailment problem in separation logic (abstract) |
| 16:00 | A Logic of Isolation (abstract) |
Tuesday, June 11th
View this program: with abstractssession overviewtalk overview
09:30-10:30 Session 5
Location: A -122
| 09:30 | Tutorial: An introduction to algorithmic randomness (abstract) |
10:30-11:00Coffee Break
14:00-15:00 Session 7
Location: A -122
| 14:00 | Polyadic Quantifiers on Dependent Types (abstract) |
| 14:30 | Strict-Tolerant Conditional Logics (abstract) |
15:00-15:30Coffee Break
15:30-16:30 Session 8
Location: A -122
| 15:30 | Completeness of Finitely Weighted Kleene Algebra With Tests (abstract) |
| 16:00 | Syntactic concept lattice models for infinitary action logic (abstract) |
Wednesday, June 12th
View this program: with abstractssession overviewtalk overview
10:30-11:00Coffee Break
14:00-15:00 Session 11
Location: A -122
| 14:00 | A simple loopcheck for Intuitionistic K (abstract) |
| 14:30 | A linear proof language for second-order intuitionistic linear logic (abstract) |
15:00-15:30Coffee Break
15:30-16:30 Session 12
Location: A -122
| 15:30 | Axiomatising Classical Realisability (abstract) |
| 16:00 | Validity in Contexts: A Semantics for Indicatives and Epistemic Modals (abstract) |
Thursday, June 13th
View this program: with abstractssession overviewtalk overview
10:30-11:00Coffee Break
11:00-12:00 Session 14
Location: A -122
| 11:00 | (In)consistency operators on quasi-Nelson algebras (abstract) |
| 11:30 | Correspondence theory on vector spaces (abstract) |
14:00-15:00 Session 15
Location: A -122
| 14:00 | Labelled Sequent Calculi for Inquisitive Modal Logics (abstract) |
| 14:30 | Lambek Calculus with Banged Atoms for Parasitic Gaps (abstract) |
15:00-15:30Coffee Break
15:30-16:30 Session 16
| 15:30 | Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions (abstract) |
| 16:00 | Obtaining Intersection Types via Finite-Set Declaration (abstract) |