2022/01/26 by Ball, Thomas, Giesl, Jürgen, Hähnle, Reiner +1
#Artificial Intelligence #Deduction #Formal Logic
paper · doi:10.4230/dagsemproc.09411.2
This seminar was the ninth in the series of the Dagstuhl "Deduction" seminars held biennially since 1993. Its goal was to bring together the closely related but unnecessarily disjoint communities of researchers working in interactive and automatic program verification.