TC 1 - Foundations of Computer Science

est. 1989 as SG14 / approved in 1996 as TC 1 Aims and Scopes
URL: http://www.kb.ecei.tohoku.ac.jp/IFIP-TC1/

Chair
Prof. Jacques SAKAROVITCH, FR

Département Informatique et Réseaux
Ecole nationale supérieure des telecommunications
46, rue Barrault
FR-75634 PARIS Cedex 13
Tel. +33 1 45 81 80 60
Fax +33 1 45 81 31 19
e-mail: sakarovitch@enst.fr

AR
AT
AU
BG
CA
CA
CH
CLEI
CN

CZ
DE
DE

DK
ES
FI

Joos Heintz*
Werner Kuich*
James Harland*
Blagovest Sendov*
Thomas Maibaum*
Nicola Santoro**
Gerhard Jäger*
Ricardo Baeza-Yates*
Huimin Lin*

Jozef Gruska*
Wilfried Brauer*
Ernst W. Mayr**
Uwe Nestmann**

Mogens Nielsen*
Joaqim Gabarro*
Arto Salomaa*
Maurice Nivat***

GB
GB

GB
GR
GR

HK
HU

IE
IT
IT
IT

Catuscia Palamidessi**

Vangelis Paschos**
C.A.R. Hoare***
Don Sannella*
Vladimiro Sassone**
Jim Woodcock**
Nikolaos Missirlis*
Paul Spirakis**

Xiaotie Deng*
Zoltan Esik*

Michael Hinchey*
Giorgio Ausiello*
Alberto Bertoni**
Ugo Montanari**
Naoki Kobayashi*
Jos C. M. Baeten**
Peter van Emde Boas*

NL
NL
PL
PL

PT
PT

RS
SI
SK

TH
UA

US
US
US
US
US

Jan van Leeuwen**
Grzegorz Rozenberg**
J. Blazewicz*
Andrzej Tarlecki**
Luis Barbosa*
Amilcar Sernadas**

Miroljub Dugić*
Vladimir Batagelj*
Branislav Rovan*

Srisakdi Charmonman*
Mykola Nikitchenko*

Constance Heitmeyer*
David S. Johnson (ACM)*
John C. Mitchell (ACM)**
Michael O. Rabin***
Leslie G. Valiant***

ex-officio members: WG Chairs
*) TC1 representative from an IFIP Member Society
**) Member recommended by TC1
***) Distinguished Fellow member

WG 1.1 - Continuous Algorithms and Complexity

est. 1992 Aims and Scopes
URL: http://www.cs.columbia.edu/~ap/WG11/

Chair
Prof. Arthur G. WERSCHULZ
Fordham University
Department of Computer and Information Sciences
113 W 60^th Street
NEW YORK, NY 10023

Tel. +1 212 636 6325

e-mail: agw@dsm.fordham.edu

Secretary
Dr. Anargyros PAPAGEORGIOU
Columbia University
Department of Computer Science
1214 Amsterdam Av. MC0401
NEW YORK, NY 10027
Tel. + 1 212 939 7060
Fax + 1 212 666 0140
e-mail: ap@cs.columbia.edu

BE
DE

DE
DE
DE

Harald Niederreiter

Sergei V. Pereverzev
Ronald Cools

Karl Heinz Borgwardt
Stephan Dahlke
Steffen Dereich

Michael Gnewuch
Stefan Heinrich
Marek Karpinski
Peter Mathe

DE
DE
DE

IT
PL
PL

Klaus Meer

Thomas Mueller-Gronbach
Erich Novak
Klaus Ritter

Stefan Geiss

Nicholas Vakhania

Roberto Tempo
Boleslaw Kacewicz
M. Kowalski

US
US

US
US
US

Leszek Plaskota

David Donoho

Fred J. Hickernell

Mark Kon

Hrushikesh Narhar Mhaskar
Steve Smale
Joseph F. Traub

Gergorz Wasilkowski

Henryk Wozniakkowski

WG 1.2 - Descriptional Complexity

est. 1992 Aims and Scopes
URL: http://www.informatik.uni-giessen.de/ifipwg1.2/

Chair
Prof. Giovanni PIGHIZZINI
Università degli Studi di Milano

Dipartimento di Informatica
Via Comelico, 39

IT-20135 MILANO
Italy

Tel. +39 02 5031 6303

Fax +39 02 5031 6304

e-mail: pighizzini@di.unimi.it

