L'Alpe d'Huez (France), 5th-9th January 2002MeetingsCala Galdana, on Menorca (Spain), 1st-4th June 2003Chiemsee, near Munich (Germany), 22nd-24th September 2002

Chiemsee, near Munich (Germany), 22nd-24th September 2002

An IFIP WG1.3 Meeting was held:
Sunday 22nd to Tuesday 24th September 2002,
at Frauenchiemsee, near Munich (Germany).
The WG1.3 meeting was co-located with WADT 2002: 16th International Workshop on Algebraic Development Techniques, 24th to 27th September. Further satellite events of WADT include Agile and MMISS project meetings.

The meeting was organized by Rolf Hennicker, Dirk Pattinson, and Martin Wirsing.

  • Participation
  • Abstracts of Talks
  • Reiko Heckel: Consistency-Preserving Model Evolution Through Transformations
  • Dominique Duval: A zooming process for building specifications
  • Michel Bidoit: On the Integration of Observability and Reachability Concepts
  • Martin Hofmann: Static prediction of heap space usage of first-order functional programs
  • Grigore Rosu: On Lightweight Formal Methods in System Specification and Verification
  • Mark D. Ryan: Structuring systems by features
  • Special Joint Session with the AGILE project on Mobility
  • Hubert Baumeister: (UML) Extensions for Mobility
  • Antonia Lopes: Coordination for Mobility: the airport case study
  • Diego Latella: On Mobility Extensions of UML Statechart Behaviours. A Pragmatic Approach
  • Michele Loreti: A Klaim specification of the handover protocol: logic-based and type-based analisys
  • Narciso Marti-Oliet: Executing SOS specifications in Maude
  • Tom Maibaum: A Logical Basis for the Specification of Reconfigurable Component-Based Systems
  • Till Mossakowski: Heterogeneous proofs - the local and the global view
  • Peter Padawitz: Interactive Computation and Proof with Expander2
  • Joseph Goguen: Conditional Circular Coinductive Rewriting
  • Dirk Pattinson: What's a proof by Coinduction, semantically?
    • Edited by: Peter D. Mosses (pdmosses@brics.dk), January 19, 2004
    IFIP WG1.3 Home Page: http://www.fiadeiro.org/jose/IFIP-WG1.3/

    L'Alpe d'Huez (France), 5th-9th January 2002MeetingsCala Galdana, on Menorca (Spain), 1st-4th June 2003Chiemsee, near Munich (Germany), 22nd-24th September 2002