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.

See also: Background information and proceedings for meetings.


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

Previous

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

Previous

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