Provisional Workshop Programme

Provisional Workshop Programme

9:00 - 9:05 Workshop Introduction Session 1: (Elsewhere) Applications of Model Checking and Theorem Proving
Session Chair: Giorgio Faconti
  • 9:05 - 10:05
    INVITED PAPER I
    John Rushby
    (SRI International Computer Science Labs, California, USA)
    "Analysing Cockpit Interfaces using Formal Methods"
  • 10:05 - 10:30
    Michael Baldamus, Klaus Schneider, Michael Wenz and Roberto Ziller
    (University of Karlsruhe, Germany)
    "Can American Checkers be Solved by Means of Symbolic Model Checking?"
  • 10:30 - 10:55
    N.V Shilov and K. Yi
    (Korean Advanced Institute of Science and Technology, Republic of Korea)
    "Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers"
10:55 - 11:20 Coffee Break Session 2: Cognition and Usability Analysis
Session Chair: Ken Turner
  • 11:20 - 12:10
    INVITED PAPER II
    David Duce
    (Oxford Brookes University, United Kingdom)
    co-author: David Duke (Univeristy of Bath, United Kingdom)
    "Syndetic Modelling: Computer Science Meets Cognitive Psychology"
  • 12:10 - 12:35
    Gavin Doherty, Giorgio Faconti and Mieke Massink
    (Rutherford Appleton Labs, United Kingdom and CNR-Istituto CNUCE, Pisa, Italy)
    "Formal Verification in the Design of Gestural Interaction"
  • 12:35 - 13:00
    Howard Bowman, Giorgio Faconti and Mieke Massink
    (University of Kent at Canterbury, United Kingdom and CNR-Istituto CNUCE, Pisa, Italy)
    "Towards Integrated Cognitive and Interface Analysis"
13:00 - 14:25 Lunch Break Session 3: Process Algebra, Algebraic Specification, etc
Session Chair: Howard Bowman
  • 14:25 - 14:50
    Ken Turner
    (University of Stirling, United Kingdom)
    "The N-Body Problem in LOTOS"
  • 14:50 - 15:15
    Michael Newton
    (Aurema, Pty. Ltd., Australia)
    "Grammatical Specification in ASL: Germanic Dependent Clause Order"
  • 15:15 - 15:40
    Graziella Tonfoni
    (University of Bologna, Italy)
    "CTML - A Context Transport Mark-up Language for Formalization and Verification of Legal, Medical and Bureaucratic and Safety Procedures and Protocols"
15:40 - 15:50 Closing Words

Last modified August 2000.
Contact Howard Bowman if you have problems or comments.