IFIP Working Group 2.2
Formal Description of Programming Concepts
Past meetings and events
| Place and Date | Host | Note |
|---|---|---|
|
Bologna 6-8 September 2023 |
Prof. Ugo Dal Lago | |
|
FSEN 2023 Tehran, Iran 4-5 May 2023 |
10th International Conference "Fundamentals of Software Engineering", in cooperation with IFIP WG 2.2 | |
|
Münster 19-21 September 2022 |
Prof. Markus Müller-Olm | |
|
Online via Zoom 20-21 September 2021 |
Prof. Markus Müller-Olm | |
|
FSEN 2021 Tehran, Iran 19-21 May 2021 |
9th International Conference "Fundamentals of Software Engineering", in cooperation with IFIP WG 2.2 | |
|
Vienna 23-25 September 2019 |
Prof. Radu Grosu | |
|
FSEN 2019 Tehran, Iran 1-3 May 2019 |
8th International Conference "Fundamentals of Software Engineering", in cooperation with IFIP WG 2.2 | |
|
Brno 17-19 September 2018 |
Prof. Antonin Kucera | |
|
Bordeaux 18-20 September 2017 |
Igor Walukiewicz, PhD | Antonin Kucera is nominated new chair |
|
FSEN 2017 Tehran, Iran 26-28 April 2017 |
7th International Conference "Fundamentals of Software Engineering", in cooperation with IFIP WG 2.2 | |
|
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", in cooperation with IFIP WG 2.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 IFIP WG 2.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", in cooperation with by IFIP WG 2.2 | |
|
TCS 2012 Amsterdam, the Netherlands 26-28 September, 2012 |
7th IFIP International Conference on "Theoretical Computer Science", co-sponsored by IFIP WG 2.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 chair |
|
FSEN 2011 Tehran, Iran 20-22 April 2011 |
4th International Conference "Fundamentals of Software Engineering", in cooperation with by IFIP WG 2.2 | |
|
TCS 2010 Brisbane, Australia 20-23 September, 2010 |
6th IFIP International Conference on "Theoretical Computer Science", co-sponsored by IFIP WG 2.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 WG 2.2. to commemorate A. Pnueli, WG 2.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", in cooperation with IFIP WG 2.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 IFIP WG 2.2 | |
|
Nancy, France, 17-19 September 2007 |
Dr. Stephan Merz | |
|
FSEN 2007 Tehran, Iran 17 - 19 April 2007 |
International Symposium "Fundamentals of Software Engineering", in cooperation with IFIP WG 2.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 chair |
| 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-Rüdiger Olderog | in junction with FTRTFT'02 |
| FTRTFT'02 Oldenburg, Germany, 9 - 12 September 2002 |
Organizers: Prof. Werner Damm Prof. Ernst-Rüdiger Olderog |
co-sponsered by WG 2.2 |
| Rennes, France, 14 - 17 May 2001 |
Dr. Philippe Darondeau | |
| Oldenburg, Germany, 25 - 29 September 2000 |
Prof. Ernst-Rüdiger 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 Bjørner | |
| Amsterdam, The Netherlands, 12 - 16 June 1995 |
Prof. Jaco de Bakker | Ernst-Rüdiger Olderog is nominated new chair |
| 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. Bjørner |
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. Bjørner | |
| 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 chair |
| 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 meetings and events of WG 2.2