Project Seminar "Formal Methods" (WS 2009/10)

Section outline

• Select section General

  General

  Collapse all Expand all

  Project Seminar "Formal Methods I" (326.038, WS 2009/10)
  
  Regular Seminar
  

  • Wednesday, 12:30-14:00, Hagenberg Seminar Room (begin: October 14)
    

  Sub-Seminar "Type Systems"
  

  • Monday, 8:30-10:00, MZ005A (from October 19 on)

  In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...). This continues the seminar of the previous semester.
  

  ---

  To take part in the seminar, you have to enrol in the KUSSS system. If you also login in Moodle and register as a course participant, you will receive per email all messages posted in the News forum.

  ---

  • Select activity News forum

    

    News forum
• Select section 12 October - 18 October

  12 October - 18 October

  
  Sub-Seminar "Type Systems"
  A couple of MSc students expressed the wish to learn more on type systems (with focus on object-oriented languages). For these, a sub-seminar will take place where
  

  • Wolfgang Schreiner (WS) will present some introductory material, and
  • each student will receive some material in order to
  • work out a slide-based presentation,
  • give this presentation,
  • and elaborate a small exercise.

  with WS presenting material from
  

  • David Schmidt: The Structure of Typed Programming Languages
  • Cardelli, Wegner: On Understanding Types, Data Structures, and Polymorphism
  • Luca Cardelli: Type Systems
  • Luca Cardelli: A Theory of Objects
    

  The student presentations/exercises will be based on the book of Schmidt.
  
  Topics:
  

  • Abstraction Principle: Taimoor (November 16)
    
  • Parametrization: TK (November 30)
    
  • Qualification: RM (December 14)
    
  • Records/Lambda Abstraction: AC (January 11)
    
  • Propositional Logic Types: FS (January 25)
    
• Select section 19 October - 25 October

  19 October - 25 October

  October 19: Sub-Seminar Type Systems
  

  • Presentation Schreiner
  • Type Systems
  • Slides on "The Programming Language Core"
• Select section 9 November - 15 November

  9 November - 15 November

  November 9: Sub-Seminar Type Systems
  

  • Presentation Schreiner
  • Slides on "Understanding Types"

  November 11: Seminar
  

  • Presentation Schreiner on Formal Methods Week
    
• Select section 16 November - 22 November

  16 November - 22 November

  November 16: Sub-Seminar Type Systems
  

  • Taimoor Khan: The Abstraction Principle
    

  November 18: Seminar
  

  • Madalina Erascu: A Purely Logical Approach to Imperative Program Verification
• Select section 23 November - 29 November

  23 November - 29 November

  November 23: Sub-Seminar Type Systems
  

  • Presentation Schreiner
  • Type Systems
• Select section 30 November - 6 December

  30 November - 6 December

  November 30: Sub-Seminar Type Systems
  

  • Presentation Klambauer
  • Parameterization
    
• Select section 7 December - 13 December

  7 December - 13 December

  December 7: Sub-Seminar Type Systems
  

  • Presentation Schreiner
  • Type Systems
• Select section 14 December - 20 December

  14 December - 20 December

  December 14: Sub-Seminar Type Systems
  

  • Presentation Schreiner
  • Type Systems
  • Presentation Schreiner
  • Class-Based Languages (restricted)
  • Advanced Class-Based Features (restricted)
  • A First-Order Language (restricted)
• Select section 11 January - 17 January

  11 January - 17 January

  January 11: Sub-Seminar Type Systems
  

  • Presentation Mühlbauer
  • The Qualification Principle
    
• Select section 18 January - 24 January

  18 January - 24 January

  January 18: Sub-Seminar Type Systems
  

  • Presentation Carevic
  • Records and Lambda Abstractions
    
• Select section 25 January - 31 January

  25 January - 31 January

  January 25: Sub-Seminar Type Systems
  

  • Presentation Schrögendorfer
  • Propositional Logic Typing