Talks at the Etelsen IFIP WG1.3 meeting

    Talks at the Etelsen IFIP WG1.3 meeting (July 4-6th, 2010)

    15 abstracts, 15 slides, 6 papers (or links)

    == Sunday July 4th, 2010 - 14h--
  • 1 - Peter D. Mosses ABSTRACT, slides
    CASL and SOS
  • 2 - Bartek Klin ABSTRACT, slides
    SOS, modal logic and compositionality
  • 3 - Till Mossakowski ABSTRACT, slides
    Modular constructions of models
  • 4 - Andrzej Tarlecki ABSTRACT, slides
    Many-sorted universal algebra: some technical nuances
  • 5- Bernd Krieg-Brueckner ABSTRACT, slides
    Safe and secure cognitive systems or BKB's pushouts


    • == Monday, July 5th - 9h -- / 15h --
  • 6 - Paolo Baldan ABSTRACT, slides
    A logic for true concurrency
  • 7 - Tom Maibaum ABSTRACT, slides
    Characterizing encapsulation with bisimulation
  • 8 - Leila Ribeiro ABSTRACT, slides
    Towards theorem proving graph grammars
  • 9 - David Chemouil ABSTRACT, slides
    Some challenges for formal methods - Lessons learnt in the European aerospace industry
    • ----------- 15h
  • 10 - Pawel Sobocinski ABSTRACT, slides
    Representations of Petri net interactions
  • 11 - Lutz Schroeder ABSTRACT, slides
    Flat coalgebraic fixed point logics


    • == Tuesday, July 6th - 9h
  • 12 - Barbara Koenig ABSTRACT, slides
    A Logic on Subobjects and Recognizability
  • 13 - Markus Roggenbach ABSTRACT, slides
    Testing from CSP-CASL
  • 14 - Fabio Gadducci ABSTRACT, slides
    Presheaf semantics for fusion calculi
  • 15 - Stefania Gnesi ABSTRACT, slides
    A logical framework to deal with variability