MeetingsBonas (France), 13th-14th September 1999Lisbon (Portugal), 5th April 1998

Lisbon (Portugal), 5th April 1998

The IFIP WG1.3 Meeting in Lisbon was held following ETAPS'98 and the 13th WADT. The meeting was hosted by Jose Fiadeiro--many thanks to him for excellent local organization and generous hospitality!

The meeting started with an administrative session,1 followed by two technical sessions

  • Participation
  • Abstracts of Talks and Discussions
  • Marie-Claude Gaudel: Testing Data Types and Processes: A Unifying Theory
  • Bernd-Krieg Brückner: UniForM, Universal Formal Methods Workbench
  • Peter Padawitz: Discussion on formal methods application area
  • Peter Padawitz: Coalgebraic versus hidden data type specifications
  • Peter D. Mosses: Combining algebraic and set-theoretic specifications
    • Edited by: Peter D. Mosses (pdmosses@brics.dk), January 19, 2004
    IFIP WG1.3 Home Page: http://www.fiadeiro.org/jose/IFIP-WG1.3/

    MeetingsBonas (France), 13th-14th September 1999Lisbon (Portugal), 5th April 1998