Profile

IFIP21
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>
<TITLE>Profile of IFIP Working Group 2.1
</TITLE>
</HEAD>

<BODY >
<!--CUT DEF section 1 --><TABLE CLASS="title"><TR><TD><H1 CLASS="titlemain">Profile of IFIP Working Group 2.1</H1>
<H3 CLASS="titlerest">September 2011</H3></TD></TR>
</TABLE><P>This information brochure is an attempt to 
survey knowledge and expertise represented within IFIP Working Group 2.1. 
</P><UL CLASS="itemize"><LI CLASS="li-itemize">   
Section <A HREF="#WG2.1titleetc">1</A> lists the title, aim, scope and web-page of the working group.</LI>
<LI CLASS="li-itemize">Section <A HREF="#TC2">2</A> lists the title, aim, scope and other working groups of TC2, WG2.1's parent body within the IFIP hierarchy.</LI>
<LI CLASS="li-itemize">Section <A HREF="#Meetings">3</A> lists the locations and dates of recent meetings of the group.</LI>
<LI CLASS="li-itemize">Section <A HREF="#Officials">4</A> lists the officials of the group through the years.</LI>
<LI CLASS="li-itemize">Section <A HREF="#Members">5</A> lists all members of the group together with their 
specific research interests. </LI>
</UL>
Some historic information can be found on [[http://en.wikipedia.org/wiki/IFIP_Working_Group_2.1][Wikipedia]].

<!--TOC section WG2.1: Title, aim, scope and web-page-->
<H2 CLASS="section"><!--SEC ANCHOR --><A NAME="htoc1">1</A> WG2.1: Title, aim, scope and web-page</H2><!--SEC END --><P>
<A NAME="WG2.1titleetc"></A></P><!--TOC subsection WG2.1 Title-->
<H3 CLASS="subsection"><!--SEC ANCHOR --><A NAME="htoc2">1.1</A> WG2.1 Title</H3><!--SEC END --><BLOCKQUOTE CLASS="quote">
<B>IFIP Working Group 2.1  Algorithmic Languages and Calculi</B>
</BLOCKQUOTE><!--TOC subsection WG2.1 Aim-->
<H3 CLASS="subsection"><!--SEC ANCHOR --><A NAME="htoc3">1.2</A> WG2.1 Aim</H3><!--SEC END --><BLOCKQUOTE CLASS="quote">
To explore and evaluate new ideas in the field of programming,
possibly leading to the design of new languages.
</BLOCKQUOTE><!--TOC subsection WG2.1 Scope-->
<H3 CLASS="subsection"><!--SEC ANCHOR --><A NAME="htoc4">1.3</A> WG2.1 Scope</H3><!--SEC END --><OL CLASS="enumerate" type=1><LI CLASS="li-enumerate">   The study of calculation of programs from specifications.</LI><LI CLASS="li-enumerate">The design of notations for such calculation.</LI><LI CLASS="li-enumerate">The formulation of algorithm theories, using such notations.</LI><LI CLASS="li-enumerate">The investigation of software support for program derivation.</LI><LI CLASS="li-enumerate">Continuing responsibility for ALGOL 60 and ALGOL 68.
</LI></OL><!--TOC subsection WG2.1 Web-pages-->
<H3 CLASS="subsection"><!--SEC ANCHOR --><A NAME="htoc5">1.4</A> WG2.1 Web-pages</H3><!--SEC END --><UL CLASS="itemize"><LI CLASS="li-itemize">
<TT>http://www.cs.ox.ac.uk/people/jeremy.gibbons/wg21/</TT>
</LI><LI CLASS="li-itemize"><TT>http://www.cs.uu.nl/wiki/bin/view/IFIP21/WebHome</TT>
</LI></UL><!--TOC section TC2 context-->
<H2 CLASS="section"><!--SEC ANCHOR --><A NAME="htoc6">2</A> TC2 context</H2><!--SEC END --><P>
<A NAME="TC2"></A>
Within the IFIP hierarchy, WG2.1 is part of TC2.</P><!--TOC subsection TC2 Title-->
<H3 CLASS="subsection"><!--SEC ANCHOR --><A NAME="htoc7">2.1</A> TC2 Title</H3><!--SEC END --><BLOCKQUOTE CLASS="quote">
<B>Software: Theory and Practice</B>
</BLOCKQUOTE><!--TOC subsection TC2 Aim-->
<H3 CLASS="subsection"><!--SEC ANCHOR --><A NAME="htoc8">2.2</A> TC2 Aim</H3><!--SEC END --><BLOCKQUOTE CLASS="quote">
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.
</BLOCKQUOTE><!--TOC subsection TC2 SCOPE-->
<H3 CLASS="subsection"><!--SEC ANCHOR --><A NAME="htoc9">2.3</A> TC2 SCOPE</H3><!--SEC END --><BLOCKQUOTE CLASS="quote">
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:
</BLOCKQUOTE><OL CLASS="enumerate" type=1><LI CLASS="li-enumerate">   formal models of software concepts
</LI><LI CLASS="li-enumerate">programming languages and techniques
</LI><LI CLASS="li-enumerate">models for information storage and processing
</LI><LI CLASS="li-enumerate">programming support environments
</LI><LI CLASS="li-enumerate">user interface to software systems
</LI><LI CLASS="li-enumerate">software quality
</LI></OL><!--TOC subsection Other working groups within TC2-->
<H3 CLASS="subsection"><!--SEC ANCHOR --><A NAME="htoc10">2.4</A> Other working groups within TC2</H3><!--SEC END --><UL CLASS="itemize"><LI CLASS="li-itemize">   WG2.2  Formal Description of Programming Concepts
</LI><LI CLASS="li-itemize">WG2.3  Programming Methodology
</LI><LI CLASS="li-itemize">WG2.4 Software Implementation Technology
</LI><LI CLASS="li-itemize">WG2.5 Numerical Software
</LI><LI CLASS="li-itemize">WG2.6 Database
</LI><LI CLASS="li-itemize">WG2.7 User Interface Engineering
</LI><LI CLASS="li-itemize">WG2.8 Functional Programming
</LI><LI CLASS="li-itemize">WG2.9 Software Requirements Engineering
</LI><LI CLASS="li-itemize">WG2.10 Software Architecture
</LI><LI CLASS="li-itemize">WG2.11 Program Generation
</LI><LI CLASS="li-itemize">WG2.12 Web Semantics
</LI></UL><!--TOC section Recent WG2.1 related meetings-->
<H2 CLASS="section"><!--SEC ANCHOR --><A NAME="htoc11">3</A> Recent WG2.1 related meetings</H2><!--SEC END --><P>
<A NAME="Meetings"></A></P><!--TOC subsection WG2.1 meetings-->
<H3 CLASS="subsection"><!--SEC ANCHOR --><A NAME="htoc12">3.1</A> WG2.1 meetings</H3><!--SEC END --><UL CLASS="itemize">
         <LI CLASS="li-itemize">#69 Ottawa, Canada, October 8 - 12, 2012
</LI><LI CLASS="li-itemize">#68 Rome, Italy, February 6 - 10, 2012
</LI><LI CLASS="li-itemize">#67 Reykjavik, Iceland, May 23 - 27, 2011
</LI><LI CLASS="li-itemize">#66 Atlantic City, USA, September 24 - 29, 2010
</LI><LI CLASS="li-itemize">#65 Braga, Portugal, January 25 - 29, 2010
</LI><LI CLASS="li-itemize">#64 Weltenburg, Germany, March 30 - April 3, 2009
</LI><LI CLASS="li-itemize">#63 Kyoto, Japan, September 10 - 14, 2007
</LI><LI CLASS="li-itemize">#62 Namur, Belgium, December 11 - 15, 2006
</LI><LI CLASS="li-itemize">#61 Belek, Turkey, March 27 - 31, 2006
</LI><LI CLASS="li-itemize">#60 Pajaro Dunes, USA, May 22 - 26, 2005
</LI><LI CLASS="li-itemize">#59 Nottingham, England, September 6 - 10, 2004
</LI><LI CLASS="li-itemize">#58 Rome, Italy, January 26 - 30, 2004
</LI><LI CLASS="li-itemize">#57 New York City, USA, March 30 - April 3, 2003
</LI><LI CLASS="li-itemize">#56 Ameland, The Netherlands, September 10 - 14, 2001
</LI><LI CLASS="li-itemize">#55 Cochabamba, Bolivia, January 15 - 19, 2001
</LI></UL><!--TOC subsection Other WG2.1 events-->
<H3 CLASS="subsection"><!--SEC ANCHOR --><A NAME="htoc13">3.2</A> Other WG2.1 events</H3><!--SEC END --><DIV CLASS="flushleft"><UL CLASS="itemize"><LI CLASS="li-itemize">   IFIP TC2 Working Conference on Domain-Specific Languages,
St Anne's College, Oxford, July 15th to 17th 2009.
</LI><LI CLASS="li-itemize">IFIP TC2 Working Conference on Generic Programming,
Schloss Dagstuhl, Germany, July 11th and 12th 2002.
[J. Gibbons and J. Jeuring (eds), <EM>Generic Programming</EM>. Kluwer
Academic Publishers, 2003.]</LI><LI CLASS="li-itemize">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), <EM>Algorithmic Languages and
Calculi</EM>. Chapman &amp; Hall, London, 1997.]</LI><LI CLASS="li-itemize">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.), <EM>Programming Concepts, Methods
and Calculi.</EM> IFIP Trans. A-56. Amsterdam: North-Holland Elsevier, 
1994.]</LI><LI CLASS="li-itemize">IFIP TC2 WG2.1 State-of-the-Art Seminar on Formal Program
Development, Itacuru Island, Brazil, January 10th to
18th, 1992. [B. M&ouml;ller, H. Partsch, S. Schuman (eds.), <EM>Formal program development.</EM> IFIP TC2/WG 2.1 State-of-the-Art
Report. Lecture notes in computer science <B>755</B>. Berlin:
Springer-Verlag 1993.]</LI><LI CLASS="li-itemize">IFIP TC2/WG2.1 Working Conference on Constructing Programs from
Specifications, Pacific Grove, CA, USA, May 13th to 16th, 1991.
[B. M&ouml;ller, (ed.), <EM>Constructing programs from specifications.</EM>
Amsterdam: North-Holland 1991.]</LI><LI CLASS="li-itemize">IFIP TC2/WG2.1 Working Conference on Program Specification and
Transformation, Bad T&ouml;lz, Germany, April 15th to 17th, 1986.
[L.G.L.T.Meertens (ed.), <EM>Proceedings of the IFIP-WG2.1 Working
Conference on Program Specification and Transformation.</EM> Amsterdam:
North-Holland, 1987.]</LI></UL></DIV><!--TOC section List of research interests-->

