TC 2 - Software: Theory and Practice

est. 1962, revised 1982, 1990 Aims and Scopes
URL: http://ifip-tc2.net/

Chair
Prof. Michael GOEDICKE, DE

paluno The Ruhr Institute for

Software Technology

University of Duisburg-Essen

Gerlingstrasse 16

DE-45127 ESSEN

Germany

Tel. +49 201 183 3481

Fax +49 201 183 4698

e-mail: michael.goedicke@paluno.uni-due.de

Vice-Chair
Prof. Jerzy NAWROCKI, PL

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

Secretary

Dr. Julia LAWALL

INRIA Paris-Rocquencourt

LIP6
Boîte courrier 169

4 place Jussieu

FR-75252 PARIS Cedex 05

France
Tel. +33 1 44 27 88 52

e-mail: julia.lawall@lip6.fr

AT
BE
BG

CH
CLEI

Marcelo Frias

Stefan Biffl
Robert Meersman
Sylvia Ilieva

Pascal Felber

Bertrand Meyer
Hernan Astudillo

Karel Richta

IN
IT
JP

Manfred Paul

Antonio Vallecillo

Reima Suomi

Charles Consel

Miklos Biro

Pankaj Jalote
Giuseppe Visaggio

Masami Hagiya

RS
SK
UA

Johan Jeuring

Elizabeth A. Kemp (SEARCC)

Fernando Brito e Abreu

Nenad Stefanović
Maria Bielikova
Nikolay Sidorov

Jeremy Gibbons (ACM)

ex-officio members: WG Chairs

WG 2.1 - Algorithmic Languages and Calculi

est. 1962, revised 1963, 1990, 1992 Aims and Scopes
URL: http://www.ifipwg21.org

Chair
Prof. Jeremy GIBBONS
Oxford University
Dept.of Computer Science
Wolfson Building
Parks Road
OXFORD OX1 3QD

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

Secretary

Prof. Johan JEURING

Utrecht University

Department of Information and Computing Sciences

Buys Ballot Laboratorium 571

P.O. Box 80.089
NL-3508 TB UTRECHT

The Netherlands

Tel. +31 30 2534115

Fax +31 30 2513791

e-mail: j.t.jeuring@uu.nl

CA
CA
DE
DE
DE
DE

Carroll C. Morgan
Hendrik J. Boom
Jules Desharnais
Andres Löh

Bernhard Möller
Helmut Partsch
Peter Pepper

Janis Voigtländer

Fritz Henglein

Tarmo Uustalu

GB
GB
GB
IT

JP
JP

Roland Backhouse

Ralf Hinze
Graham Hutton
Conor McBride
Alberto Pettorossi

Zhenjiang Hu
Eiiti Wada
Bruno Oliveira

Lambert Meertens

TW
UY
US
US

Doaitse Swierstra

Wouter Swierstra

Jose Oliveira

Patrik Jansson

Shin-Cheng Mu
Alberto Pardo
Ernie Cohen
Yanhong A. Liu
David S. Wile

WG 2.2 - Formal Description of Programming Concepts

est. 1965, revised 1991 Aims and Scopes
URL: http://wg22.labri.fr/

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 03

Fax +33 5 40 00 66 69

Vice-Chair
Prof. Javier ESPARZA
Technische Universität München
Institut für Informatik
Boltzmannstr. 3
DE-85748 MÜNCHEN
Germany
Tel. +49 89 289 17204
Fax +49 89 289 17207

Secretary
Prof. Dr. Markus MÜLLER-OLM
Westfälische Wilhelms-Universität Münster
Institut für Informatik

Einsteinstr. 62
DE-48149 MÜNSTER

Germany
Tel. +49 251 83 33765

Fax +49 251 83 33755

DE
DE

DK
FR

FR
FR
FR

Marcelo Frias

Antonin Kucera

Joost-Pieter Katoen

Barbara Koenig
Uwe Nestmann
Ernst-Rüdiger Olderog
Anders P. Ravn
Michel Bidoit

Ahmed Bouajjani
Philippe Darondeau
Stephan Merz

IE
IT
IT
IT

IT
JP

Catuscia Palamidessi

Maciej Koutny
Peter D. Mosses

Luke Ong

Matthew Hennessy
Mariangiola Dezani-Ciancaglini
Ugo Montanari
Rocco De Nicola
Davide Sangiorgi
Masami Hagiya

JP
NL

PL
PL

PT
SE

Naoki Kobayashi

Masahiko Sato

