TC 2 - SOFTWARE: Theory and Practice

est. 1962, revised 1982, 1990     Aims and Scopes
URL: mputer Science
STARlab, Building G/10
Pleinlaan 2
BE-1050 BRUSSELS
Belgium
Tel. +32 2 629 3308
Fax +32 2 629 3525
e-mail:
meersman@vub.ac.be

Vice-Chair
Dr. Bashar NUSEIBEH, GB

The Open University
Faculty of Maths &  Computing Computing Department
Walton Hall
MILTON KEYNES, MK7 6AA
United Kingdom
Tel. +44 1 908 655185
Fax +44 1 908 652140
e-mail: b.a.nuseibeh@open.ac.uk

Secretary
Prof. Stefan BIFFL, AT

Technische Universität Wien
Inst. für Softwaretechnik und Interaktive Systeme
Room HD0205
Favoritenstrasse 9-11/188/2
AT-1040 WIEN, Austria
Tel. +43 1 588 01 18810
Fax +43 1 588 01 18899
e-mail: stefan.biffl@tuwien.ac.at

 

 

AR
AU
BG
CH
CLEI
CN

CZ

DE
DE

Marcelo Frias
Tharam Dillon

Avram Eskenazi

Bertrand Meyer

Hernan Astudillo
 
Jun Wei

Pavel Zezula

Michael Goedicke
Manfred Paul

ES
FI
FR
GR
HU
IL
IT
JP
NL

Pere Botella Lopez
Kai Koskimies

Jean-Francois Perrot

George Pangalos

Miklos Biro

Peretz Shoval

Ugo De Carlin
i
Masami Hagiya

S. Doaitse Swierstra

NO
NZ
PL

PT

RS
SI
SK

US
ZA

Arne-Jorge Berre
Elizabeth A. Kemp (SEARCC)
Jerzy R. Nawrocki

Pedro J.V.Dias Guerreiro

Nenad Stefanović
Marko Bajec
Ludovit S. Molnar
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: http://www.ifiptc2.org/wg-2.1.html

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

Andres Löh
Bernhard  Möller
Helmut  Partsch

Manfred Paul

DE
GB
GB
GB
GB
GB
GB
IT
JP
NL

NL

Peter  Pepper
Roland Backhouse

Richard S. Bird

Ralf Hinze

Graham Hutton

Charles H. Lindsey

Oege de Moor

Alberto Pettorossi

Eiiti Wada

Johan Jeuring

C.H.A. Koster

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.ifiptc2.org/wg-2.2.html  

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

 

 

DE
DE

DE

DE
DK
FR
FR

FR

 

Javier Esparza
Markus Müller-Olm

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

Michel Bidoit

Stephan Merz

Catuscia Palamidessi

 

GB

GB
IL
IT
IT
IT
IT
IT

 

Maciej Koutny
Peter D. Mosses
Amir Pnueli

Egon Boerger

Mariangiola Dezani-Ciancaglini

Furio Honsell

Ugo Montanari

Rocco De Nicola

 

JP

JP
NL
PL
PL
SE

US
US

Masami Hagiya

Masahiko Sato
Frank S. de Boer

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
Prof. Erhard PLÖDEREDER

Universität Stuttgart
Institut für Softwaretechnologie
Universitätsstr. 38
DE-70569 STUTTGART
Germany
Tel. +49 711 7816 322
Fax +49 711 7816 380
e-mail:
ploedere@informatik.uni-stuttgart.de

 

Secretary
Dr. Mark L. JOLIAT

Info Access (1988) Inc.
4 Spinney Court
CA-DON MILLS, ON,
Canada M3A 3H2

Tel. +1 416 445 3157
Fax +1 416 444 7658
e-mail: joliat@infoaccess.ca

 

 

AU

AU

AT
CA

CH

DE

DE
DE
DE
DE
DE

DE

 

John Gough

Bernhard Scholz

Jens Knoop
R.Nigel Horspool

Thomas Gschwind

Uwe Assmann

Gerhard Goos
Stefan Jähnichen

Uwe Kastens

Rudolf Landwehr

Claus Lewerentz

Arnd Poetzsch-Heffter

DE
DE