Workshop on Thirty Five years of Automath

Accepted long papers

  • Arnon Avron (Tel Aviv, Israel): Transitive Closure and Inductive Reasoning
  • Mirna Bognar and Roel de Vrijer (Amsterdam, NL): The lambda cube with contexts
  • Michael Franssen (Eindhoven, NL) Hoare Logic with Explicit Contexts
  • Jamie Gabbay (Cambridge, UK): FM-HOL, a Higher-Order theory of names
  • Mohamed Mezghiche (Boumerdes, Algeria) and Choukri Ben-Yelles (Valence, FR): Elambda: A higher order logic extension of untyped lambda calculus
  • Christophe Raffalli and Rene David (Savoie, FR): Computer Assisted Teaching in Mathematics