A Tour of Substructural Interpolation
Seminář / přednáška A Tour of Substructural Interpolation.
The Voynich Manuscript: the secret book of an unknown language.
Seminář / přednáška The Voynich Manuscript: the secret book of an unknown language..
Decidable Fragments of First Order Modal Logic
Seminář / přednáška Decidable Fragments of First Order Modal Logic.
Principlism as the ethics of artificial intelligence.
Seminář / přednáška Principlism as the ethics of artificial intelligence..
What Proof Theory Can Do for You
Seminář / přednáška What Proof Theory Can Do for You.
Getting Structure in Dialogue with Large Language Models.
Seminář / přednáška Getting Structure in Dialogue with Large Language Models..
Equational theories of idempotent semifields
Seminář / přednáška Equational theories of idempotent semifields.
special session
Seminář / přednáška special session.
GPU-acceleration of program synthesis.
Seminář / přednáška GPU-acceleration of program synthesis..