IFIP WG 2.1

Meetings

Member Pages

Members Only

Center

Page

Web

Wiki

Log In or Register

Profile

IFIP21
Profile of IFIP Working Group 2.1

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

  • #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

  • IFIP TC2 Working Conference on Domain-Specific Languages, St Anne's College, Oxford, July 15th to 17th 2009.
  • IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl, Germany, July 11th and 12th 2002. [J. Gibbons and J. Jeuring (eds), Generic Programming. Kluwer Academic Publishers, 2003.]
  • IFIP TC2 WG2.1 Working Conference on Algorithmic Languages and Calculi, Le Bischenberg, Alsace, France, February 17th to 22nd, 1997. [R.S. Bird and L.G.L.T. Meertens (eds), Algorithmic Languages and Calculi. Chapman & Hall, London, 1997.]
  • IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET 940), San Miniato, Italy, June 6th to 10th, 1994. [E.-R. Olderog (ed.), Programming Concepts, Methods and Calculi. IFIP Trans. A-56. Amsterdam: North-Holland Elsevier, 1994.]
  • IFIP TC2 WG2.1 State-of-the-Art Seminar on Formal Program Development, Itacuru Island, Brazil, January 10th to 18th, 1992. [B. Möller, H. Partsch, S. 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 13th to 16th, 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 15th to 17th, 1986. [L.G.L.T.Meertens (ed.), Proceedings of the IFIP-WG2.1 Working Conference on Program Specification and Transformation. Amsterdam: North-Holland, 1987.]

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.

ChairmanSecretary
Gibbons (2009)Jeuring (2009)
Meertens (1999)
Gibbons (1996)
Smith (1994)
Partsch (1988)
King (1984)Feather (1983)
Dewar (1978)King (1978)
Peck (1975)Bourne (1975)
Paul (1969)Lindsey (1969)
Turski (1966)
Woodger (acting), Randall (acting), Turski (acting) (1964-1966)
Van der Poel (1962)Utman (1962)

5 List of research interests

(as communicated by the members)

Roland Backhouse
(http://www.cs.nott.ac.uk/~rcb):
  • mathematics of program construction
  • programming calculi
  • category theory, relation algebra, datatype algebra, functional programming
  • algorithmic problem solving

Hendrik Boom
(http://www.pooq.com/):
  • program transformation systems
  • type theories
  • natural languages
Ernie Cohen

Jules Desharnais
(http://www.ift.ulaval.ca/~desharnais):
  • programming methodology
  • program specification and transformation
    • mathematics of program construction and analysis
    • notations for expressing and manipulating programs
  • relational and Kleene-algebraic methods in computer science

Jeremy Gibbons
(http://www.cs.ox.ac.uk/jeremy.gibbons/):
  • patterns in programming
  • program specification and transformation
    • notations for expressing and manipulating programs
    • algebraic approaches to programming
    • program calculation
    • model-driven development
  • generic, functional, object-oriented programming

Eric Hehner
(http://www.cs.utoronto.ca/~hehner/):
  • the relation between logic and programming
  • formal methods of software design
  • unified algebra
  • high-level circuit design
  • programming language semantics and design
  • compiler design

Ralf Hinze
(http://www.cs.ox.ac.uk/ralf.hinze/):
  • generic programming
  • functional programming
  • Haskell
  • algorithm design
  • purely functional data structures
  • co-algebraic methods

Zhenjiang Hu
(http://research.nii.ac.jp/~hu/):
  • program calculation
  • functional programming
  • parallel programming
  • bidirectional programming

Graham Hutton
(http://www.cs.nott.ac.uk/~gmh/):
  • reasoning about programs
  • functional programming
  • calculational methods
  • coalgebraic methods
  • recursion operators

Patrik Jansson
(http://www.cse.chalmers.se/~patrikj/):
  • long term goal: create systems (theories, programming languages, libraries and tools) which make it easy to develop reusable software components together with proofs of their correctness.
  • generic programs and proofs: theory and implementation
  • functional programming, semantics, modelling
  • dependent types in programming, type theory, constructive logic
  • specification driven software development: combining functional programming with testing and first order logic

Johan Jeuring
(http://people.cs.uu.nl/johanj/):
  • generic programming
    • programming methodology
    • type systems
    • applications
  • domain reasoners
    • strategies
    • feedback
    • implementation
  • functional programming
  • algorithm design

Y. Annie Liu
(http://www.cs.indiana.edu/~liu/):
  • general and systematic methods and supporting tools for improving the efficiency and assuring the correctness of computations;
  • program analysis and transformation for incremental computation and parallel/concurrent computation;
  • applications in optimizing compilers, interactive environments, real-time and reactive systems, algorithm design, program development methods, database systems, semantic web, and security.

Andres Löh
(http://www.andres-loeh.de/):
  • functional programming
  • generic programming
  • Haskell
  • type systems
  • dependently typed programming
  • deterministic parallelism

Conor McBride
(http://strictlypositive.org/ ): no information available.

Lambert G. L. T. Meertens
(http://www.kestrel.edu/HTML/people/meertens/):
  • the investigation of the properties, feasibility, and usefulness of a language helping the specification and construction of good algorithms.

Bernhard Möller
(http://www.Math.Uni-Augsburg.DE/~moeller):
  • formal semantics
  • algebraic system calculation
  • infinite objects (theory and applications)
  • theory of parallelism and nondeterminacy
  • transformational program development
  • design