Workshop on Thirty Five years of Automath
Accepted short papers
Koichi Takahashi (AIST, Japan) and Masami Hagiya (Tokyo, Japan):
Formal proof of Abstract Model Checking of concurrent Grabage collection
Konstantin Verchinine (Paris, FR), Anatoli Degtyarev (Liverpool, UK), Alexander Lyaletski (Kiev, Ukraine) and Andrey Paskevich (Kiev, Ukraine):
SAD, a System for Automated Deduction
Tanja Vos (Valencia, Spain) and Doaitse Swierstra (Utrecht,NL):
Inductive data types with negative occurences in HOL