<H2 CLASS="section"><!--SEC ANCHOR --><A NAME="htoc14">4</A> Officials</H2><!--SEC END --><P>
<A NAME="Officials"></A>

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.
<DIV CLASS="flushleft"><DL CLASS="description">
<TABLE>
<TR>
<TD>Chairman</TD><TD>Secretary</TD>
</TR>
<TR> 
<TD>Gibbons (2009)</TD><TD>Jeuring (2009)</TD>
</TR>
<TR>
<TD>Meertens (1999)</TD><TD></TD>
</TR>
<TR>
<TD></TD><TD>Gibbons (1996)</TD>
</TR>
<TR>
<TD>Smith (1994)</TD><TD></TD>
</TR>
<TR>
<TD>Partsch (1988)</TD><TD></TD>
</TR>
<TR>
<TD>King (1984)</TD><TD>Feather (1983)</TD>
</TR>
<TR>
<TD>Dewar (1978)</TD><TD>King (1978)</TD>
</TR>
<TR>
<TD>Peck (1975)</TD><TD>Bourne (1975)</TD>
</TR>
<TR>
<TD>Paul (1969)</TD><TD>Lindsey (1969)</TD>
</TR>
<TR>
<TD></TD><TD>Turski (1966)</TD>
</TR>
<TR>
<TD></TD><TD>Woodger (acting), Randall (acting), Turski (acting) (1964-1966)</TD>
</TR>
<TR>
<TD>Van der Poel (1962)</TD><TD>Utman (1962)</TD>
</TR>
</TABLE>
</DL></DIV>

