TC 2 - SOFTWARE: Theory and Practice

est. 1962, revised 1982, 1990     Aims and Scopes
URL: www.ifip.org/ifiptc2

Chair
Prof. Bertrand MEYER

ETH Zurich

Chair of Software Engineering

ETH Zentrum, RZ Building

CH-8092 ZÜRICH

Switzerland

Tel. +41 1 63 20410

e-mail: bertrand.meyer@inf.ethz.ch

Vice-Chair
Prof. Michael GOEDICKE

University of Duisburg-Essen

Specification of Softwaresyst.

Institute for Computer Science and  Businesss Inform.Systems

SA 224, 70 Schuetzenbahn

45117 ESSEN, Germany

Tel. + 49 201 183 3481/4681

Fax + 49 201 183 4698

goedicke@s3.uni-due.de

Secretary
Assoc.Prof. Jerzy NAWROCKI

Poznan Univ. of Technology

Inst. of Computing Science

ul. Piotrowo 2

PL-60-965 POZNAN,

Poland

Tel. +48 61 665 3422

Fax +48 61 877 1525

e-mail: Jerzy.Nawrocki@put.poznan.pl

 

 

AR

AT
AU

BE
BG
CLEI

CZ

Marcelo Frias

Stefan Biffl
Tharam Dillon

Robert Meersman
Avram Eskenazi
Hernan Astudillo

Karel Richta

DE

DK

ES

GB
HU
IT
JP

 

Manfred Paul

Julia Lawall

Pere Botella Lopez

Bashar Nuseibeh

Miklos Biro
Giuseppe Visaggio

Masami Hagiya

 

NL

NZ

RS
SK

US
ZA

S. Doaitse Swierstra

Elizabeth A. Kemp (SEARCC)

Nenad Stefanović
Maria Bielikova
Joseph E. Urban (IEEE)
Judith M. Bishop

 

ex-officio members:  WG Chairs

WG 2.1 - Algorithmic Languages and Calculi

est. 1962, revised 1963, 1990, 1992     Aims and Scopes
URL: www.ifip.org/wg-2.1

Chair
Prof. Lambert  MEERTENS
Kestrel Institute
3260 Hillview Avenue
PALO ALTO, CA 94304

USA
Tel. +1 650 493 6871
Fax +1 650 424 1807
e-mail: lambert@kestrel.edu

 

Secretary
Dr. Jeremy GIBBONS
Oxford  University
Computing Lab.
Wolfson Building
Parks Road
OXFORD OX1 3QD

United Kingdom
Tel. +44 1865 283508
Fax +44 1865 273839
e-mail: jeremy.gibbons@comlab.ox.ac.uk  

 

 

AU

BE
CA
CA
CA
CA
CA
DE

DE
DE
DE

 

Carroll C. Morgan
Michel Sintzoff
Hendrik J. Boom
Jules Desharnais
Eric C. R. Hehner
Peter R. King
John E.L. Peck
Friedrich L. Bauer

Bernhard  Möller
Helmut  Partsch
Manfred Paul 

DE

GB
GB
GB
GB
GB
IT
JP
NL

NL

NL

Peter Pepper

Roland Backhouse
Richard S. Bird
Ralf Hinze
Graham Hutton
Charles H. Lindsey
Alberto Pettorossi
Eiiti Wada
Johan Jeuring

C.H.A. Koster

Andres Löh

NL
NL

SE
UY
US
US
US
US
US
US
US

W.L. van der Poel
S.Doaitse Swierstra

Patrik Jansson
Alberto Pardo
Ernie Cohen
Robert B.K. Dewar
Martin S. Feather
Allen Goldberg
Yanhong A. Liu
Douglas R. Smith
David S. Wile

WG 2.2 - Formal Description of Programming Concepts

est. 1965, revised 1991     Aims and Scopes
URL: http://www.cs.unibo.it/wg22/members.htm   

Chair
Prof. Davide SANGIORGI

Universita' di Bologna

Dipartimento di Scienze dell'Informazione

Mura Anteo Zamboni, 7

IT-40127 BOLOGNA, Italy

Tel. +39 051 2094980

Fax +39 051 2094510

e-mail: Davide.Sangiorgi@cs.unibo.it

 

