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