IJCAR 2024: INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
SLIDES

Confluence of Logically Constrained Rewrite Systems Revisited

Jonas Schöpf, Fabian Mitterwallner and Aart Middeldorp

Synthesis of Recursive Programs in Saturation

Petra Hozzová, Daneshvar Amrollahi, Márton Hajdu, Laura Kovács, Andrei Voronkov and Eva Maria Wagner

A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property

Camillo Fiorentini and Mauro Ferrari

A Decision Method for First-Order Stream Logic

Harald Ruess
Total: 4 presentations.