Talks at the Winchester IFIP WG1.3 meeting

    Talks at the Winchester IFIP WG1.3 meeting (September 3-4th, 2011)

    -
    12 abstracts, 10 slides, 3 papers (or links)

    slides presenting next meeting in Salamanca on 11-13 June 2012, after WADT2012

    == Saturday September 3rd, 2011 - 9h --
  • 1 - Peter Padawitz ABSTRACT, related slides in the abstract
    Many-sorted signatures presenting categories of co/algebras
  • 2 - Kokichi Futatsugi ABSTRACT, slides
    An Overview of Recent Research Activities around CafeOBJ
  • 3 - Carroll Morgan ABSTRACT, slides
    Refinement-oriented noninterference: Comparison of a qualitative and a quantitative model
  • 4 - Bernd-Holger Schlingloff ABSTRACT, slides, paper
    Specification and Modelling of Embedded Systems


    • == Saturday September 3rd, 2011 - 14h --
  • 5 - Alexander Kurz ABSTRACT
    Effective Syntax for Semantic Categories
  • 6 - Andrzej Tarlecki ABSTRACT, slides
    Compositional Property-oriented Semantics for Structured Speci cations. Another Old Story (with a Few New Twists)
  • 7 - Mark Ryan ABSTRACT, paper
    Modelling and verifying privacy properties of web systems


    • == Sunday September 4th, 2011 - 9h --
  • 8 - Lutz Schröder ABSTRACT, slides
    Towards the Coalgebraic Guarded Fragment
  • 9 - Till Mossakowski ABSTRACT, slides
    A structural hybrid logic for CSP and other process algebras
  • 10 - Dusko Pavlovic ABSTRACT, slides
    New directions in security by obscurity
  • 11 - Pierre-Yves Schobbens ABSTRACT, slides
    On-the-fly Strategy Synthesis for Event-Clock Linear Temporal Logic on Timed Games!
  • 12 - Corina Cirstea ABSTRACT, slides, paper
    Maximal Traces and Path-Based Coalgebraic Temporal Logics