Vice-Chair

Dr. Igor WALUKIEWICZ

LaBRI

Université Bordeaux-1

351, Cours de la Libération

FR-33405 TALENCE Cedex

France

Tel. +33 5 40 00 66 00

Fax +33 5 40 00 66 69

e-mail: igw@labri.fr

Secretary
Dr. Philippe DARONDEAU
IRISA
Campus de Beaulieu
FR-35042 RENNES Cedex
France
Tel. + 33 2 9984 7280
Fax + 33 2 9984 7171
e-mail: darondeau@irisa.fr

 

 

AR

DE

DE
DE

DE

DE
DK
FR

FR
FR

 

Marcelo Frias

Javier Esparza

Barbara Koenig
Markus Müller-Olm

Ernst-Rüdiger Olderog
Willem-Paul de Roever
Anders P. Ravn
Michel Bidoit

Ahmed Bouajjani

Stephan Merz

 

FR

GB

GB

GB
IL
IT
IT
IT
IT
IT

 

Catuscia Palamidessi

Maciej Koutny
Peter D. Mosses

Luke Ong
Amir Pnueli
Egon Boerger
Mariangiola Dezani-Ciancaglini
Furio Honsell
Ugo Montanari
Rocco De Nicola

 

JP

JP
NL

NL
PL
PL
SE

US
US

Masami Hagiya

Masahiko Sato

Frank S. de Boer

Jan Rutten

Wojciech Penczek
Andrzej Tarlecki
K.V.S. Prasad
Radu Grosu
J. Strother Moore

WG 2.3 - Programming Methodology

est. 1969, revised 1991     Aims and Scopes
URL: http://www.ifiptc2.org/wg-2.3.html

Chair 
Dr. Pamela ZAVE
AT&T Research
180 Park Ave. Rm B211
FLORHAM PARK, NJ 07932
USA
e-mail: pamela@research.att.com

Vice-Chair
Prof. Michael BUTLER
University of Southampton
School of Electronics& Computer Science
Highfield
SOUTHAMPTON SO17 1 BJ
United Kingdom
Tel. +44 23 8059 2435
Fax +44 23 8059 3045
e-mail: mjb@ecs.soton.ac.uk

Secretary
Dr. K. Rustan M. LEINO
One Microsoft Way
REDMOND, WA 98052
USA
e-mail: leino@microsoft.com

 

 

AU

AU

AU
BE

CA
CH
CH
DE
FR
FI
GB



 

Ian Hayes
Annabelle McIver
Carroll C. Morgan
Michel Sintzoff

Eric C. Hehner
Jean-Raymond Abrial
Bertrand Meyer
Manfred Broy
Patrick Cousot
Ralph-Johan Back
Peter Henderson


 

GB
GB

GB
NZ
SG
US
US
US
US
US

C.A.R. Hoare
Michael Jackson
Cliff B. Jones
Mark Utting
Dines Bjorner
Robert M. Balzer
Ernie Cohen
John R. Harrison
James Ray Horning
Daniel Jackson


 

US

US

US
US
US
US
US
US
US
US

Shriram Krishnamurthy

Butler W. Lampson
Gary Todd. Leavens
M. Douglas McIlroy
Jayadev Misra
Greg Nelson
Benjamin Pierce
Josyula R. Rao
John C. Reynolds
Natarajan Shankar

WG 2.4 - Software Implementation Technology

est. 1973, revised 1991, 1992, 2000     Aims and Scopes
URL: http://www.ifiptc2.org/wg-2.4.html

Chair
Dr. John GOUGH

Queensland Institute of Technology

Faculty of Information Techn.

2 George Street

GPO Box 2434

AU-BRISBANE QLD 4001

Australia

Tel. +61 7 3864 2781

Fax +61 7 3864 1507

e-mail: j.gough@qut.edu.au

 

Secretary
Dr. Thomas GSCHWIND

IBM Zurich Research Lab

Saeumerstrasse 4

CH-8803 RUESCHLIKON

Switzerland

Tel. +41 1 724 8990

e-mail: thg@zurich.ibm.com

 

 

AT

AU

CA
CA

CA

DE

DE
DE
DE
DE
DE



 

Jens Knoop