Crete, Greece, 01 - 02 November 2024
| The next meeting is a short one, it will take place in Crete on 1-2 November, colocated with ISoLA/AISoLA. |
IFIP WG1.3 Foundations of System Specification
Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Overview of Meetings
Salzburg, Austria, 05 - 08 February 2024
| Next meeting is a long one. It will take place in Salzburg on February 5-8. |
Paris, France, 24 - 25 April 2023
| Next meeting is a short one. It will take place in Paris on April 24-25, during the first days of ETAPS. |
Lipari, Italy, 05 - 09 September 2022
Salzburg, Austria, 18 - 19 January 2022
Luxembourg, Luxembourg, 27 - 28 March 2021
Massa Marittima, Italy, 13 - 17 January 2020
|
Prague, Czech Republic, 06 - 07 April 2019
Royal Holloway, United Kingdom, 05 - 07 July 2018
|
Berlin, Germany, 04 - 05 September 2017
|
Binz (Rügen), Germany, 09 - 12 January 2017
|
Eindhoven, The Netherlands, 31 March - 01 April 2016
|
The next meeting will take place in Eindhoven, colocated with ETAPS. |
Nijmegen, The Netherlands, 27 June 2015
|
The meeting has taken place in Nijmegen, colocated with MFPS 2015 and CALCO 2015. |
Sinaia, Romania, 02 - 03 September 2014
|
This meeting has taken place in the beautiful Sinaia, Romania, colocated with WADT 2014. |
Theddingworth near Leicester, UK, 07 - 10 January 2014
|
This meeting took place near Leicester, organised by Reiko Heckel. |
Rome, Italy, 16 March 2013
|
This meeting was co-located with ETAPS 2013 in Rome. |
Salamanca, Spain, 11 - 13 June 2012
|
This meeting was organised by Narciso Martí-Oliet. It succeeded WADT 2012. |
Winchester, United Kingdom, 03 - 04 September 2011
|
This meeting was organised by Corina Cirstea from the University of Southampton. It succeeded a WG1.3-sponsored event: CALCO 2011. |
Aussois, France, 06 - 09 January 2011
|
This stand-alone meeting in the French Alpes was organised by Dominique Duval. |
Etelsen near Bremen, Germany, 04 - 06 July 2010
|
This meeting was organised by Till Mossakowski. It succeeded an event sponsored by IFIP WG 1.3, namely WADT 2010. |
Udine, Italy, 11 - 12 September 2009
|
This meeting was organised by Marina Lenisa, professor at the University of Udine. The meeting was preceded by CALCO'09 and a Symposium in honor of our distinguished colleague and former WG1.3 chair, Peter Mosses, on the occasion of his 60th birthday. |
Urbana, Illinois, USA, 31 July - 02 August 2008
|
This meeting was organised by Grigore Rosu. The meeting was preceded by AMAST08. |
Sierra Nevada, Spain, 14 - 18 January 2008
|
This stand-alone meeting was organised by Fernando Orejas and involved other radical activities. |
Braga, Portugal, 23 - 24 March 2007
|
The meeting was organised at the Department of Informatics, University of Minho, Portugal The meeting was followed by the 10th European Joint Conferences on Theory and Practice of Software (ETAPS'07). |
San Diego, USA, 30 June 2006
|
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. |
La Roche en Ardenne, Belgium, 03 - 06 June 2006
|
The first leg of the meeting took place in La Roche en Ardenne, Belgium, June 3 (pm) - 6 (am), 2006, organised by P-Y. Schobbens. The meeting was preceded by the 18th International Workshop on Algebraic Development Techniques – WADT'06, 1-3 June, an event sponsored by WG1.3. |
Swansea, United Kingdom, 06 - 08 September 2005
|
The meeting was organised by P. Mosses at the Department of Computer Science, University of Wales Swansea The meeting was preceded by the First Conference on Algebra and Coalgebra in Computer Science – CALCO, an event sponsored by WG1.3. |
Bangalore, India, 14 - 15 January 2005
|
The meeting was organised by P.S. Subramanian at the Department of Computer Science and Automation of the Indian Institute of Science The meeting was preceded by a 3-day workshop on "Specification and Design Methodologies for Adaptive and Embedded Systems" involving local companies and institutes. |
Barcelona, Spain, 06 March 2004
|
The meeting was organised by Fernando Orejas and Jordi Cortadella at the Technical University of Catalonia (UPC) The meeting was co-located with ETAPS and was preceded two other events sponsored by WG1.3: WADT and CMCS. |
Cala Galdana, on Menorca, Spain, 01 - 04 June 2003
| An IFIP WG1.3 Meeting was held at Cala Galdana, Menorca, Spain. The meeting was held at Cala Galdana Hotel. The meeting was organized and hosted by Fernando Orejas (Barcelona). |
Chiemsee, near Munich, Germany, 22 - 24 September 2002
| 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. |
L'Alpe d'Huez, France, 05 - 09 January 2002
| The meeting was held on L'Alpe d'Huez, near Grenoble (France). The meeting was organized by Christine Choppy. |
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. |