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