Vice-Chair
Prof. Helmut JÜRGENSEN
University of Western Ontario
Dep. of Computer Science
Middlesex College
CA-LONDON, ON N6A 5B7
Canada
Tel. +1 519 661 3560
Fax +1 519 661 3515
e-mail: hjj@csd.uwo.ca

Secretary
Dr. Andreas MALCHER

Universität Giessen
Institut für Informatik

Arndtstr. 2

DE-35392 GIESSEN

Germany

Tel. + 49 641 99 32143

Fax + 49 641 99 32149

e-mail: andreas.malcher@informatik. uni-giessen.de

CA
CA
CA
CA
CA
CZ
CZ
DE
DE
DE

DE
DE
DE

DE
DE
DE
DE

DE
DE

Cezar Campeanu
Tao Jiang
Ming Li
Kai Salomaa
Jeffrey Shallit
Jozef Gruska
Alicia Kelemenova
Norbert Blum
Henning Bordihn
Jürgen Dassow

Markus Holzer
Günter Hotz
Juraj Hromkovic
Martin Kappes

Martin Kutrib

Frank Niessner

Heinz Schmitz
Uwe Schoening
Helmut Seidl

Wolfgang Thomas
Klaus Wagner

DE
ES

HU
IL
IT
IT
IT
JP
JP
JP
NL
NL
NZ

PT
RO
RO

SK
US
US

Detlef Wotschke
Carlos Martin-Vide

Erzsébet Csuhaj-Varju

György Vaszil
Avraham Trahtman
Stefano Crespi Reghizzi
Carlo Mereghetti
Matteo Pradella
Kosaburo Hashiguchi
Akira Ito
Osamu Watanabe
Grzegorz Rozenberg
Paul Vitanyi
Cristian Calude

Nelma Moreira

Rogério Reis
Victor Mitrana
Gheorghe Paun

Viliam Geffert
Eric Allender
Charles H. Bennett

US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US

Manuel Blum
Karel Culik
Andrej Ehrenfeucht
Peter Gacs
Jonathan Goldstine
Juris Hartmanis
Steven Homer
Harry Hunt
Oscar Ibarra
Neil Immerman
Hing Leung
Luc Longpre
Albert R. Meyer
Bala Ravikumar
Jorma Rissanen
Walter Savitch
Joel Seiferas
Michael Sipser
Richard E. Stearns
Leslie G. Valiant

WG 1.3 - Foundations of Systems Specification

est. 1992 Aims and Scopes
URL: http://www.fiadeiro.org/jose/IFIP-WG1.3

Chair
Dr. Till MOSSAKOWSKI

DFKI GmbH Bremen

Enrique-Schmidt-Str. 5

DE-28359 BREMEN

Germany

Tel. +49 421 218 64226

Fax +49 421 218 9864226

e-mail: till.mossakowski@dfki.de

Secretary
Prof. Christine CHOPPY
Univ. Paris Nord 13
Lab. d'Informatique de Paris-Nord
(L.I.P.N.), Institut Galil'ee
Av. J.-B. Clement
FR-93430 VILLETANEUSE
France
Tel. +33 1 4940 3590
Fax +33 1 4826 0712
e-mail: christine.choppy@lipn.univ-
paris13.fr

BE
CA
DE
DE
DE

DE
DE
DE

Pierre-Yves Schobbens
Thomas Maibaum
Hartmut Ehrig
Rolf Hennicker
Hans-Jörg Kreowski

Peter Padawitz
Lutz Schroeder
Martin Wirsing

Mohamed Bettaz
Narciso Marti-Oliet

Fernando Orejas

FR
FR
FR

GB
GB
GB
GB
GB
GB

GB
GB

Michel Bidoit
Dominique Duval
Dominique Mery

Luis Fiadeiro
Reiko Heckel
Alexander Kurz
Peter D. Mosses
Dirk Pattinson
Mark Ryan

Markus Roggenbach

Don Sannella

IT
JP
NL

NL
PL
US
US
US

Vladimiro Sassone

Fabio Cadducci

Andrea Corradini

Ugo Montanari
Kokichi Futatsugi
Bart P.F. Jacobs

Jan Rutten
Andrzej Tarlecki
Jose Meseguer
Dusko Pavlovic
Grigore Rosu

WG 1.4 - Computational Learning Theory

est. 1995 Aims and Scopes
URL: http://www.cs.umd.edu/~smith/ifip.html

Chair
Prof. Arun SHARMA
Queensland University of
Technology
2 George Street
GPO Box 2434
BRISBANE, QLD 4001
Australia
e-mail: arun.sharma@qut.edu.au

