Profile

Profile of IFIP Working Group 2.1 September 2011

This information brochure is an attempt to survey knowledge and expertise represented within IFIP Working Group 2.1.

• Section 1 lists the title, aim, scope and web-page of the working group.
• Section 2 lists the title, aim, scope and other working groups of TC2, WG2.1's parent body within the IFIP hierarchy.
• Section 3 lists the locations and dates of recent meetings of the group.
• Section 4 lists the officials of the group through the years.
• Section 5 lists all members of the group together with their specific research interests.

Some historic information can be found on Wikipedia.

1 WG2.1: Title, aim, scope and web-page

1.1 WG2.1 Title

IFIP Working Group 2.1 Algorithmic Languages and Calculi

1.2 WG2.1 Aim

To explore and evaluate new ideas in the field of programming, possibly leading to the design of new languages.

1.3 WG2.1 Scope

1. The study of calculation of programs from specifications.
2. The design of notations for such calculation.
3. The formulation of algorithm theories, using such notations.
4. The investigation of software support for program derivation.
5. Continuing responsibility for ALGOL 60 and ALGOL 68.

1.4 WG2.1 Web-pages

• http://www.cs.ox.ac.uk/people/jeremy.gibbons/wg21/
• http://www.cs.uu.nl/wiki/bin/view/IFIP21/WebHome

2 TC2 context

Within the IFIP hierarchy, WG2.1 is part of TC2.

2.1 TC2 Title

Software: Theory and Practice

2.2 TC2 Aim

To obtain a deeper understanding of programming concepts in order to improve the quality of software by studying all aspects of the software development process, both theoretical and practical.

2.3 TC2 SCOPE

The scope of the committee encompasses all aspects of the software development process including the specification, design, implementation and validation of software systems. Areas of present activity are:

1. formal models of software concepts
2. programming languages and techniques
3. models for information storage and processing
4. programming support environments
5. user interface to software systems
6. software quality

2.4 Other working groups within TC2

• WG2.2 Formal Description of Programming Concepts
• WG2.3 Programming Methodology
• WG2.4 Software Implementation Technology
• WG2.5 Numerical Software
• WG2.6 Database
• WG2.7 User Interface Engineering
• WG2.8 Functional Programming
• WG2.9 Software Requirements Engineering
• WG2.10 Software Architecture
• WG2.11 Program Generation
• WG2.12 Web Semantics

3 Recent WG2.1 related meetings

3.1 WG2.1 meetings

• #69 Ottawa, Canada, October 8 - 12, 2012
• #68 Rome, Italy, February 6 - 10, 2012
• #67 Reykjavik, Iceland, May 23 - 27, 2011
• #66 Atlantic City, USA, September 24 - 29, 2010
• #65 Braga, Portugal, January 25 - 29, 2010
• #64 Weltenburg, Germany, March 30 - April 3, 2009
• #63 Kyoto, Japan, September 10 - 14, 2007
• #62 Namur, Belgium, December 11 - 15, 2006
• #61 Belek, Turkey, March 27 - 31, 2006
• #60 Pajaro Dunes, USA, May 22 - 26, 2005
• #59 Nottingham, England, September 6 - 10, 2004
• #58 Rome, Italy, January 26 - 30, 2004
• #57 New York City, USA, March 30 - April 3, 2003
• #56 Ameland, The Netherlands, September 10 - 14, 2001
• #55 Cochabamba, Bolivia, January 15 - 19, 2001

3.2 Other WG2.1 events

4 Officials

The group has a chairman and a secretary. Through the years, the following people acted as officials of the group, where the year denotes the year at which they started to serve.

5 List of research interests

(as communicated by the members)

6 Members emeriti

7 Deceased members

Members of the Group who died during their period of active membership.

8 Members through the years

---