Headline

• Motivation
• problem statement
  • related work
  • research objective
  • limitation of related approaches
• approache presentation
  • assumptions
  • detailed: proofs,
  • Real world application
• conclusion
  • summary contribution
  • future

Question

• adaptation is quite simple, what next transactional …
• instrumantal in programming languages, design methods to make use of the approach
• correctness,

Note:

• annoying skype disruptions