Vice-Chair
Mr. Paul VITANYI
CWI & Univ. of Amsterdam
Kruislaan 413
NL-1098 SJ AMSTERDAM

The Netherlands
Tel. +31 20 592 4124
Fax +31 20 592 4199
e-mail: paul.vitanyi@cwi.nl

DE
DE
DE
GB
GB
IL

Janos Jantke
Marek Karpinski
Kathrina Morik
Martin Anthony
V. Vovk
Shai Ben-David

JP
JP

LV
US
US

Nicolo Cesa-Bianchi
Setsuo Arikawa
Kenjii Yamanisi
R. Freivalds
Erik Baum
Tom Cover

US
US
US
US
US

Y. Freund
David Haussler
S. Kwek
R. Schapire
Eduardo Sontag
Leslie G. Valiant

WG 1.5 - Cellular Automata and Discrete Complex Systems

est. 1994, dissolved 2004, re-established 2008 Aims and Scopes

Chair
Prof. Jarkko KARI

University of Turku

Department of Mathematics

FI-20014 TURKU

Finland

Tel. +358 2 333 5616
Fax +358 2 333 6595

e-mail: jkari@utu.fi

Vice-Chair
Prof. Kenichi MORITA

Hiroshima University

Department of Information Engineering

Graduate School of Eng.

JP-739-8527 HIGASHI-HIROSHIMA, Japan

Tel. +81 82 424 7700

Fax +81 82 422 7195

e-mail:

morita@iec.hiroshima-u.ac.jp

Secretary

Prof. Nicolas OLLINGER

Aix-Marseille Université, CNRS LIF, CMI

39 rue Joliot-Curie

FR-13453 MARSEILLE Cedex 13

France

Tel. +33 4 9111 3621

Fax +33 4 9111 3602

e-mail:

nicolas.ollinger@lif.univ-mrs.fr

Andre Barbe

Pedro de Oliveira

Henryk Fuks

Anna Lawniczak

Marcus Pivato

Burton Voorhees

Bastien Chopard

Marco Tomassini

Eric Goles

Alejandro Maass

Andres Moreira

Petr Kurka

Andreas Deutsch

Martin Kutrib

Andreas Malcher

Guentcho Skordev

Roland Vollmar

Thomas Worsch

Marianne Delorme

Bruno Durand

Nazim Fates

Enrico Formenti

Maurice Margenstern

Jacques Mazoyer

Michel Morvan

Victor Poupet

Veronique Terrier

Laurent Vuillon

Andy Adamatzky

Stefania Bandini
Gianpiero Cattaneo

Giancarlo Mauri

Katsunobu Imai

Chuzo Iwamoto

Hidenosuke Nishio

Ferdinand Peper

Hiroshi Umeo

Grzegorz Rozenberg

Peter Sloot

Danuta Makowiec

Pawel Siwak

Nino Boccera
James Crutchfield

Oscar Ibarra

Klaus Sutner

Tommaso Toffoli

Andrew Wuensche

WG 1.6 - Term Rewriting

est. 1998 Aims and Scopes
URL: http://verify.rwth-aachen.de/IFIP-WG1.6/

Chair
Prof. Jürgen GIESL
RWTH Aachen
Fachgruppe Informatik
Ahornstr. 55
DE- 52074 AACHEN
Germany
Tel. +49 241 80 21230
Fax +49 241 80 22217
e-mail:

giesl@informatik.rwth-aachen.de

Vice-Chair
Prof. Hans ZANTEMA
Eindhoven University of Technology
Department of Computer Science
P.O. Box 513
NL-5600 MB EINDHOVEN
The Netherlands
Tel. +31 40 2472749
Fax +31 40 2468508
e-mail: h.zantema@tue.nl

Secretary

Prof. Peter SCHNEIDER-KAMP

University of Southern Denmark

Department of Mathematics & Computer Science

Campusvej 55

DK-5230 ODENSE M

Denmark

Tel. +45 6550 2327

Fax +45 6550 2325

e-mail: petersk@imada.sdu.dk

DE
DE
DE
DE
DE

Aart Middeldorp

Bernhard Gramlich

Georg Moser
Jürgen Avenhaus*
Franz Baader
Klaus Madlener
Friedrich Otto
Manfred Schmidt-Schauss

Johannes Waldmann

Salvador Lucas
Robert Nieuwenhuis

Albert Rubio
Siva Anantharaman
Hubert Comon

FR
FR
FR

GB
IL
IT
IT
IT

Gerard Huet*

Jean-Pierre Jouannaud*

Delia Kesner

