IFIP Working Group 2.2
Formal Description of Programming Concepts

Past meetings and events

Place and DateHostNote
Singapore
13-16 September 2016
Prof. Luke Ong
Lucca, Italy
21-23 September 2015
Prof. Rocco De Nicola
FSEN 2015
Tehran, Iran
22-24 April 2015
6th International Conference "Fundamentals of Software Engineering", co-sponsored by WG2.2
Munich, Germany
15-18 September 2014
Prof. Javier Esparza
TCS 2014
Rome, Italy
1-3 September, 2014
8th IFIP International Conference on "Theoretical Computer Science", co-sponsored by WG2.2
Lisbon, Portugal
24-26 September 2013
Prof. Luis Caires
FSEN 2013
Tehran, Iran
24-26 April 2013
5th International Conference "Fundamentals of Software Engineering", co-sponsored by WG2.2
TCS 2012
Amsterdam, the Netherlands
26-28 September, 2012
7th IFIP International Conference on "Theoretical Computer Science", co-sponsored by WG2.2
Amsterdam, the Netherlands
24-26 September 2012
Prof. Frank de Boer
Paris, France
21-23 September 2011
Prof. Ahmed Bouajjani Igor Walukiewicz is nominated new chairman
FSEN 2011
Tehran, Iran
20-22 April 2011
4th International Conference "Fundamentals of Software Engineering", co-sponsored by WG2.2
TCS 2010
Brisbane, Australia
20-23 September, 2010
6th IFIP International Conference on "Theoretical Computer Science", co-sponsored by WG2.2
Warsaw, Poland
20-22 September 2010
Prof. Wojtek Penczek and Prof. Andrzej Tarlecki
Amir Pnueli Memorial Symposium,
New York,
8-9 May 2010
Prof. S. Smolka and R. Grosu An event co-sponsored by WG2.2. to commemorate A. Pnueli, WG2.2 member and one of the most influential computer scientists of our time.
Bologna, Italy,
5-6 September 2009
Prof. Davide Sangiorgi
Bologna, Italy,
2 September 2009
Celebration of 20 years of Concur, organized by IFIP WGs 1.8 and 2.2
FSEN 2009
Kish Island, Persian Gulf, Iran
15 - 17 April 2009
3rd International Conference "Fundamentals of Software Engineering", co-sponsored by WG2.2
Torino, Italy,
12-14 September 2008
Prof. Mariangiola Dezani Ciancaglini
TCS 2008
Milan, Italy
8-10 September, 2008
5th IFIP International Conference on "Theoretical Computer Science", co-sponsored by WG2.2
Nancy, France,
17-19 September 2007
Dr Stephan Merz
FSEN 2007
Tehran, Iran
17 - 19 April 2007
International Symposium "Fundamentals of Software Engineering", co-sponsored by WG2.2
Udine, Italy,
11-13 September 2006
Prof. Furio Honsell This open meeting commemorated the 40th anniversary of the group. The program comprised five invited talks by Leslie Lamport, Hans Langmaack, Manfred Paul, Gordon Plotkin, and Dana Scott, plus twenty talks by members of the group, contributing a general perspective of the field. For some titles and abstracts of talks, see Udine 2006
Skagen, Denmark,
31 August - 3 September 2005
Prof. Anders RavnDavide Sangiorgi is nominated new chairman
Bertinoro, Italy,
15-18 September 2004
Prof. Davide Sangiorgi
Amsterdam, The Netherlands,
14 - 17 May 2003
Dr. Frank S. de Boer
Oldenburg, Germany,
13 - 14 September 2002
Prof. Ernst-Ruediger Olderog in junction with FTRTFT'02
FTRTFT'02
Oldenburg, Germany,
9 - 12 September 2002
Organizers:
Prof. Werner Damm
Prof. Ernst-Ruediger Olderog
co-sponsered by WG 2.2
Rennes, France,
14 - 17 May 2001
Dr. Philippe Darondeau
Oldenburg, Germany,
25 - 29 September 2000
Prof. Ernst-Ruediger Olderog
Udine, Italy,
28 June - 1 July 1999
Prof. Furio Honsell
Shelter Island, USA,
13 - 15 June 1998
Prof. Scott Smolka
PROCOMET'98
Shelter Island, USA,
8 - 12 June 1998
Organizer:
Prof. Scott Smolka
IFIP Working Conference on Programming Methods and Concepts,
Graz, Austria,
22 - 26 September 1997
Prof. Peter Lucas
Beijing Seminar, China,
28 September - 4 October 1996
Organizer:
Prof. Yuan ChongYi
Macau, Brazil
23 - 27 September 1996
Prof. Dines Bjorner
Amsterdam, The Netherlands,
12 - 16 June 1995
Prof. Jaco de Bakker Ernst-Ruediger Olderog is nominated new chairman
San Miniato, Italy,
6 - 10 June 1994
Organizer:
Prof. U. Montanari
with Working Conference
Hamilton, Canada,
28 June - 2 July 1993
Prof. P. E. Lauer
Bombay, India,
2 - 6 March 1992
Prof. R. K. Shyamasundarwith State of the Art Seminar
Darmstadt, Germany,
22 - 26 July 1991
Prof. E. J. Neuhold
Tiberias, Sea of Galilee, Israel,
2 - 5 April 1990
Organizer:
Prof. A. Pnueli
with Working Conference
Rio de Janeiro, Brasil,
1989
State of the Art Seminar
Palo Alto, USA,
21 - 25 August 1989
Prof. L. Lamport
Warsaw, Poland,
20 - 24 June 1988
Prof. A. Blikle
Sophia Antipolis, France,
1 - 5 June 1987
Prof. G. Kahn
Ebberup, Denmark,
25 - 28 August 1986
Organizer:
Prof. D. Bjoerner
with Working Conference
Passau, Germany,
28 - 31 May 1985
Prof. M. Broy
Endicott House (MIT), USA,
11 - 15 June 1984
Prof. J.B. Dennis
Venice, Italy,
1 - 5 March 1983
Prof. E. Astesiano
Garmisch-Partenkirchen, Germany,
1 - 4 June 1982
Organizer:
Prof. M. Paul
with Working Conference
Peniscola, Spain,
27 April - 1 May 1981
Prof. J. Diaz
Copenhagen, Denmark,
16-20 June 1980
Prof. D. Bjorner
Warsaw, Poland,
15-19 October 1979
Prof. A. Blikle
Kyoto, Japan,
28 August - 1 September 1978
Prof. S. Takasu
St. Andrews, New Brunswick, Canada,
1-5 August 1977
Organizer:
Prof. J.B. Dennis
with Working Conference
Tampere, Finland,
23-27 August 1976
Prof. R. Kurki-Suonio
Pont-a-Mousson, France,
15-19 September 1975
Prof. C. Pair
Rigi, Switzerland,
6-10 January 1975
Prof. E. Engeler
Stuttgart, Germany,
25-29 March 1974
Prof. E.J. Neuhold
Paris, France,
18-20 June 1973
Prof. J. Duby This was a 'policy meeting', intended to revive WG 2.2 which had been dormant since 1971. Erich Neuhold is nominated new chairman.
Geneva, Switzerland,
9-11 August 1971
Boston, USA,
8-11 September 1970
Colchester, UK,
8-12 September 1969
Prof. J. Laski
Vienna, Austria,
21-25 April 1969
Prof. K. Walk
Copenhagen, Denmark,
22-26 July 1968
Prof. N. Beck (?)
Alghero, Italy,
6-8 September 1967
Prof. A. Caracciolo di Forino This was the first meeting of WG 2.2. Its first chairman, till the Geneva meeting, was T.B. Steel Jr.
IFIP Working Conference on Formal Language Description Languages,
Vienna,
15 - 18 September 1964
Organizer: Prof. H. Zemanek The seminal event for the creation of WG 2.2

Table: Past meeting and events of WG 2.2