<H2 CLASS="section"><!--SEC ANCHOR --><A NAME="htoc14">5</A> List of research interests</H2><!--SEC END --><P>
<A NAME="Members"></A>
(as communicated by the members)</P>
<DIV CLASS="flushleft"><DL CLASS="description">

<DT CLASS="dt-description"><B>Roland Backhouse</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.cs.nott.ac.uk/~rcb</CODE>): 
<UL CLASS="itemize"><LI CLASS="li-itemize">   mathematics of program construction
</LI><LI CLASS="li-itemize">programming calculi 
</LI><LI CLASS="li-itemize">category theory, relation algebra, datatype algebra,
functional programming
</LI><LI CLASS="li-itemize">algorithmic problem solving
</LI></UL></DD>

<DT CLASS="dt-description"><B>Hendrik Boom</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.pooq.com/</CODE>): 
<UL CLASS="itemize"><LI CLASS="li-itemize">   program transformation systems
</LI><LI CLASS="li-itemize">type theories
</LI><LI CLASS="li-itemize">natural languages
</LI></UL></DD><DT CLASS="dt-description"><B>Ernie Cohen</B></DT><DD CLASS="dd-description"> </DD>

<DT CLASS="dt-description"><B>Jules Desharnais</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.ift.ulaval.ca/~desharnais</CODE>):
<UL CLASS="itemize"><LI CLASS="li-itemize">   programming methodology
</LI><LI CLASS="li-itemize">program specification and transformation
<UL CLASS="itemize"><LI CLASS="li-itemize">   mathematics of program construction and analysis
</LI><LI CLASS="li-itemize">notations for expressing and manipulating programs
</LI></UL>
</LI><LI CLASS="li-itemize">relational and Kleene-algebraic methods in computer science
</LI></UL></DD>