Frank S. de Boer

Jan Rutten

Einar Broch Johnsen

Wojciech Penczek
Andrzej Tarlecki

Luis Caires
K.V.S. Prasad
Radu Grosu

WG 2.3 - Programming Methodology

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

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. Rajeev JOSHI
NASA Jet Propulsion Laboratory (JPL) MS 301-285
4800 Oak Grove Drive
PASADENA, CA 91109
USA
Tel. + 1 818 393 7301
Fax + 1 818 354 3000
e-mail: joshi@jpl.nasa.go

AU
CH

CH
DE
FR
FI
GB
GB

Ian Hayes
Annabelle McIver
Carroll C. Morgan
Bertrand Meyer

Peter Mueller
Manfred Broy
Patrick Cousot
Ralph-Johan Back
Peter Henderson
C.A.R. Hoare

GB
NZ
US

US
US

Michael Jackson
Cliff B. Jones

Jim Woodcock
Mark Utting
Robert M. Balzer

Clark Barrett
Ernie Cohen

William R. Cook
John R. Harrison

US US

US
US
US
US

James Ray Horning

Daniel Jackson

Shriram Krishnamurthy

Butler W. Lampson

Rustan Leino
Jayadev Misra
Greg Nelson
John C. Reynolds
Natarajan Shankar

WG 2.4 - Software Implementation Technology

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

Chair
Prof. Frank TIP

University of Waterloo

David R. Cheriton School of Computer Science
200 University Avenue West
WATERLOO, ON N2L 3G1 Canada

Tel. +1 519 888 4567 ext. 31104

e-mail: ftip@uwaterloo.ca

Vice Chair

Prof. Jan VITEK

Purdue University

Department of Computer Science

305 N. University Street

WEST LAFAYETTE, IN 47907

USA

Tel. +1 765 494 6531

Fax +1 765 494 0739

e-mail: jv@cs.purdue.edu

Secretary
Prof. Jens KNOOP

Technische Universität Wien

Institut für Computersprachen

Fakultät für Informatik

Argentinierstrasse 8/4 E185.1

AT-1040 WIEN, Austria

Tel. +43 1 58801 18510

Fax +43 1 58801 18598

e-mail: knoop@complang.tuwien.ac.at

DE
DE
DE
DE

Markus Schordan

John Gough

Bernhard Scholz

R.Nigel Horspool

Ondrej Lhotak

Thomas Gschwind

Uwe Assmann

Gerhard Goos
Stefan Jähnichen
Uwe Kastens

Rudolf Landwehr
Erhard Plödereder

IN
PL
SE

Arnd Poetzsch-Heffter

Nikola Serbedzija

Wolf Zimmermann

Anders Møller

Christian Probst

Peter Welch

Satish Chandra
Jerzy R. Nawrocki
Peter Fritzson

Welf Löwe

Max Schaefer

Judith Bishop

US
US
US
US

US
US

Cliff Click

Michael Franz

Daan Leijen

Philip Levy

Todd Millstein
C.Robert Morgan
John R. Nestor
Joseph M. Newcomer

William M. Waite
Kurt C. Wallnau

Bruce Watson

WG 2.5 - Numerical Software

est. 1974, revised 1991 Aims and Scopes
URL: http://www.ifip.org/wg-2.5

Chair
Prof. Ronald COOLS
KU Leuven
Department of Computer Science
Celestijnenlaan 200 A
BE-3001 HEVERLEE

Belgium
Tel. +32 0 16 327562
Fax +32 0 16 327996
e-mail: ronald.cools@cs.kuleuven.be

Vice-Chair
Prof. Michael THUNÉ
Dept. of Inf. Technology
Uppsala University
Box 337
SE-751 05 UPPSALA
Sweden
Tel. +46 18 471 2981
Fax +46 18 523 049
e-mail: michael.thune@it.uu.se

Secretary
Prof. Wayne ENRIGHT

Dept. of Computer Science
University of Toronto
TORONTO, ON M5S 3G4
Canada
Tel. +1 416 978 5474
Fax +1 416 978 1931
e-mail: enright@cs.utoronto.ca

CN
DE
DE
DE
ES
GB

Wilfried N. Gansterer

Mo Mu

Wu Zhang
Ulrich Kulisch
Siegfried M. Rump
Wolfgang Walter
Javier Segura
Brian Ford

Tim Hopkins

Ian Reid

NO
NO
SE

US
US

Jennifer Scott

Elias N. Houstis

