On connexivity in modal and conditional contexts (online)
Seminář / přednáška On connexivity in modal and conditional contexts (online).
Model-theoretic properties up to Vopěnka's Principle and beyond
Seminář / přednáška Model-theoretic properties up to Vopěnka's Principle and beyond.
From implicit to explicit definability in algebra and logic
Seminář / přednáška From implicit to explicit definability in algebra and logic.
Representing dynamics in logic: from models to proof
Seminář / přednáška Representing dynamics in logic: from models to proof.
Amalgamation for lower-involutive idempotent semilinear residuated lattices
Seminář / přednáška Amalgamation for lower-involutive idempotent semilinear residuated lattices.
Algebraic Semantics for Real-Valued Pointed Modal Logic
Seminář / přednáška Algebraic Semantics for Real-Valued Pointed Modal Logic.
Displaying First-Order Relevant Logics
Seminář / přednáška Displaying First-Order Relevant Logics.
Sequent Calculi for Semiring Semantics (in person talk)
Seminář / přednáška Sequent Calculi for Semiring Semantics (in person talk).
Reinforcement Learning Built for Acceleration: Sparse Topology Control, Stability, and Hardware-Aware Training
Seminář / přednáška Reinforcement Learning Built for Acceleration: Sparse Topology Control, Stability, and Hardware-Aware Training.