<DT CLASS="dt-description"><B>Jeremy Gibbons</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.cs.ox.ac.uk/jeremy.gibbons/</CODE>):
<UL CLASS="itemize"><LI CLASS="li-itemize">   patterns in programming
</LI><LI CLASS="li-itemize">program specification and transformation
<UL CLASS="itemize"><LI CLASS="li-itemize">   notations for expressing and manipulating programs
</LI><LI CLASS="li-itemize">algebraic approaches to programming
</LI><LI CLASS="li-itemize">program calculation
</LI><LI CLASS="li-itemize">model-driven development
</LI></UL>
</LI><LI CLASS="li-itemize">generic, functional, object-oriented programming
</LI></UL></DD>

<DT CLASS="dt-description"><B>Fritz Henglein</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.diku.dk/~henglein/</CODE>): no information available.
</DD>

<DT CLASS="dt-description"><B>Ralf Hinze</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.cs.ox.ac.uk/ralf.hinze/</CODE>):
<UL CLASS="itemize"><LI CLASS="li-itemize">   generic programming
</LI><LI CLASS="li-itemize">functional programming
</LI><LI CLASS="li-itemize">Haskell
</LI><LI CLASS="li-itemize">algorithm design
</LI><LI CLASS="li-itemize">purely functional data structures
</LI><LI CLASS="li-itemize">co-algebraic methods
</LI></UL></DD>

<DT CLASS="dt-description"><B>Zhenjiang Hu</B></DT><DD CLASS="dd-description"> 
(<CODE>http://research.nii.ac.jp/~hu/</CODE>): 
<UL CLASS="itemize"><LI CLASS="li-itemize">   program calculation
</LI><LI CLASS="li-itemize">functional programming
</LI><LI CLASS="li-itemize">parallel programming
</LI><LI CLASS="li-itemize">bidirectional programming
</LI></UL></DD>

<DT CLASS="dt-description"><B>Graham Hutton</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.cs.nott.ac.uk/~gmh/</CODE>):
<UL CLASS="itemize"><LI CLASS="li-itemize">   reasoning about programs
</LI><LI CLASS="li-itemize">functional programming
</LI><LI CLASS="li-itemize">calculational methods
</LI><LI CLASS="li-itemize">coalgebraic methods
</LI><LI CLASS="li-itemize">recursion operators
</LI></UL></DD>

<DT CLASS="dt-description"><B>Patrik Jansson</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.cse.chalmers.se/~patrikj/</CODE>):
<UL CLASS="itemize"><LI CLASS="li-itemize">   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.
</LI><LI CLASS="li-itemize">generic programs and proofs: theory and implementation
</LI><LI CLASS="li-itemize">functional programming, semantics, modelling
</LI><LI CLASS="li-itemize">dependent types in programming, type theory, constructive logic
</LI><LI CLASS="li-itemize">specification driven software development: combining functional programming with testing and first order logic
</LI></UL></DD>

<DT CLASS="dt-description"><B>Johan Jeuring</B></DT><DD CLASS="dd-description"> 
(<CODE>http://people.cs.uu.nl/johanj/</CODE>):
<UL CLASS="itemize"><LI CLASS="li-itemize">   generic programming
<UL CLASS="itemize"><LI CLASS="li-itemize">   programming methodology
</LI><LI CLASS="li-itemize">type systems
</LI><LI CLASS="li-itemize">applications
</LI></UL>
</LI><LI CLASS="li-itemize">domain reasoners
<UL CLASS="itemize"><LI CLASS="li-itemize">   strategies
</LI><LI CLASS="li-itemize">feedback
</LI><LI CLASS="li-itemize">implementation
</LI></UL>
</LI><LI CLASS="li-itemize">functional programming
</LI><LI CLASS="li-itemize">algorithm design
</LI></UL></DD>

<DT CLASS="dt-description"><B>Y. Annie Liu</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.cs.indiana.edu/~liu/</CODE>):
<UL CLASS="itemize"><LI CLASS="li-itemize">   general and systematic methods and supporting tools 
for improving the efficiency and assuring the correctness of
computations; 
</LI><LI CLASS="li-itemize">program analysis and transformation 
for incremental computation and parallel/concurrent computation;
</LI><LI CLASS="li-itemize">applications in optimizing compilers, 
interactive environments, real-time and reactive systems, 
algorithm design, program development methods, 
database systems, semantic web, and security.
</LI></UL></DD>

<DT CLASS="dt-description"><B>Andres L&ouml;h</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.andres-loeh.de/</CODE>):
<UL CLASS="itemize"><LI CLASS="li-itemize">   functional programming
</LI><LI CLASS="li-itemize">generic programming
</LI><LI CLASS="li-itemize">Haskell
</LI><LI CLASS="li-itemize">type systems
</LI><LI CLASS="li-itemize">dependently typed programming
</LI><LI CLASS="li-itemize">deterministic parallelism
</LI></UL></DD>

