Talks at the Urbana Champaign IFIP WG1.3 meeting

    Talks at the Udine IFIP WG1.3 meeting (September 11-12th, 2009)

    x abstracts, y slides, z papers

    == Friday September 11th, 2009
  • 1 - Jan Rutten abstract ?, slides ?
    Kleene coalgebra
  • 2 - Pawel Sobocinski abstract ?, slides ?
    The wire calculus
  • 3 - Barbara Koenig abstract ?, slides ?
    On the recognizability of arrow and graph languages
  • 4 - Bartek Klin abstract ?, slides ?
    Context alterations as labels
  • 5 - Andrzej Tarlecki abstract ?, slides ?
    An easy exercise in Hoare's logic: imperative expressions
  • 6 - Narciso Marti-Oliet abstract, slides ?
    Declarative debugging of missing answers in Maude specifications
  • 7 - Ugo Montanari abstract, slides ?
    Coalgebras for Named Sets
  • 8 - Egon Boerger abstract ?, slides ?
    Context alterations as labels
  • 9 - Kokichi Futatsugi abstract ?, slides ?
  • 10 - Dominique Duval abstract ?, slides ?


  • == Saturday September 12th, 2009
  • 11 - Till Mossakowski abstract ?, slides ?
  • 12 - Lutz Schroeder abstract ?, slides ?
  • 13 - Dirk Pattinson abstract ?, slides ?
    Continuous Functions on Infinite Structures
  • 14 - Reiko Heickel abstract ?, slides ?
  • 15 - Fabio Gaducci abstract, slides ?
    On the net encoding of asynchronous interactions
  • 16 - Mark Ryan abstract ?, slides ?
  • 17 - Dominique Mery abstract, slides ?
    Refinement-based guidelines for algorithmic systems
  • 18 - Mohamed Bettaz abstract ?, slides ?