IFIP Working Group 2.1 -- Events

Contents of this page: Next WG2.1 Meeting(s) | Recent WG2.1 Meetings | Affiliated Events | Events on Related Topics | WG2.1 Member Interactions

Next WG2.1 Meeting(s)

Details for the next-but-one and later meetings are likely to be provisional; be warned!

Meeting #66
19th to 24th September 2010; Atlantic City, USA.

Meeting #67
late May or June 2011; possibly in Iceland.

Meeting #68
around Feb 2012; possibly in Rome.

Recent WG2.1 Meetings

Meeting #65	25th to 29th January 2010; Braga, Portugal.
WCDSL	15th to 17th July 2009; IFIP TC2 Working Conference on Domain-Specific Languages, Oxford; organized jointly with WG2.8 and WG2.11
Meeting #64	30th March to 3rd April 2009, Benediktinerabtei Weltenburg.
Meeting #63	10th to 14th September 2007; Kyoto, Japan.
Meeting #62	11th to 15th December 2006; Namur, Belgium.
Meeting #61	27th to 31st March 2006; Letoonia Golf Resort, Belek, Antalya, Turkey.
Meeting #60	22nd to 26th May 2005; Northern California.
Meeting #59	6th to 10th September 2004; Nottingham.
Meeting #58	26th to 30th January 2004; Rome.
Meeting #57	Sunday 30th March to Thursday 3rd April 2003; New York City.
Meeting #56	10th to 14th September 2001; Ameland, The Netherlands.
Meeting #55	15th to 19th January, 2001; Bolivia.
Meeting #54	3rd to 7th April, 2000; London, England.
Meeting #53	14th to 18th June 1999; Potsdam, Germany.
Meeting #52	5th to 9th October, 1998; Quebec City, Canada.

Affiliated Events

Forthcoming

TC2 Working Conference on Domain-Specific Languages: 15th to 17th July 2009; Oxford, UK

20th IFIP World Computer Congress

7th to 10th September 2008; Milan, Italy

19th IFIP World Computer Congress

20th to 25th August 2006; Santiago, Chile

TC2 Working Conference on Generic Programming, Schloss Dagstuhl, Germany, 11th and 12th July 2002.

Jeremy Gibbons and Johan Jeuring, editors (2003): Generic Programming. ISBN 1-4020-7374-7. Kluwer Academic Publishers, 2003. Buy it from Amazon.

Fetch the preface and table of contents as a PDF file (62K).

IFIP World Computer Congress,

(including ICS2000, the International Conference on Software: Theory and Practice), Beijing, 21 to 24 August 2000.

World Congress on Formal Methods in the Development of Computer Systems,

Toulouse, 20 to 24 September 1999.

IFIP TC2/WG2.1 Working Conference on Algorithmic Languages and Calculi, Bischenberg, Alsace, France, February 17-22, 1997.

R. S. Bird and L. G. L. T. Meertens (eds.): Algorithmic Languages and Calculi. Chapman and Hall, London, 1997. ISBN 0-412-82050-1.

IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET 940), San Miniato, Italy, June 6-10, 1994.

E.-R. Olderog (ed.): Programming Concepts, Methods and Calculi. IFIP Trans. A-56, North-Holland Elsevier, Amsterdam, 1994, 592 pp. ISBN-0 444 82020 5.

IFIP TC2/WG2.1 State-of-the-Art Seminar on Formal Program Development, Itacuruçá Island, Brazil, January 10 - January 18, 1992.

B. Möller, H. A. Partsch, and S. A. Schuman (eds.): Formal Program Development. IFIP TC2/WG 2.1 State-of-the-Art Report. Lecture Notes in Computer Science 755. Berlin: Springer-Verlag 1993.

IFIP TC2/WG2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, May 13 - May 16, 1991.

B. Möller (ed.): Constructing Programs from Specifications. Amsterdam: North-Holland 1991.

IFIP TC2/WG2.1 Working Conference on Program Specification and Transformation, Bad Tölz, Germany, April 15 - April 17, 1986.

L. G. L. T. Meertens (ed.): Proceedings of the IFIP-WG2.1 Working Conference on Program Specification and Transformation. Amsterdam: North-Holland, 1987.

Events on Related Topics

Forthcoming

The Ninth International Conference on Mathematics of Program Construction: Marseille, France, 15th to 18th July 2008
The Eighth International Conference on Mathematics of Program Construction: Colocated with AMAST, Kuressaare, Estonia, 3rd to 5th July 2006
The Seventh International Conference on Mathematics of Program Construction: Colocated with AMAST, Stirling, 12th to 14th July 2004
Sixth International Conference on the Mathematics of Program Construction: 8-10 July 2002, Schloss Dagstuhl, Germany
Fifth International Conference on the Mathematics of Program Construction: 3-7 July 2000, Ponte de Lima, Portugal
Fourth International Conference on the Mathematics of Program Construction: 15-17 June 1998, Marstrand, Sweden.
The Durham Transformation Workshop,: 1-2 Apr 1996, Durham, England.
Andrei Ershov Second International Memorial Conference: PERSPECTIVES OF SYSTEM INFORMATICS: 25-28 June 1996, Novosibirsk, Academgorodok, Russia (contact PSI'96@iis.nsk.su for further information).
PLILP95 conference: 20-22 Sep 1995, Utrecht, The Netherlands.
Third International Conference on the Mathematics of Program Construction: 17-21 Jul 1995, Kloster Irsee, Germany.

WG2.1 Member Interactions

Automatic Program Development: A Tribute to Robert Paige: Danvy, O.; Henglein, F.; Mairson, H.; Pettorossi, A. (Eds.) 2008, XIV, 274 p., Hardcover, ISBN 978-1-4020-6584-2
Summer School on Generic Programming: 26th to 30th August 2002, Oxford, England.
Summer School on Advanced Functional Programming: 19th to 24th August 2002, Oxford, England.
Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: 10th to 14th April 2000, Oxford, England.
Rules and Strategies for Program Transformation: A short course given by Prof. Alberto Pettorossi (U. of Rome II, Italy) and Prof. Maurizio Proietti (IASI-CNR, Italy), hosted by Bob Paige (NYU).

Jeremy Gibbons (email: Jeremy.Gibbons@comlab.ox.ac.uk) - March 2009