<DT CLASS="dt-description"><B>Conor !McBride</B></DT><DD CLASS="dd-description"> 
(<CODE>http://strictlypositive.org/ </CODE>): no information available.
</DD>

<DT CLASS="dt-description"><B>Lambert G. L. T. Meertens</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.kestrel.edu/HTML/people/meertens/</CODE>):
<UL CLASS="itemize"><LI CLASS="li-itemize">   the investigation of the properties, feasibility, and usefulness of 
a language helping the specification and construction of good algorithms.
</LI></UL></DD>

<DT CLASS="dt-description"><B>Bernhard M&ouml;ller</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.Math.Uni-Augsburg.DE/~moeller</CODE>):
<UL CLASS="itemize"><LI CLASS="li-itemize">   formal semantics
</LI><LI CLASS="li-itemize">algebraic system calculation
</LI><LI CLASS="li-itemize">infinite objects (theory and applications)
</LI><LI CLASS="li-itemize">theory of parallelism and nondeterminacy
</LI><LI CLASS="li-itemize">transformational program development
</LI><LI CLASS="li-itemize">design of high-level language concepts
</LI><LI CLASS="li-itemize">relational programming
</LI><LI CLASS="li-itemize">Kleene algebra
</LI><LI CLASS="li-itemize">modal algebra
</LI></UL></DD>

<DT CLASS="dt-description"><B>Carroll Morgan</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.cse.unsw.edu.au/~carrollm/</CODE>):
<UL CLASS="itemize"><LI CLASS="li-itemize">   specification and refinement
</LI><LI CLASS="li-itemize">program development calculi
</LI><LI CLASS="li-itemize">probabilistic programs/specifications/logic
</LI><LI CLASS="li-itemize">-calculi and games
</LI><LI CLASS="li-itemize">refinement and security
</LI></UL></DD>

<DT CLASS="dt-description"><B>Shin-Cheng Mu </B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.iis.sinica.edu.tw/~scm/</CODE>): no information available.
</DD>

<DT CLASS="dt-description"><B>Bruno Oliveira </B></DT><DD CLASS="dd-description"> 
(<CODE>http://ropas.snu.ac.kr/~bruno/</CODE>): no information available.
</DD>

<DT CLASS="dt-description"><B>José Oliveira</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.di.uminho.pt/~jno/</CODE>): 
<UL CLASS="itemize"><LI CLASS="li-itemize">
calculation of programs from formal specifications
</LI><LI CLASS="li-itemize">pointfree relation calculus 
</LI><LI CLASS="li-itemize">mathematics of program construction
</LI></UL></DD>

<DT CLASS="dt-description"><B>Alberto Pardo</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.fing.edu.uy/~pardo/</CODE>): 
<UL CLASS="itemize"><LI CLASS="li-itemize">
programming methodology
</LI><LI CLASS="li-itemize">program specification and transformation
<UL CLASS="itemize"><LI CLASS="li-itemize">
algebraic approaches to programming
</LI><LI CLASS="li-itemize">program calculation
</LI></UL>
</LI><LI CLASS="li-itemize">generic programming
</LI><LI CLASS="li-itemize">functional programming
</LI><LI CLASS="li-itemize">semantics of programming languages
</LI><LI CLASS="li-itemize">type theory
</LI></UL></DD>

<DT CLASS="dt-description"><B>Helmut Partsch</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.uni-ulm.de/in/pm/mitarbeiter/partsch.html</CODE>)
<UL CLASS="itemize"><LI CLASS="li-itemize">   requirements engineering
</LI><LI CLASS="li-itemize">model-driven development, model-driven architecture
</LI><LI CLASS="li-itemize">formal specification (theory, methodology and application)
</LI><LI CLASS="li-itemize">transformational program development and refinement
</LI><LI CLASS="li-itemize">integration of formal methods and traditional software engineering
</LI></UL></DD>

<DT CLASS="dt-description"><B>Peter Pepper</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.cs.tu-berlin.de/~pepper/</CODE>):
<UL CLASS="itemize"><LI CLASS="li-itemize">   modeling of safety-critical systems
<UL CLASS="itemize"><LI CLASS="li-itemize">   hybrid and embedded systems
</LI><LI CLASS="li-itemize">specification and validation
</LI><LI CLASS="li-itemize">safe development process
</LI><LI CLASS="li-itemize">autonomic computing and self-healing
</LI></UL>
</LI><LI CLASS="li-itemize">formal program development
<UL CLASS="itemize"><LI CLASS="li-itemize">   formalization and explanation of development process
</LI><LI CLASS="li-itemize">strategies
</LI><LI CLASS="li-itemize">transition from specifications to operational solutions
</LI><LI CLASS="li-itemize">functional languages
</LI></UL>
</LI><LI CLASS="li-itemize">integration of language paradigms
<UL CLASS="itemize"><LI CLASS="li-itemize">   functional
</LI><LI CLASS="li-itemize">constraint-logic
</LI><LI CLASS="li-itemize">object-oriented
</LI></UL>
</LI></UL></DD>

