Posters

We will host a poster session during the coffee breaks. The zoom link for that session will be given to the participants beforehand.

The accepted posters are displayed below. During the poster session we can interact with the authors, which will be organised into Zoom break-rooms.

"On three types of universal propositional proof systems for all versions of many-valued logics and some properties of them"

ANAHIT CHUBARYAN, HAKOB NALBANDYAN

"On monotonous and strong monotonous properties of some propositional proof systems for two valued and finite-many-valued logics"

ANAHIT CHUBARYAN, SERGEY SAYADYAN

"Free Higher-Order Logic and its Automation via Embeddings"

IRINA MAKARENKO

"Existence of PACi Incomparable Degrees"

GIHANEE M. SENADHEERA

AUDIO AVAILABLE HERE

"H-Coloring Dichotomy in Proof Complexity"

AZZA GAYSIN

"Using Logic to Decide on the Eligibility of Assets and Facilitate the Collateral Process"

MARJOLEIN DERYCK, NUNO COMENDA, BART COPPENS and JOOST VENNEKENS