Shigeo Kawata
Masaaki Shimasaki
Patrick Gaffney
Hans Petter Lantangen
Bo Einarsson

Ronald Boisvert
Craig Douglas

US
US
US
US
US
US
US
US

William D. Gropp

Richard J. Hanson
Osni A. Marques
James C. T. Pool
John R. Rice
Brian T. Smith
W. Van Snyder
Ping Tak Peter Tang
Mladen A. Vouk

WG 2.6 - Database

est. 1974, revised 1985, 1991, 1997 Aims and Scopes
URL: http://www.ifip.org/wg-2.6

Chair

Prof. Ernesto DAMIANI

Universita’ degli Studi di Milano Dipartimento di Tecnologie dell'Informazione

via Bramante 65

IT-26013 CREMA

Italy

Tel. +39 0373 898 064

Fax +39 0373 898 010

e-mail: damiani@dti.unimi.it

Vice-Chair
Prof. Mohand-Said HACID
Université Claude Bernard

Lyon 1
LIRIS - UFR d'Informatique
Batiment Nautibus
43, boulevard du 11 nov. 1918
FR-69622 VILLEURBANNE
France
Tel. +33 4 7243 2774
Fax +33 4 7243 1536
e-mail:

mshacid@liris.univ-lyon.fr

Secretary

Dr. Paolo CERAVOLO

Universita’ degli Studi di Milano

Dipartimento di Tecnologie dell'Informazione

via Bramante 65

IT-26013 CREMA

Italy

Tel. +39 0373 898 073

Fax +39 0373 898 010

e-mail: ceravolo@dti.unimi.it

AU
BE
CH

Marcello Leida

Tharam Dillon
Robert Meersman
Karl Aberer

Mustafa Jarrar
Wolfgang Klas

DE
ES

GB
IL

Erich J. Neuhold
Thomas Risse

Kai-Uwe Sattler
Arantza Illaramendi

Alia Abdelmoty

Avigdor Gal

NL
SE
US

Tiziana Catarci

Maria Luisa Damiani
Monica Scannapieco
Maurice van Keulen
Tore Risch
Philippe Cudre-Mauroux

WG 2.7/13.4 - User Interface Engineering

est. 1975, revised 1987, 1991 Aims and Scopes
URL: http://www.ifip.org/wg-2.7

Chair Dr. Fabio PATERNO CNR-ISTI Via G. Moruzzi 1 IT-56124 PISA Italy Tel. +39 050 315 3066 Fax +39 050 313 8091 e-mail: fabio.paterno@isti.cnr.it		Vice-Chair Prof. Anne BLANDFORD University College London Interaction Centre MPEB 8^th Floor Gower Street LONDON WC1E 6BT United Kingdom Tel. +44 20 7679 0688 Fax +44 20 7387 1397 e-mail: a.blandford@ucl.ac.uk		Secretary Ms. Gaëlle CALVARY Laboratoire d'Informatique de Grenoble Campus de Grenoble Bâtiment B 385 Rue de la Bibliothèque BP 53 FR-38041 GRENOBLE Cedex 9 France Tel. +33 4 7651 4854 Fax +33 4 7663 5686 e-mail: gaelle.calvary@imag.fr

BR CA CA CA DE DE DE DE DE	Simone Barbosa Nicholas Graham Greg Phillips Kevin Schneider Anke Dittmar Peter Forbrig Gerrit Meixner Helmut G. Stiegler Claus Unger	DE DK FR FR FR FR FR FR	Jürgen Ziegler Morten Borup Harning Stéphane Chatty Joëlle Coutaz Emmanuel Dubois Sophie Dupuy-Chessa Laurence Nigay Philippe Palanque	FR GB IE NL PT US US US	Marco Winckler Harold Thimbleby Gavin Doherty Gerrit van der Veer Jose Campos Len Bass Bonnie E. John Rick Kazman

WG 2.8 - Functional Programming

est. 1987, revised 1991 Aims and Scopes
URL: www.wg28.org

Chair
Prof. Benjamin PIERCE
University of Pennsylvania
Dept. of Comp. & Inf. Science
3330 Walnut Street
PHILADELPHIA, PA 19104-6389
USA
Tel. +1 215 898 2012
Fax +1 215 898 0587
e-mail: bcpierce@cis.upenn.edu

Secretary
Dr. Ralf HINZE

Oxford University Computing Laboratory
Oxford University
Wolfson Building, Parks Road
OXFORD OX1 3QD
United Kingdom

Tel. +44 1865 610700

