IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Chairman: M. Roggenbach      Vice Chairman: L. Schröder      Past Chairmen: T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski

Overview of Meetings

San Diego, USA, 30 June 2006

Sandiego The meeting continued on June 30, at the Computer Science Department of the University of California in San Diego (UCSD), organised by K.Futatsugi.
The meeting was preceded by a Symposium to honor our distinguished member Joseph Goguen on his 65th Birthday in June 27-29.

Genova, Italy, 30 - 31 March 2001

The meeting was held at DISI, University of Genova, Italy. Many thanks to Egidio Astesiano, Maura Cerioli, and Gianna Reggio for hosting this meeting on top of all their obligations in connection with ETAPS2001. The meeting was a satellite event of ETAPS 2001, and was followed by WADT/CoFI 2001: 15th International Workshop on Algebraic Development Techniques, which included the final General Workshop of the CoFI Working Group.

Stanford (California), USA, 29 June - 01 July 2000

The IFIP WG1.3 Meeting at CSLI, Stanford University, California, was held Thursday 29th June to Saturday 1st July, 2000. Thanks to José Meseguer for hosting the meeting. The meeting was a lively one, with plenty of opportunity for discussion during the 60-minute presentations.

Bonas, France, 13 - 14 September 1999

The IFIP WG1.3 meeting at Château de Bonas (near Toulouse, France) lasted two full days (Monday 13 and Tuesday 14 September). It was followed by the 14th WADT at Bonas, Wednesday 15-Saturday 18 September 1999. Thanks to Didier Bert and Christine Choppy for efficient local organization.

Lisbon, Portugal, 05 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, followed by two technical sessions.