TC 1 - Foundations of Computer Science

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

Chair
Prof. Michael G. HINCHEY, IE
Co-Director

Lero – the Irish Software

Engineering Research Centre
University of Limerick
LIMERICK
Ireland
Tel. +353 61 233607
Fax +353 61 213036
e-mail: mike.hinchey@lero.ie

AR
AT
AU
BG
BR

CA
CA
CH
CLEI
CN

CZ
DE
DE

DK
ES
FI

Joos Heintz*
Werner Kuich*
James Harland*
Blagovest Sendov*
Imre Simon*

Thomas Maibaum
Nicola Santoro**
Jose Rolim*
Ricardo Baeza-Yates*
Huimin Lin*

Jozef Gruska*
Wilfried Brauer*
Ernst W. Mayr**
Mogens Nielsen*
Josep Diaz-Cort*
Arto Salomaa*
Maurice Nivat*

FR
GB
GB
GB

GB
GR
GR

HK
HU
IT
IT
IT

Catuscia Palamidessi**

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

Xiaotie Deng*
Zoltan Esik*
Giorgio Ausiello*
Alberto Bertoni**
Ugo Montanari**
Naoki Kobayashi*
Jos C. M. Baeten***

NL
NL
PL
PL

PT
PT

RS
SI
SK

US
US
US
US
US
US

P. van Emde Boas

Jan van Leeuwen**
Grzegorz Rozenberg**
J. Blazewicz*
Andrzej Tarlecki***
José de Barros*
Amilcar Sernadas**

Miroljub Dugić*
Vladimir Batagelj*
Branislav Rovan*

Srisakdi Charmonman*

Constance Heitmeyer*
D.S. Johnson (ACM)*
John C. Mitchell (ACM)**
Michael O. Rabin***
David Johnson (ACM)**
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/cacnet

Chair
Prof. Christopher SIKORSKI

University of Utah

School of Computing

50 S Centr.Campus Dr.Rm 3190

SALT LAKE CITY, UT 84112-9205, USA

Tel. +1 801 581 8579

Fax +1 801 581 5843

e-mail: sikorski@cs.utah.edu

Secretary
Prof. Arthur G. WERSCHULZ
Columbia University
Dept. of Computer Science
NEW YORK, NY 10027, USA
Tel. +1 212 636 6325
Fax +1 212 581 1284 at Fordham Univ.
e-mail: agw@cs.columbia.edu

AT
CN
DE
DE
DE
DE
DE
DE
DE
DE

Harald Niederreiter
Gen Sun Fang
K.H. Borgwardt
S. Graf
S. Heinrich
Marek Karpinski
P. Mathe
K. Meer
E. Novak
K. Ritter

W. Schmidt

DE
DE
IT
PL
PL
PL
PL

RU
RU

H. Strauss
K. Wilderotter
R. Tempo
B.Z. Kacewicz
M. Kowalski
J. Kuczynski
L. Plaskota
Dima Yu Grigoriev
A.S. Nemirovsky

S.V. Pereverzev

RU
RU
RU
US
US
US
US
US
US

A. Sukharev
V.N. Temlyakov
N. Vakhania
D. Donoho

M. Kon
P. Nelson
A. Papageorgiou
S. Smale
Joseph F. Traub

Henryk Wozniakkowski

WG 1.2 - Descriptional Complexity

est. 1992 Aims and Scopes
URL: http://psc.informatik.uni-frankfurt.de/ifip-wg1.2/

Chair
to be determined

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

Secretary
Ms. Bettina SUNCKEL
University of Frankfurt
Computer Science Dept.
School of Biological and
Computing Sciences
Robert-Mayer Str. 11-15
DE-60054 FRANKFURT, Germany
Tel. +49 69 798 28419
Fax +49 69 798 28334
e-mail:
b.sunckel@em.uni-frankfurt.de

AT
AU
AU
CA
CA
CA
CA
CA
CA
CA
CA
CZ
CZ
DE
DE
DE
DE
DE
DE

DE
DE
DE
DE
DE
DE
DE
DE
DE
DE
DE
DE
ES
ES
ES

Walter Bucher
P. Davies
J. Quinlan

Fahiem Bacchus
Cezar Campeanu
Tao Jiang
Ming Li
K. Salomaa
J. Shallit
Derick Wood
S. Yu
Jozef Gruska
Alicia Kelemenova
Norbert Blum
H. Bordihn
Jürgen Dassow
Joachim Dengler
Günter Hotz
Juraj Hromkovic
Helmut Jürgensen
M. Kappes
Frank Niessner
H. Petersen
B. Reichel
H. Schmitz
Uwe Schoening
Helmut Seidl
Wolfgang Thomas
Klaus Wagner
Andreas Weber
Detlef Wotschke
Jose Balcazar
Josep Diaz-Cort
C. Martin-Vide

FI
GB
HU
HU
HU
IL
IT
IT
IT
IT
JP
JP
JP
JP
JP
NL
NL
NL
NL
NZ
PL
PL
RO
RO
RU
US
US
US
US
US
US
US

J. Sempere
Pekka Orponen
Colin Blakemore
Imre Csiszar
Erzsébet Csuhaj-Varju
Laszlo Gerencer
A.N. Trahtman
Stefano Crespi Reghizzi
C. Mereghetti
G. Pighizzini
M. Pradella
K. Hashiguchi
A. Ito
N. Takahashi
Osamu Watanabe
Kenjii Yamanishi
Grzegorz Rozenberg
Peter A. van der Helm
Michiel van Lambalgen
Paul Vitanyi
Cristian Calude
A.W. Mostowski
J. Neumann
V. Mitrana
G. Paun
Vladimir A. Uspensky
Eric Allender
Charles H. Bennett
Manuel Blum
Alexander Botta
Peter Cheeseman
Tom Cover
Karel Culik