Fax +44 1865 283531

e-mail: ralf.hinze@comlab.ox.ac.uk

AU
CH
DE
DK
DK
FR
FR
GB
GB
GB
GB

GB
GB

Manuel M. T. Chakravarty
Martin Odersky
Peter Thiemann
Olivier Danvy
Fritz Henglein

Xavier Leroy
Didier Remy

Simon Marlow
Conor McBride
Simon Peyton Jones
Colin Runciman

Satnam Singh

Don Syme

David A. Turner

GB
GB
NL
SE
SE
SE
SE
US
US
US
US

US
US

Dimitrios Vytiniotis
Philip Wadler
Rinus Plasmeijer
Lennart Augustsson
Koen Lindström Claessen
John M. Hughes
Mary Sheeran
Arvind
Robert Cartwright
Jack B. Dennis
Conal Elliott

Kathleen Fisher
Robert W. Harper
Paul HudakError! Bookmark not defined.

US
US
US

US
US
US
US

US
US

US
US
US

Mark P. Jones
John Launchbury

David B. MacQueen

Erik Meijer
Greg Morrisett
Rishiyur S. Nikhil
Christopher Okasaki

Norman Ramsey

John Reppy

Olin Shivers

Joe Stoy
Stephanie Weirich

Steve Zdancewic

WG 2.9 - Software Requirements Engineering

est. 1993 Aims and Scopes
URL: http://www.ifip.org/wg-2.9

Chair

Prof. Kevin RYAN

University of Limerick

Lero- The Irish Software Engineering Center

Dept. of Computer Science

and Information Systems

IE-LIMERICK

Ireland

Tel. + 353 61 202405

Fax +353 61 213036

e-mail: kevin.ryan@lero.ie

Vice-Chair
Prof. Mats HEIMDAHL

University of Minnesota

Software Engineering Center , Twin Cities
4-192 EE/CSci Bldg.
200 Union Street S.E.

MINNEAPOLIS, MN 55455

USA

Tel. +1 612 625 2068
Fax +1 612 625 0572

e-mail: heimdahl@cs.umn.edu

Secretary
Dr. Robert J. HALL

AT&T Labs Research

180 Park Ave, Bldg 103

FLORHAM PARK, NJ 07932

USA

Tel. +1 973 360 8207

Fax +1 973 360 8187

e-mail: hall@research.att.com

BE
BR

CA
CA

CA
CA
DE

Sebastian Uchitel

Axel van Lamsweerde
Julio Caesar S. Leite

Joanne Atlee
Daniel M. Berry
Marsha Chechik

Daniela Damian
John Mylopoulos
Klaus Pohl

GB
GB

Anthony Finkelstein
Michael Jackson

Jeffrey Kramer

Jeff Magee

Bashar Nuseibeh

Alistair Sutcliffe
Andrea Zisman

Carlo Ghezzi

Eric Dubois

US
US
US

US
US

Annie I. Anton
Betty H.C. Cheng

Jane Cleland-Huang

Martin S. Feather

Stephen Fickas
Sol J. Greenspan
Daniel Jackson

Robyn R. Lutz
William Robinson

WG 2.10 - Software Architecture

est. 2000 Aims and Scopes
URL: http://www.ifip.org/wg-2.10

Chair
Prof. Tomi MÄNNISTÖ
Aalto University

Department of Computer Science and Engineering
P.O. Box 19210
FI-00076 AALTO
Finland
Tel. +358 9 4702 3373
Fax +358 9 4702 4958

e-mail: tomi.mannisto@tkk.fi

Vice-Chair
Prof. Philippe KRUCHTEN
University of British Columbia
Dept. of Elec. & Comp. Eng.
2332 Main Mall, room 441
VANCOUVER, BC V6T 1Z4
Canada
Tel. +1 604 827 5654
e-mail: pbk@ece.ubc.ca

Secretary

Mr. John KLEIN

Carnegie Mellon University
Software Engineering Institute
4500 Fifth Avenue
PITTSBURGH, PA 15213-2612
USA

Tel. +1 412 268 4553

Fax +1 412 268 6257
e-mail: john.klein@computer.org

GB
GB

Len Bass

Antony Tang

Morven W. Gentleman

Christina Cooper-Bland

Peter Robert Eeles
Eoin Woods

Tadinada Venkata Prabhakar

Patricia Lago

Eltjo Poort

Hans van Vliet

Jan Bosch

Paul C. Clements

US
US
US

Rich Hilliard

