Saarland University
Computer Science
Programming Systems
Teaching
Advanced Topics in Semantics


Main page
Literature
Programme
Discussion board

Advanced Topics in Semantics: Programme

Session 1: Friday, July 18th, 15:30-17:30

• Foundational typed assembly language
  Tomasz Tylenda
• Step-indexed semantics
  Christian Doczkal

Session 2: Friday, September 26th, 18:00-20:00 (?)

• Typed operational reasoning
  Georg Neis
• Proof-carrying code
  Tomasz Jurkiewicz