Conference: VardiFest22 (On the not so unusual effectiveness of Logic)

Conference: VardiFest22 (On the not so unusual effectiveness of Logic)

This page shows all presentations from this conference published in EasyChair Smart Slide.

On the Unusual Effectiveness of Automata in Logic

On the Unusual Effectiveness of Automata in Logic

Between Determinism and Nondeterminism

Between Determinism and Nondeterminism

Thomas Henzinger

The Joy of Automata

The Joy of Automata

On the Effectiveness of Logic in Algorithmic Graph Theory

On the Effectiveness of Logic in Algorithmic Graph Theory

Martin Charles Golumbic

Descriptive Complexity and Inexpressibly Proofs

Descriptive Complexity and Inexpressibly Proofs

Natural Autoencoding

Natural Autoencoding

Irun Cohen and Assaf Marron

Algorithms, Complexity, Verification: from Cook and Karp to Vardi; or, a Brief Glimpse of the Skolem Landscape

Algorithms, Complexity, Verification: from Cook and Karp to Vardi; or, a Brief Glimpse of the Skolem Landscape

From Kochen-Specker to Feder-Vardi and Weisfeiler-Leman

From Kochen-Specker to Feder-Vardi and Weisfeiler-Leman

Samson Abramsky

The Safety Fragment of LTL

The Safety Fragment of LTL

Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari and Stefano Tonetta

SAT-Based Reasoning Techniques for LTL over Finite and Infinite Traces

SAT-Based Reasoning Techniques for LTL over Finite and Infinite Traces

Strategy Logic: Origin, Results, and Open Questions

Strategy Logic: Origin, Results, and Open Questions

Checking Legal Contracts - on a Not so Usual Application of Mechanized Logic

Checking Legal Contracts - on a Not so Usual Application of Mechanized Logic

Alan Khoja, Martin Kölbl, Stefan Leue and Rüdiger Wilhelmi

Bisimulation Games Played in Fibered Categories

Bisimulation Games Played in Fibered Categories

Little Tricky Logic: Misconceptions in the Understanding of LTL

Little Tricky Logic: Misconceptions in the Understanding of LTL

Ben Greenman, Sam Saarinen, Tim Nelson and Shriram Krishnamurthi

Presentations in this collection: 14