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 Lero – the Irish Software
|
|
|
|
|
|||||
|
AR CA CZ DK FR |
Joos
Heintz* Thomas
Maibaum Jozef
Gruska* |
FR FR FR GB GB HK JP NL
|
Catuscia
Palamidessi** Vangelis
Paschos** Xiaotie
Deng* |
NL
PT RS TH
|
P.
van Emde Boas Jan
van Leeuwen** Miroljub
Dugić* Srisakdi Charmonman* Constance Heitmeyer* |
ex-officio members:
WG Chairs
*) TC1 representative from an IFIP Member Society
**) Member recommended by TC1
***) Distinguished Fellow member
est.
1992 Aims and Scopes
URL: http://www.cs.columbia.edu/cacnet
|
Chair School of Computing 50 S Centr.Campus
Dr.Rm 3190 Tel. +1 801 581 8579 Fax
+1 801 581 5843 e-mail:
sikorski@cs.utah.edu |
|
|
|
|
|||||
|
AT DE |
Harald
Niederreiter W.
Schmidt |
DE RU RU |
H.
Strauss S.V. Pereverzev |
RU US |
A. Sukharev M. Kon Henryk Wozniakkowski |
est.
1992 Aims and Scopes
URL: http://psc.informatik.uni-frankfurt.de/ifip-wg1.2/
|
Chair |
|
Secretary |
|
|
|||||
|
AT DE |
Walter
Bucher Fahiem
Bacchus |
ES FI US |
J. Sempere Byron Dom |
US |
Andrej
Ehrenfeucht |
est.
1992 Aims and Scopes
URL: http://www.fiadeiro.org/jose/IFIP-WG1.3
|
Chair DFKI GmbH Enrique-Schmidt-Str. 5 DE-28359 Tel. +49 421 218 64226 Fax +49 421 218
9864226 e-mail:
till.mossakowski@dfki.de |
|
Secretary |
|
|
|||||
|
BE DE DZ ES ES
|
Pierre-Yves
Schobbens Peter
Padawitz Mohamed Bettaz Fernando
Orejas |
FR GB GB
|
Michel
Bidoit Luis
Fiadeiro Markus
Roggenbach Don
Sannella |
GB IT IT IT
|
Vladimiro
Sassone Fabio
Cadducci Andrea
Corradini Ugo
Montanari Jan
Rutten |
est.
1995 Aims and Scopes
URL: http://www.cs.umd.edu/~smith/ifip.html
|
|
Vice-Chair The |
|
|
|
|||||
|
DE |
Janos
Jantke |
IT JP
|
Nicolo Cesa-Bianchi |
US
|
Y. Freund |
est. 1994,
dissolved 2004, re-established 2008 Aims and Scopes
|
Chair Mathematics Department FI-20014 Tel. +358 2 333 5616 e-mail:
jkari@utu.fi |
Vice-Chair Department of Information Engineering Graduate JP-739-8527 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 Tel. +33 4 91 11 36 21 Fax +33 4 91 11 36 02 e-mail: nicolas.ollinger@lif.univ-mrs.fr
|
|
|
|||||
|
BE BR CA CA CA CA CH CH CL CL CL CZ DE DE DE DE |
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 |
DE DE FR FR FR FR FR FR FR FR FR FR GB IT IT IT |
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 Giancarlo Mauri |
JP JP JP JP JP NL NL PL PL US US US US US US |
Katsunobu Imai Chuzo Iwamoto Hidenosuke Nishio Ferdinand Peper Hiroshi Umeo Grzegorz Rozenberg Peter Sloot Danuta Makowiec Pawel Siwak Nino Boccera Oscar Ibarra Klaus Sutner Tommaso Toffoli Andrew Wuensche |
est.
1998 Aims and Scopes
URL: http://verify.rwth-aachen.de/IFIP-WG1.6/
|
Chair |
|
Secretary Prof. Dr. Peter SCHNEIDER-KAMP 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 |
|
|
|||||
|
AT AT DE DE ES ES FR FR FR |
Aart
Middeldorp Bernhard
Gramlich Johannes
Waldmann Salvador
Lucas Gerard Huet* |
FR FR FR FR FR GB |
Jean-Pierre
Jouannaud* Claude
Kirchner Ralf
Treinen Laurent
Vigneron Maribel
Fernández
|
JP JP NL NL
|
Masako Takahashi-Horai Yoshihito Henk Barendregt* Jan Willem Klop Christopher Lynch |
est.
1999 Aims and Scopes
URL: http://www.dsi.unive.it/~focardi/IFIPWG1_7/
|
Chair |
|
|
|
|
|||||
|
AU GB |
Colin
Boyd |
GB IT |
Steve
Schneider |
|
Martin Abadi |
|
Chair Div.of Comp.Sc, Formal
Methods Group NL-5600 MB The Tel. +31 40 2475155 |
Vice-Chair |
|
|
|
|||||
|
AR DE DE DE DK
|
Pedro
D’Argenio Catuscia Palamidessi |
GB GB IS |
Luca Cardelli Luca
Aceto |
IT IT IT |
Anna Labella Cosimo Laneve |
est.
2010 Aims and Scopes
|
Chair Department of Computer
Science Heslington Tel. +44 1904 434335 Fax +44 1904 432767 e-mail:
jim@cs.york.ac.uk Member
list under construction |
|
|