<DT CLASS="dt-description"><B>Alberto Pettorossi</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.iasi.cnr.it/~adp/</CODE>): 
<UL CLASS="itemize"><LI CLASS="li-itemize">   transformational program development:
<UL CLASS="itemize"><LI CLASS="li-itemize">   finding, formalizing and studying the power of tactics and strategies
</LI><LI CLASS="li-itemize">incorporation of efficiency considerations
</LI><LI CLASS="li-itemize">development of logic and constraint logic programs
</LI><LI CLASS="li-itemize">development of parallel, communicating and distributed programs
</LI></UL>
</LI><LI CLASS="li-itemize">related topics:
<UL CLASS="itemize"><LI CLASS="li-itemize">   classification of algorithms (and derivation of classes of algorithms)
</LI><LI CLASS="li-itemize">understanding the invention of suitable data structures during program 
development
</LI><LI CLASS="li-itemize">development of Software Engineering techniques for programming `in the 
small'
</LI><LI CLASS="li-itemize">mechanization of tactics and strategies, relationship to Theorem 
Proving techniques
</LI><LI CLASS="li-itemize">model checking via transformation
</LI></UL>
</LI><LI CLASS="li-itemize">foundations:
<UL CLASS="itemize"><LI CLASS="li-itemize">   mathematics of Algorithm Derivation
</LI><LI CLASS="li-itemize">semantics of functional and logic programming languages 
</LI><LI CLASS="li-itemize">algebras for concurrency
</LI></UL>
</LI></UL></DD>

<DT CLASS="dt-description"><B>S. Doaitse Swierstra</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.cs.uu.nl/staff/doaitse.html</CODE>): 
<UL CLASS="itemize"><LI CLASS="li-itemize">   programming methodology
<UL CLASS="itemize"><LI CLASS="li-itemize">   programming techniques, especially functional programming
</LI><LI CLASS="li-itemize">program transformations techniques
</LI><LI CLASS="li-itemize">transformation strategies
</LI><LI CLASS="li-itemize">type systems
</LI></UL>
</LI><LI CLASS="li-itemize">systems programming
<UL CLASS="itemize"><LI CLASS="li-itemize">   grammar based systems, esp. attribute grammars
</LI><LI CLASS="li-itemize">program transformation systems
</LI></UL>
</LI></UL></DD>

<DT CLASS="dt-description"><B>Wouter Swierstra</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.staff.science.uu.nl/~swier004/</CODE>): no information available.
</DD>

<DT CLASS="dt-description"><B>Tarmo Uustalu</B></DT><DD CLASS="dd-description"> 
(<CODE>http://cs.ioc.ee/~tarmo/</CODE>): no information available.
</DD>

<DT CLASS="dt-description"><B>Janis Voigtl&auml;nder</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.iai.uni-bonn.de/~jv/</CODE>): no information available.
</DD>

<DT CLASS="dt-description"><B>Eiiti Wada</B></DT><DD CLASS="dd-description"> 
(<CODE>http://www.wide.ad.jp/~wada/index.html</CODE>): 
<UL CLASS="itemize"><LI CLASS="li-itemize">   program development
<UL CLASS="itemize"><LI CLASS="li-itemize">   environments, interfaces
</LI><LI CLASS="li-itemize">language oriented tools
</LI><LI CLASS="li-itemize">mental models that support program development
</LI></UL>
</LI><LI CLASS="li-itemize">character sets
<UL CLASS="itemize"><LI CLASS="li-itemize">   synthesis of Chinese character fonts
</LI><LI CLASS="li-itemize">computer archeaology
</LI></UL>
</LI></UL></DD>

<DT CLASS="dt-description"><B>David S. Wile</B></DT><DD CLASS="dd-description"> 
(<CODE>http://mr.teknowledge.com/wile.htm</CODE>):
<UL CLASS="itemize"><LI CLASS="li-itemize">   specification languages
<UL CLASS="itemize"><LI CLASS="li-itemize">   notations for notation
</LI><LI CLASS="li-itemize">algebraic programming concepts
</LI><LI CLASS="li-itemize">domain-specific language design
</LI></UL>
</LI><LI CLASS="li-itemize">programming methodology
<UL CLASS="itemize"><LI CLASS="li-itemize">   metaprogramming calculus
</LI><LI CLASS="li-itemize">transformational semantics
</LI><LI CLASS="li-itemize">transformation systems
</LI></UL>
</LI><LI CLASS="li-itemize">software architecture
<UL CLASS="itemize"><LI CLASS="li-itemize">   grammar-based support tools
</LI><LI CLASS="li-itemize">dynamic architecture semantics
</LI><LI CLASS="li-itemize">architecture description interchange
</LI></UL>
</LI></UL></DD></DL></DIV>

<H2 CLASS="section"><!--SEC ANCHOR --><A NAME="htoc14">6</A> Members emeriti</H2><!--SEC END --><P>
<A NAME="Members emeriti"></A>
<DIV CLASS="flushleft"><DL CLASS="description">

<DT CLASS="dt-description"><B>Ed Ashcroft</B></DT>
<DT CLASS="dt-description"><B>F. L. Bauer</B></DT>
<DT CLASS="dt-description"><B>Richard S. Bird</B></DT>
<DT CLASS="dt-description"><B>Raymond T. Boute</B></DT>
<DT CLASS="dt-description"><B>James M. Boyle</B></DT>
<DT CLASS="dt-description"><B>Robert B. K. Dewar</B></DT>
<DT CLASS="dt-description"><B>Martin S. Feather</B></DT>
<DT CLASS="dt-description"><B>Allen Goldberg</B></DT>
<DT CLASS="dt-description"><B>G. Goos</B></DT>
<DT CLASS="dt-description"><B>Eric Hehner</B></DT>
<DT CLASS="dt-description"><B>Philippe Jorrand</B></DT>
<DT CLASS="dt-description"><B>Peter R. King</B></DT>
<DT CLASS="dt-description"><B>Charles H. Lindsey</B></DT>
<DT CLASS="dt-description"><B>Manfred Paul</B></DT>
<DT CLASS="dt-description"><B>John Peck</B></DT>
<DT CLASS="dt-description"><B>Willem L. van der Poel</B></DT>
<DT CLASS="dt-description"><B>Stephen A. Schuman</B></DT>
<DT CLASS="dt-description"><B>Douglas R. Smith</B></DT>

</DL></DIV>

<H2 CLASS="section"><!--SEC ANCHOR --><A NAME="htoc14">7</A> Deceased members</H2><!--SEC END --><P>
<A NAME="Deceased members"></A>

Members of the Group who died during their period of active membership.
<DIV CLASS="flushleft"><DL CLASS="description">

<DT CLASS="dt-description"><B>Armando Haeberer</B></DT>
<DT CLASS="dt-description"><B>Barry Mailloux</B></DT>
<DT CLASS="dt-description"><B>Bob Paige</B></DT>
<DT CLASS="dt-description"><B>Michel Sintzoff</B></DT>

</DL></DIV>

<H2 CLASS="section"><!--SEC ANCHOR --><A NAME="htoc14">8</A> Members through the years</H2><!--SEC END --><P>
<A NAME="Allmembers"></A>

<DIV CLASS="flushleft"><DL CLASS="description">

Ashcroft, Edward A. [Ed]
<BR/>Backhouse, Roland Carl
<BR/>Bauer, Friedrich Ludwig [Fritz]
<BR/>Beki&#263;, Hans (d 1982:10:24)
<BR/>Bird, Richard Simpson
<BR/>Bolliet, Louis
<BR/>Boom, Hendrik J.
<BR/>Bourne, Steven R. [Steve]
<BR/>Boussard, Jean-Claude
<BR/>Boute, Raymond T.
<BR/>Bowlden, Henry J.
<BR/>Boyle, James M. [Jim]
<BR/>Branquart, Paul (d 2009:08:14)
<BR/>Cohen, Ernie
<BR/>Currie, Ian F.
<BR/>Dahlstrand, Ingemar
<BR/>Darlington, John
<BR/>de Moor, Oegerikus [Oege]
<BR/>Desharnais, Jules
<BR/>Dewar, Robert B.K.
<BR/>Dijkstra, Edsger Wybe (d 2002:08:06)
<BR/>Duncan, Fraser
<BR/>Ekman, Torgil
<BR/>Erdwinn, Joel D.
<BR/>Ershov, Andrei Petrovich {&#1045;&#1088;&#1096;&#1086;&#1074;, &#1040;&#1085;&#1076;&#1088;&#1077;&#1081; &#1055;&#1077;&#1090;&#1088;&#1086;&#1074;&#1080;&#1095;} (d 1988:12:08)
<BR/>Feather, Martin S.
<BR/>Finance, Jean-Pierre
<BR/>Floyd, Robert W. [Bob] (d 2001:09:25)
<BR/>Garwick, Jan V. (d 1989:06:18)
<BR/>Gibbons, Jeremy
<BR/>Goldberg, Allen
<BR/>Goos, Gerhard
<BR/>Grau, Albert A.
<BR/>Green, Julien
<BR/>Gries, David
<BR/>Haeberer, Armando (d 2003:02:11)
<BR/>Hehner, Eric C.R. [Rick]
<BR/>Henglein, Fritz
<BR/>Hibbard, Peter G.
<BR/>Hill, I. David
<BR/>Hinze, Ralf Thomas Walter
<BR/>Hoare, Charles Antony Richard [Tony]
<BR/>Hu, Zhenjiang {&#32993;&#25391;&#27743;}
<BR/>Hutton, Graham
<BR/>Ingerman, Peter Zilahy
<BR/>Irons, Edgar T. [Ned]
<BR/>Jansson, Patrik
<BR/>Jeuring, Johan T.
<BR/>Jorrand, Philippe
<BR/>Jüllig, Richard Konrad
<BR/>Katz, Charles
<BR/>Kerner, Immo Ottomar
<BR/>King, Peter R.
<BR/>Koster, Cornelis Hermanus Antonius  [Kees] (d. 2013:03:21)
<BR/>Landin, Peter John (d. 2009:06:03)
<BR/>Lavrov, Svyatoslav Sergeevich {&#1051;&#1072;&#1074;&#1088;&#1086;&#1074;, &#1057;&#1074;&#1103;&#1090;&#1086;&#1089;&#1083;&#1072;&#1074; &#1057;&#1077;&#1088;&#1075;&#1077;&#1077;&#1074;&#1080;&#1095;} (d 2004:06:18)
<BR/>Leroy, Henri
<BR/>Lindsey, Charles Hodgson
<BR/>Liu, Yanhong Annie [Annie]
<BR/>Loeckx, Jacques
<BR/>Lucas, Peter
<BR/>Löh, Andres
<BR/>Maibaum, Thomas Stephen Edward [Tom]
<BR/>Mailloux, Barry James (d 1982:05:26)
<BR/>Mazurkiewicz, Antoni
<BR/>Ma&#322;uszy&#324;ski, Jan
<BR/>McBride, Conor Thomas
<BR/>McCarthy, John (d 2011:10:24)
<BR/>Meertens, Lambert Guillaume Louis Théodore
<BR/>Merner, Jack N.
<BR/>Morgan, Charles Carroll [Carroll]
<BR/>Moriguti, Sigeiti {&#26862;&#21475;&#32321;&#19968;} (d 2002:10:02)
<BR/>Mu, Shin-Cheng {&#31302;&#20449;&#25104;}
<BR/>Möller, Bernhard
<BR/>Naur, Peter
<BR/>Nivat, Maurice
<BR/>Oliveira, Bruno César dos Santos
<BR/>Oliveira, José
<BR/>Pacelli, Mauro
<BR/>Paige, Robert Allan [Bob] (d 1999:10:05)
<BR/>Pardo, Alberto
<BR/>Partsch, Helmuth
<BR/>Paul, Manfred
<BR/>Peck, John E.L.
<BR/>Pepper, Peter
<BR/>Pettorossi, Alberto Donato
<BR/>Randell, Brian
<BR/>Ross, Douglas Taylor [Doug] (d 2007:01:31)
<BR/>Runciman, Colin
<BR/>Rutishauser, Heinz (d 1970:11:10)
<BR/>Sallé, François
<BR/>Samelson, Klaus (d 1980:05:25)
<BR/>Schuman, Stephen A. [Steve]
<BR/>Schwartz, Jacob Theodore [Jack] (d 2009:03:02)
<BR/>Seegmüller, Gerhard
<BR/>Sharir, Micha
<BR/>Simizu, Tomesaburo {&#28165;&#27700;&#30041;&#19977;&#37070;}
<BR/>Sintzoff, Michel (d 2011:11:28)
<BR/>Smith, Douglas R. [Doug]
<BR/>Swierstra, Sjoerd Doaitse [Doaitse]
<BR/>Swierstra, Wouter
<BR/>Turner, David A. [Dave]
<BR/>Turski, W&#322;adys&#322;aw Marek [Wlad]
<BR/>Utman, Richard E. [Dick]
<BR/>Uustalu, Tarmo
<BR/>Uzgalis, Robert Charles [Buz] (d 2012:03:19)
<BR/>van der Meulen, Sietse G.
<BR/>van der Poel, Willem Louis
<BR/>van Wijngaarden, Adriaan [Aad] (d 1987:02:07)
<BR/>Vauquois, Bernard
<BR/>von Karger, Burghard
<BR/>Voigtl&auml;nder, Janis
<BR/>Wada, Eiiti {&#21644;&#30000;&#33521;&#19968;}
<BR/>Wegstein, Joseph Henry
<BR/>Wile, David Sheridan [Dave]
<BR/>Wirth, Niklaus Emil
<BR/>Woodger, Michael [Mike]
<BR/>Yoneda, Nobuo {&#31859;&#30000;&#20449;&#22827;} (d 1996:04:22)

</DL></DIV>

<!--CUT END -->
<!--HTMLFOOT-->
<!--ENDHTML-->
<!--FOOTER-->
<HR SIZE=2></BODY>
</HTML>