IFIP Working Group 2.2
Formal Description of Programming Concepts
Past meetings and events
| Place and Date | Host | Note |
|---|---|---|
|
Paris, France 21-23 September 2011 |
Prof. Ahmed Bouajjani | Igor Walukiewicz is nominated new chairman |
|
FSEN 2011 Tehran, Iran 1 20-22 April 2011 |
Conference "Fundamentals of Software Engineering", 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 |
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 |
Conference "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 Ravn | Davide 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. Shyamasundar | with 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