Presentation material

• Gerhard Schellhorn (Universität Augsburg, Germany)
  • Extending ITL with Interleaved Programs for Interactive Verification (PDF)
• Kristen Brent Venable (Università di Padova, Italy)
  • Temporal Preferences (PPTX)
• Jef Wijsen (Université de Mons, Belgium):
  • Towards a Foundation of Data Currency (PDF)

Pictures