Byron Dom

US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
US
ZA

Andrej Ehrenfeucht
Michael Fisher
Joseph Ford
Peter Gacs
Jonathan Goldstine
Juris Hartmanis
David Haussler
Steven Homer
Harry Hunt
Oscar Ibarra
Neil Immerman
John Kieffer
G.A. Kiraz
Ker-I Ko
Hing Leung
Leonid A. Levin
L. Longpre
Jack Lutz
Albert R. Meyer
Mike Pazzani
Bala Ravikumar
Jorma Rissanen
Daniel Rosenkranz
Walter Savitch
J. Seiferas
Michael Sipser
Ray Solomonoff
Richard E. Stearns
Larry J. Stockmeyer
Leslie G. Valiant
J. Wheeler
W. Zurek
Y. Velinov

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

Mathematics Department

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 91 11 36 21

Fax +33 4 91 11 36 02

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

Secretary

Prof. Dr. 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
DE

Aart Middeldorp

Bernhard Gramlich
Jürgen Avenhaus*
Franz Baader
Klaus Madlener
Tobias Nipkow
Friedrich Otto
Manfred Schmidt-Schauss

Johannes Waldmann

Salvador Lucas
Robert Nieuwenhuis
Siva Anantharaman
Hubert Comon

Gerard Huet*

FR
FR
FR

GB
IL
IT
IT
IT
JP
JP

Jean-Pierre Jouannaud*

Claude Kirchner
Helene Kirchner
Pierre Lescanne
Michael Rusinowitch

Ralf Treinen

Laurent Vigneron

Maribel Fernández
Nachum Dershowitz
Corrado Boehm
Maria Paola Bonacina
Ugo Montanari*
Tetsuo Ida
Mitsuhiro Okada

NL
NL
NL
NL

US
US

US
US
US
US

Masako Takahashi-Horai

Yoshihito Toyama

Henk Barendregt*

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

Christopher Lynch
Jose Meseguer
Paliath Narendran
David Plaisted

*) 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
Ms. Catherine A. MEADOWS
Naval Research Laboratory
Code 5543
WASHINGTON, DC 20375
USA
Tel. +1 202 767 3490
Fax +1 202 404 7942
e-mail: meadows@itd.nrl.navy.mil

AU
BE
BE
DE
DE
FR
GB

Colin Boyd
Guy Leduc
Jean-Jacques Quisquater
Dieter Gollman
Jan Jürjens
Dominique Bolignano
Gavin Lowe
Peter Ryan

GB
IE
IL
IT
IT

IT
NL

Steve Schneider
Simon Foley
Raphael Yahalom
Pierpaolo Degano
Roberto Gorrieri
Riccardo Focardi
Sandro Etalle

US
US
US
US
US
US
US

Martin Abadi
Li Gong
Joshua Guttman
Jonathan K. Millen
John C. Mitchell
Paul Syverson
Moti Yung

WG 1.8 – Concurrency Theory

est. 2005 Aims and Scopes

Chair
Prof. Jos Baeten
Eindhoven Univ.of Technology
Dept. of Mathematics & Computer Science

Div.of Comp.Sc, Formal Methods Group

P.O. Box 513

NL-5600 MB EINDHOVEN

The Netherlands

Tel. +31 40 2475155
Fax +31 40 2463992
e-mail: josb@win.tue.nl

Vice-Chair
Prof. Wan FOKKINK
Vrije Universiteit Amsterdam
Dept. of Computer Science
De Boelelaan 1081a
NL-1081 HV AMSTERDAM
The Netherlands
Tel. +31 20 598 7735
Fax +31 20 598 7653
e-mail: wanf@cs.vu.nl

Secretary
Prof. Anna INGÓLFSDÓTTIR
Reykjavik University
School of Computer Science
Ofanleiti 2
IS-103 REYKJAVIK
Iceland
e-mail: annaing@hi.is

AR
AU
AU
CA
CN
CN
DE

DK
FR
FR
FR
FR
FR
FR

Pedro D’Argenio
Rob van Glabbeck
George J. Milne
Prakash Pannangaden
Huimin Lin
Xinxin Liu
Holger Hermanns
Joost-Pieter Katoen
Uwe Nestmann
Walter Vogler
K.G. Larsen
Roberto Amadio
Gerard Boudol
Ilaria Castellani
Vincent Danos
Hubert Garavel

Catuscia Palamidessi

GB
GB
GB
GB
GB
GB
GB
GB
HU
IL
IN

IS
IT
IT
IT

Luca Cardelli
Andrew D. Gordon
Matthew Hennessy
Kohei Honda
Bill Roscoe
Steve Schneider
Colin Stirling
Irek Ulidowski
Nobuko Yoshida
Zoltan Esik
Orna Kupferman
Madhavan Mukund

Luca Aceto
Marco Bernardo
Flavio Corradini
Rocco De Nicola

IT
IT
IT
JP
NL
NL
NL
NL
SG
US
US
US
US
US

Anna Labella

Cosimo Laneve
Ugo Montanari
Corrado Priami
Davide Sangiorgi
Naoki Kobayashi
Jan Bergstra
Jan Friso Groote
Bas Luttik
Alban Ponse
P. S. Thiagarajan
Martin Abadi
Luca de Alfaro
Scott Smolka
Eugene W. Stark
Moshe Y. Vardi

WG 1.9 – Verified Software (joint with WG 2.11)

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

Member list under construction