Project Seminar Formal Methods in Computer Science (WS 2008/09)

Section outline

• Select section General

  General

  Collapse all Expand all

  Time: Wednesday, 12:30-14:00 (formal methods seminar).
  

  Tuesday, 13:00-14:30 (ISI "grid computing" students).
  

  Room: HA 105 (Hagenberg seminar room).
  Start: October 15, 2008.
  
  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 15 October - 21 October

  15 October - 21 October

  • Wolfgang Schreiner: Introduction and Organization
    

  • Select activity ISI Students

    

    ISI Students Page
• Select section 29 October - 4 November

  29 October - 4 November

  
  Wednesday, October 29:

  • Wolfgang Schreiner: Introduction to Denotational Semantics.
  • Formal methods students: discussion on presentation topics.
    

  Tuesday, November 4:
  

  • ISI "grid computing" students: discussion on presentation topics.
    

  • Select activity Topics for Seminar Presentations

    

    Topics for Seminar Presentations Page
  • Select activity Introduction to Denotational Semantics

    

    Introduction to Denotational Semantics Page
• Select section 5 November - 11 November

  5 November - 11 November
• Select section 12 November - 18 November

  12 November - 18 November

  
  November 12
  

  • Wolfgang Schreiner: Continuation of talk on denotational semantics.
    
• Select section 10 December - 16 December

  10 December - 16 December

  December 10

  • Wolfgang Schreiner: Continuation of talk on denotational semantics.
  • Discussion on presentation topics.
    
• Select section 14 January - 20 January

  14 January - 20 January

  
  Wednesday, January 14:
  

  • Mohamed Aly: Spec#: An Overview
    

  • Select activity Presentation

    

    Presentation File
• Select section 21 January - 27 January

  21 January - 27 January

  
  Tuesday, January 20:
  

  • Eszter Tasi: "Maude SOS" (Structured Operational Semantics)
    

  • Select activity Presentation

    

    Presentation File
  • Select activity Maude Files

    

    Maude Files
• Select section 28 January - 3 February

  28 January - 3 February

  
  Tuesday, January 27
  

  • Stefan Georgiev: Information Services in Globus Toolkit 4
  • Plamen Alexandrov: Globus Toolkit Security
    

  Thursday, January 29
  

  • Alexandra Jimborean: Globus Toolkit 4 Execution Management
  • Amira Gamaleldin: Grid Data Management

  • Select activity Information Services

    

    Information Services File
  • Select activity Security

    

    Security File
  • Select activity Execution Management

    

    Execution Management File
  • Select activity Data Management

    

    Data Management File