Agenda bashing, Logistics -- Chairs (5 mins)

TEEP Protocol implementation updates, Hackathon report and 
Formal verification on TEEP Protocol – Akira Tsukamoto + Okuda Tetsuya (30 min)

TEEP Protocol changes after WGLC – Dave Thaler (20 mins)
• Draft: https://datatracker.ietf.org/doc/draft-ietf-teep-protocol/
• Issues: https://github.com/ietf-teep/teep-protocol/issues