Christine Hofmeister

Robert L. Nord
Mary M. Shaw
Judith A. Stafford

WG 2.11 - Program Generation

est. 2003 Aims and Scopes
URL: http://wiki.hh.se/wg211

Chair
Prof. Christian LENGAUER

University Passau

Room 129

DE-94030 PASSAU

Germany

Tel. +49 851 509 3070

Fax +49 851 509 3092

e-mail: christian.lengauer@uni-passau.de

Vice-Chair
Dr. Ulrik Pagh SCHULTZ

University of Southern Denmark

The Maersk Mc-Kinney Moller Institute

Campusvej 55

DK-5230 ODENSE

Denmark

Tel. +45 65 50 35 70

Fax +45 66 15 76 97

e-mail: ups@mmmi.sdu.dk

DK
DK

Anthony Sloane

Jacques Carette

Krzysztof Czarnecki

Derek Rayside

Sven Apel

Christian Kästner

Ralf Lämmel

Ina Schäfer
Olivier Danvy
Robert Glück

Emilie Balland

GB
GB
GB
NL

Charles Consel

Julia Lawall

Laurent Reveilliere

Edwin Brady

Bernd Fischer

Kevin Hammond

Christoph Herrmann
Paul Kelly
John O'Donnell
Eelco Visser

US
US
US
US
US
US

William R. Cook

Ewen Denney

Sam Kamin

Oleg Kiselyov
Chung-Chieh Shan
Tim Sheard
Yannis Smaragdakis
Walid Taha
Stephanie Weirich

Eric van Wyk

WG 2.12/12.4 - Web Semantics

est. 2004, revised 2005 Aims and Scopes
URL: http://www.ifip.org/wg-2.12

Chair Prof. Elizabeth CHANG Curtin University of Technology Centre for Extended Enterprise and Business Intelligence PO Box U1987 PERTH, WA 6845 Australia Tel. +61 8 9266 1235 Fax +61 8 9266 7548 e-mail: elizabeth.chang@cbs.curtin.edu.au			Vice-Chairs Prof. Ernesto DAMIANI Universita degli Studi di Milano Dipartimento di Tecnologie dell’Informazione via Bremante, 65 IT-26013 CREMA Italy Tel. +39 03 738 98064 Fax +39 03 738 98010 e-mail: edamiani@crema.unimi.it		Secretary Dr. Omar HUSSAIN Curtin University Enterprise Unit 4, De Laeter Way Technology Park BENTLEY WA 6102 Australia Tel. +61 8 9266 9275 Fax +61 8 9266 7548 e-mail: o.hussain@cbs.curtin.edu.au

AU AU AU BE BE BE BE CA CA CN CN CN DE DE	John Debenham Tharam Dillon Zahir Tari Robert A. Meersman Mustafa Jarrar Pierre-Yves Schobbens Peter Spyns John Mylopoulos Mihaela Ulieru Qing Li Lizhu Zhou Hai Zhuge York Sure Robert Tolksdorf	ES FR FR GB GB GR IE IE IL IT IT KR NL NL		Carles Sierra Kokou Yetongnon Mohand-Said Hacid David Bell Carole Goble Grigoris Antoniou Christoph Bussler Manfred Hauswirth Avigdor Gal Aldo Gangemi Nicola Guarino Kyu-Young Whang Feng Ling Frank van Harmelen		NL US US US US US US US US US US US US	Wil van der Aalst Elisa Bertino Stefan Decker Usama Fayyad Jiawei Han Ling Liu Mukesh Mohania Masoud Nikvesh Amit Sheth Katia Sycara Susan Urban Ramasamy Uthurusamy Lotfi Zadeh

WG 2.13 - Open Source Software

est. 2006 Aims and Scopes
URL: http://www.ifip.org/wg-2.13

Chair
Prof. Alberto SILLITTI
Free University of Bolzano
Faculty of Computer Science

Piazza Dominicani, 3
IT-39100 BOLZANO

Italy
Tel. +39 0471 016134
Fax +39 0471 016009
e-mail: alberto.sillitti@unibz.it

Vice-Chair

Prof. Tony WASSERMAN
Carnegie Mellon University
Silicon Valley
Building 23 (MS-11)
MOFFETT FIELD, CA 94035
USA
Tel. +1 650 335 2807
e-mail: tonyw@cmu.edu

Secretary
Prof. Tommi MIKKONEN
Tampere University of Technology
Korkeakoulunkatu 10
FI-33720 TAMPERE
Finland
Tel. +358 40 8490749
e-mail: tjm@cs.tut.fi