Claude Kirchner
Helene Kirchner
Pierre Lescanne
Michael Rusinowitch

Ralf Treinen

Laurent Vigneron

Maribel Fernández
Nachum Dershowitz
Corrado Boehm*
Maria Paola Bonacina
Ugo Montanari*

NL
NL
NL
US
US

US
US
US
US

Tetsuo Ida

Yoshihito Toyama

Henk Barendregt*

Jan Willem Klop*
Vincent van Oostrom
Femke van Raamsdonk
Daniel J. Dougherty
Deepak Kapur

Christopher Lynch
Jose Meseguer
Paliath Narendran
David Plaisted

Kristoffer Rose

*) Honorary member

WG 1.7 - Theoretical Foundations of Security Analysis and Design

est. 1999 Aims and Scopes
URL: http://www.dsi.unive.it/~focardi/IFIPWG1_7/

Chair
Prof. Pierpaolo DEGANO
Università di Pisa

Dipartimento di Informatica
Largo Bruno Pontecorvo, 3
IT-56127 PISA
Italia
Tel.: +39 050 2212 757
Fax: +39 050 2212 726
e-mail: degano@di.unipi.it

AU
BE
DE
DE
FR

FR
FR
GB

Colin Boyd
Jean-Jacques Quisquater
Dieter Gollman
Jan Jürjens
Dominique Bolignano
Veronique Cortier
Catuscia Palamidessi
Gavin Lowe

GB
IE
IL
IT

IT
NL

Peter Ryan

Steve Schneider
Simon Foley
Raphael Yahalom
Roberto Gorrieri
Riccardo Focardi

Luca Vigano

Sandro Etalle

US
US
US

US
US
US
US
US

Martin Abadi
Li Gong
Joshua Guttman

Catherine Meadows
Jonathan K. Millen
John C. Mitchell
Paul Syverson
Moti Yung

WG 1.8 - Concurrency Theory

est. 2005 Aims and Scopes

Chair
Prof. Dr. Jos BAETEN
CWI

Centrum Wiskunde & Informatica

P.O. Box 94079
NL-1090 GB AMSTERDAM

The Netherlands

e-mail: jos.baeten@cwi.nl

Secretary
Dr. Bas LUTTIK
Technical University Eindhoven
Computer Science Department
P.O. Box 513
NL-5600 MB EINDHOVEN
The Netherlands
Tel. +31 40 247 5142
Fax +31 40 247 5361
e-mail: s.p.luttik@tue.nl

AR
AU
CA
CN
CN

DE
DE

ES
FR
FR
FR

Pedro D’Argenio
Rob van Glabbeek
Prakash Panangaden
Huimin Lin
Xinxin Liu

Ursula Goltz
Holger Hermanns
Joost-Pieter Katoen
Uwe Nestmann
Walter Vogler
K.G. Larsen

David de Frutos Escrig
Roberto Amadio
Gerard Boudol
Ilaria Castellani

FR
FR

GB
GB
GB
GB
GB
HU
IL
IN

IS
IT
IT

Vincent Danos
Hubert Garavel

Catuscia Palamidessi

Luca Cardelli
Bill Roscoe
Steve Schneider
Colin Stirling
Irek Ulidowski
Nobuko Yoshida
Zoltan Esik
Orna Kupferman
Madhavan Mukund

Luca Aceto
Marco Bernardo
Flavio Corradini

IT
IT

IT
IT
IT
JP

NL
NL
NL
SG
US
US
US

Silvia Crafa
Rocco De Nicola

Anna Labella

Cosimo Laneve
Ugo Montanari
Corrado Priami
Davide Sangiorgi
Naoki Kobayashi

Wan Fokkink
Mohammad Reza Mousavi
Alban Ponse
P. S. Thiagarajan
Luca de Alfaro
Scott Smolka
Moshe Y. Vardi

WG 1.9/2.15 - Verified Software

est. 2010 Aims and Scopes

Chair
Prof. Jim WOODCOCK

University of York

Department of Computer Science

Heslington

YORK Y010 5DD

United Kingdom

Tel. +44 1904 434335

Fax +44 1904 432767

e-mail: jim@cs.york.ac.uk

Secretary
Dr. Natarajan SHANKAR
SRI International
333 Ravenswood Ave.
MENLO PARK, CA 94025-3493
USA
Tel. +1 415 859 5272
e-mail: shankar@csl.sri.com

Peter Mueller

Tiziana Margaria

Wolfgang Paul

Jean-Christophe Filliatre

Andrew Ireland

Gary Leavens

Pete Manolios