AU
AU
AT
ES
FR
FR
FR
GB
IE

Elisabeth Chang

Gregory Simmons
Stefan Koch
Jesús Gonzalez-Barahona
Jean-Luc Hardy
Jean-Michel Dalle
Jean Pierre Laisne
Martin Michlmayr
Joseph Feller

Brian Fitzgerald

IT
IT
IT
IT
NL
SA

SE
SE

David Parnas

Ernesto Damiani
Paolo Pumilia
Barbara Scozzi

Giancarlo Succi
Rishab Aiyer Ghosh

Mahmoud Elish
Pär Ågerfalk
Bjorn Lundell

US
US

US
US
US
ZA

Bulent Ozel

Kevin Crowston
Paul A. David

Scott Hissam
Karim Lakhani
Walt Scacchi
Sandy Slaughter
Katherine Stewart
Derrick G. Kourie

WG 2.14/6.12/8.10 - Service-Oriented Systems

est. 2011, revised 2012 Aims and Scopes
URL: http://home.dei.polimi.it/baresi/ifip/index.htm

Chair Prof. Luciano BARESI Politecnico di Milano Dipartimento di Elettronica e Informazione Piazza L. Da Vinci, 32 IT-20133 MILANO Italy Tel. +39 02 2399 3638 Fax +39 02 2399 3574 e-mail: baresi@elet.polimi.it		Vice Chairs Prof. Barbara PERNICI Politecnico di Milano Dipartimento di Elettronica e Informazione Piazza L. Da Vinci, 32 IT-20133 MILANO Italy Tel. +39 02 2399 3526 Fax +39 02 2399 3411 e-mail: pernici@elet.polimi.it Prof. Winfried LAMERSDORF Universität Hamburg FB Informatik Vogt-Kölln-Str. 30 DE-22527 HAMBURG Germany Tel. +49 40 42883 2421/0 Fax +49 40 42883 2328 e-mail: lamersd@informatik.uni-hamburg.de		Secretary Dr. Khaled MAHBUB City University Department of Computing LONDON EC1V OHB United Kingdom Tel: +44 20 7040 0292 Fax +44 20 7040 8887 e-mail: k.mahbub@soi.city.ac.uk

AT AU CH CN DE DE DE ES FI	Schahram Dustdar Vladimir Tosic Cesare Pautasso Ji Wang Andreas Metzger Massimo Paolucci Klaus Pohl Ernesto Pimentel Matti Rossi	FI FR FR GB GB GB IT IT IT	Reima Suomi Valerie Issarny Farouk Toumani Nikolay Mehandjiev George Spanoudakis Andrea Zisman Antonio Brogi Ernesto Damiani Elisabetta Di Nitto	IT IT IT IT LU NL NL NL	Paulo Inverardi Marco Pistore Pierluigi Plebani Gianluigi Zavattaro Eric Dubois Pieter de Leenheer Patricia Lago Mike Papazoglou

WG 2.15/1.9 - Verified Software

WG 2.16 – Programming Language Design

est. 2012 Aims and Scopes
URL: http://program-transformation.org/WGLD

Chair Dr. Eelco VISSER SCT / EWI Delft University of Technology Mekelweg 4 NL-2628 CD DELFT The Netherlands Tel. +31 015 27 87088 Fax +31 015 27 86632 e-mail: e.visser@tudelft.nl		Vice Chairs Dr. William R. COOK Dept. of Computer Science The Univ. of Texas at Austin Taylor Hall 2.124 1 University Station C0500 AUSTIN, TX 78712-1188 USA Tel. +1 512 471 9555 Fax +1 512 471 8885 e-mail: wcook@cs.utexas.edu		Secretary Mr. Jonathan EDWARDS MIT Software Design Group MIT 32-G706 32 Vassar St CAMBRIDGE, MA 02139 USA Tel. +1 781 910 4480 e-mail: edwards@csail.mit.edu

BE CN DE DK GB NL NZ	Tom Van Cutsem Sean McDirmid Stefan Hanenberg Erik Ernst Susan Eisenbach Tijs van der Storm James Noble	US US US US US US US	Andrew P. Black Gilad Bracha Kim Bruce Daniel Ingalls Robby Findler Matthew Flatt Daan Leijen	US US US US US US US	Cristina Lopes Erik Meijer Jan-Willem Maessen Mark S. Miller Mads Torgersen David Ungar Alessandro Warth