TC 1 - Foundations of Computer Science

est. 1989 as SG14 / approved in 1996 as TC 1     Aims and Scopes
URL: http://www.ifip-tc1.org

Chair
Prof. Jacques SAKAROVITCH*, FR

LTCI, CNRS / Télécom ParisTech

Département Informatique et Réseaux

46, rue Barrault
FR-75013  PARIS Cedex 13

France
Tel.
+33 1 45 81 80 60
Fax +33 1 45 81 31 19
e-mail:
sakarovitch@enst.fr

 



 

 

 

 

AR
AT
AU
BG

BR
CA
CA

CA
CH
CLEI
CN

CZ

DE
DE

DE

DK
ES

Joos Heintz*
Werner Kuich*

James Harland*

Blagovest Sendov*

Augusto Sampaio*
Thomas Maibaum*

Nicola Santoro**

Joseph Traub**
Gerhard Jäger*
*
Christian Schaerer*
Huimin Lin*

Jozef Gruska*

Volker Diekert*

Ernst W. Mayr**

Uwe Nestmann**

Lars Birkedal*
Joaqim Gabarro*

FI
FR

FR

FR

GB
GB

GB

GB
GR
GR

HK
IE
IT

IT
IT

JP

JP

Arto Salomaa***
Maurice Nivat***

Catuscia Palamidessi**

Vangelis Paschos**
C.A.R. Hoare***

Don Sannella**

Vladimiro Sassone*

Jim Woodcock**

Nikolaos Missirlis*

Paul Spirakis**

Xiaotie Deng*
Michael Hinchey*

Giorgio Ausiello*

Alberto Marchetti-Spaccamela**

Ugo Montanari**

Takayasu Ito**
Naoki Kobayashi*

NL
NL

NL
NL
PL

PL

PT
PT

RS
SI
SK

UA

US
US
US
US
US

Jos C. M. Baeten*
Peter van Emde Boas**

Jan van Leeuwen***
Grzegorz Rozenberg**

J. Blazewicz*

Andrzej Tarlecki**

Luis Barbosa*

Amilcar Sernadas**

Miroljub Dugić*
Vladimir Batagelj*

Branislav Rovan*

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, dissolved 2016

 

 

 

 

 

 

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

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 Wagne
r

DE
ES

HU

HU
IL
IT
IT
IT
JP
JP
JP
NL
NL
NZ

PT

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://ifipwg13.cs.ovgu.de/

Chair

Prof. Markus ROGGENBACH

University of Wales Swansea

Department of Computer Science

Singleton Park

SWANSEA SA2 8PP

United Kingdom
Tel.
+44 1792 51-3578

e-mail: m.roggenbach@swan.ac.uk

Vice-Chair

Prof. Dr. Lutz SCHRÖDER
Friedrich-Alexander Universität

Erlangen-Nürnberg
Department of Computer Science
Martenstraße 3
DE-91058 ERLANGEN

Germany
Tel. +49 9131 85 64059
e-mail: lutz.schroeder@fau.de

 

 

 

 

AR

AU

AU

BE

BR
CA

DE
DE

DE

DE
DE

DE

DE

DE

DE

DE

DE

DE
DE

Carlos G. Lopez Pombo

Carroll Morgan

Dirk Pattinson

Pierre-Yves Schobbens

Leila Ribeiro
Thomas Maibaum

Hans-Dieter Ehrich*
Rolf Hennicker

Alexander Knapp

Barbara König
Hans-Jörg Kreowski*

Bernd Krieg-Brückner*

Jacques Loeckx*

Stefan Milius

Till Mossakowski

Peter Padawitz

Horst Reichel*

Holger Schlingloff
Martin Wirsing
 

ES

ES

FR
FR
FR

FR

FR
FR

GB

GB
GB
GB

GB
GB
GB

GB
IT
IT

Narciso Marti-Oliet

Fernando Orejas
Michel Bidoit*
Christine Choppy*
Dominique Duval

Marie-Claude Gaudel*

Pierre Lescanne*
Dominique Mery

Corina Cirstea

Luis Fiadeiro
Reiko Heckel

Alexander Kurz

Peter D. Mosses*

Andrzej Murawski
Don Sannella

Pawel Sobocinski
Egidio Astesiano*

Paolo Baldan

IT

IT

IT

IT

IT

IT

JO
JP

NL
NL

NL

PL

PL

PT
US
US
US

US

Egon Börger*

Andrea Corradini

Fabio Gadducci

Stefania Gnesi

Ugo Montanari

Francesco Parisi-Presicce*

Mohamed Bettaz

Kokichi Futatsugi*

Marcello Bonsangue
Bart P.F. Jacobs

Jan Rutten

Bartek Klin

Andrzej Tarlecki

Luis Barbosa
Jose Meseguer*

Dusko Pavlovic

Grigore Rosu

Eric Wagner*

*) member emeritus

 

WG 1.4 - Computational Learning Theory

est. 1995, dissolved 2015    
 

 

WG 1.5 - Cellular Automata and Discrete Complex Systems

est. 1994, dissolved 2004, re-established 2008    Aims and Scopes
URL: http://www.iec.hiroshima-u.ac.jp/ifip15


 

 

Chair
Dr. Pedro P. B.  DE OLIVEIRA

Universidade Presbiteriana Mackenzie

Faculdade de Computação e Informática

Rua da Consolação 896

BR-01302-907 SÃO PAULO, SP

Brazil

Tel. +55 12 98149 8758

e-mail: pedrob@mackenzie.br
http://professor.mackenzie.br/pedrob

Vice-Chair

Dr. Nazim FATÈS

Inria Nancy - Grand Est 

615 rue du Jardin Botanique

FR-54 600 VILLERS-LÈS-NANCY

France 

Tel: +33 3 54 95 85 16

e-mail: nazim.fates@loria.fr

http://www.loria.fr/~fates

Secretary

Dr. Katsunobu IMAI

Hiroshima University

Graduate School of Engineering

1-4-1, Kagamiyama

HIGASHI-HIROSHIMA,

739-8527, Japan

Tel. +81 824 24 7708

Fax +81 824 22 7195

e-mail: imai@hiroshima-u.ac.jp

http://www.iec.hiroshima-u.ac.jp/~imai

 

 

BE

CA

CA

CA

CA

CH

CH

CL

CL

CL

CL

CZ

DE

DE

DE

DE

DE
FI

Andre Barbe

Henryk Fuks

Anna Lawniczak

Marcus Pivato

Burton Voorhees

Bastien Chopard

Matthew Cook

Eric Goles

Alejandro Maass

Andres Moreira

Ivan Rapaport

Petr Kurka

Andreas Deutsch

Martin Kutrib

Andreas Malcher

Guentcho Skordev

Thomas Worsch
Jarkko Kari

FI

FR

FR

FR

FR

FR

FR

FR

FR
FR

FR

FR

FR

FR

FR

GB

IT

IT

Ville Salo

Julien Cervelle

Marianne Delorme

Bruno Durand

Enrico Formenti

Pierre Guillon

Gregory Lafitte

Maurice Margenstern

Jacques Mazoyer
Nicolas Ollinger

Victor Poupet

Gaetan Richard

Veronique Terrier

Guillaume Theyssier

Laurent Vuillon

Andy Adamatzky

Stefania Bandini
Gianpiero Cattaneo

IT

IT

JP

JP

JP

JP

JP

JP

NL

NL

NL

PL

PL

US

US

US

US

US

Alberto Dennunzio

Giancarlo Mauri

Teijiro Isokawa

Chuzo Iwamoto

Kenichi Morita

Hidenosuke Nishio

Ferdinand Peper

Hiroshi Umeo

Grzegorz Rozenberg

Peter Sloot

Siamak Taati

Danuta Makowiec

Pawel Siwak

Nino Boccera
James Crutchfield

Klaus Sutner

Tommaso Toffoli

Andrew Wuensche



WG 1.6 - Term Rewriting

est. 1998     Aims and Scopes
URL: http://cbr.uibk.ac.at/ifip-wg1.6/ 

Chair
Prof. Georg MOSER

University of Innsbruck
Institute of Computer Science
Technikerstrasse 21a

AT-6020 INNSBRUCK

Austria

Tel. +43 512 507 53213

e-mail: georg.moser@uibk.ac.at







Secretary

Dr. Ugo DAL LAGO

Universita degli Studi di Bologna
Dipartimento di Informatica-Scienza e Ingegneria
Mura Anteo Zamboni, 7
IT-40127 BOLOGNA
Italy

Tel. +39 05 1209 4991
Fax +39 05 1209 4510

e-mail: dallago@cs.unibo.it

 

 

AT

DE
DE
DE

DE

DE
DE
DE

DE

DK

ES

ES

ES

FR

FR

FR
FR

Aart Middeldorp

Jürgen Avenhaus*
Franz Baader*

Jürgen Giesl
Klaus Madlener*

Tobias Nipkow*
Friedrich Otto

Manfred Schmidt-Schauss

Johannes Waldmann

Peter Schneider-Kamp

Salvador Lucas
Robert Nieuwenhuis

Albert Rubio
Siva Anantharaman

Hubert Comon*

Gilles Dowek
Gerard Huet*

FR

FR

FR

FR

FR
FR
FR

FR

FR

GB
IL
IT
IT
IT

JP

JP

Florent Jacquemard

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*

Takahito Aoto

Nao Hirokawa

JP

JP

NL

NL
NL
NL

NL
US

US

US
US
US
US

US

US

US

Tetsuo Ida

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

Kristoffer Rose

Aaron Stump

Ashish Tiwari

*) honorary member


WG 1.7 - Theoretical Foundations of Security Analysis and Design

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

Chair
Prof. Riccardo FOCARDI

Università Ca’ Foscari di Venezia

Dipartimento di Informatica

Via Torino 155

IT-30172 MESTRE

Italy

Tel. +39 041 2348438

Fax +39 041 2348419

e-mail: focardi@dsi.unive.it

Vice-Chair
Prof. Véronique CORTIER
LORIA

Equippe Cassis, Bât. A

Campus Scientifique, BP 239

FR-54506 VANDOEUVRE-LES-NANCY Cedex

France

Tel. +33 383 593055
Fax +33 383 278319
e-mail: cortier@loria.fr
 

Secretary

Prof. Luca VIGANÒ

Department of Informatics

King’s College London

Strand

LONDON WC2R 2LS

United Kingdom

Tel. +44 20 7848 2078

e-mail: luca.vigano@kcl.ac.uk

 

 

AU

BE
DE
DE

DK
FR

FR

FR

GB

Carroll Morgan
Jean-Jacques Quisquater

Dieter Gollman

Jan
Jürjens
Sebastian A. Mödersheim

Dominique Bolignano

Hubert Comon-Lundh

Catuscia Palamidessi

Gavin Lowe

GB

GB

IE
IL
IT

LU
NL

US

Mark Ryan

Steve Schneider

Simon Foley
Raphael Yahalom

Pierpaolo Degano

Peter Ryan

Sandro Etalle

Martin Abadi

US
US

US
US
US
US

US
US

Li Gong
Joshua Guttman

Catherine Meadows
Jonathan K. Millen

John C. Mitchell

Geoffrey Smith

Paul Syverson

Moti Yung

 

WG 1.8 - Concurrency Theory

est. 2005    Aims and Scopes
URL: http://www.concurrency-theory.org/organizations/ifip

Chair

Dr. Ilaria CASTELLANI

Institut National de Recherche en Informatique et Automatique (INRIA)

2004, route des Lucioles,

BP 93

FR-06902 SOPHIA ANTIPOLIS

France

e-mail: ilaria.castellani@inria.fr

 

Secretary
Prof. Mohammad Reza MOUSAVI

Halmstad University School of IDE
Center for Research on Embedded Systems (CERES)
Box 823
SE-30118 HALMSTAD
Sweden
e-mail: m.r.mousavi@hh.se

 

 

AR

AT
AU
CA

CN
CN
CN

CZ

DE

DE
DE

DE

DE

DE

DK

ES
FR

FR

Pedro D’Argenio

Ana Sokolova
Rob van Glabbeek

Prakash Panangaden

Yuxi Fu
Huimin Lin

Xinxin Liu

Antonin Kucera

Javier Esparza

Ursula Goltz
Holger Hermanns

Joost-Pieter Katoen

Uwe Nestmann

Walter Vogler

Kim G. Larsen

David de Frutos Escrig
Roberto Amadio

Patricia Bouyer-Decitre
 

FR

FR

FR
FR

GB

GB

GB
GB

GB
GB
GB
GB
IL
IN

IS
IT

IT

Vincent Danos

Hubert Garavel

Paul Gastin

Catuscia Palamidessi

Luca Cardelli

Marta Kwiatkowska
Bill Roscoe

Steve Schneider

Alexandra Silva
Colin Stirling

Irek Ulidowski

Nobuko Yoshida

Orna Kupferman

Madhavan Mukund

Luca Aceto
Marco Bernardo

Michele Boreale

IT
IT

IT

IT

IT

IT
IT
IT
JP

NL

NL

NL
NL

PT
US
US
US

Flavio Corradini

Silvia Crafa

Rocco De Nicola

Anna Labella

Cosimo Laneve
Ugo Montanari

Corrado Priami

Davide Sangiorgi

Naoki Kobayashi

Jos Baeten

Wan Fokkink

Bas Luttik
Alban Ponse

Vasco Vasconcelos
Luca de Alfaro

Scott Smolka

Moshe Y. Vardi

 

WG 1.9/2.15 - Verified Software

est. 2010     Aims and Scopes
URL: https://www.lri.fr/~filliatr/1.9/

Chair 

Dr. Jean-Christophe FILLIATRE

Université Paris-Sud

LRI – bâtiment 650

FR-91405 ORSAY Cedex
France
Tel. +33 1 69 15 70 48
Fax +33 1 69 15 65 79

e-mail:

jean-christophe.filliatre@lri.fr

 

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

 

 

BE

CH

DE

DE

DE

DE

DK

Bart Jacobs

Peter Mueller

Tiziana Margaria
Wolfgang Paul

Andreas Podelski

Andrey Rybalchenko

Joseph Kiniry

FR

GB
GB
GB
GB

GB

Sandrine Blazy

Tony Hoare

Andrew Ireland
Cliff Jones

Matthew Parkinson

Jim Woodcock

US

US

US

US

US

US

Ernie Cohen

Klaus Havelund

Gary T. Leavens

Pete Manolios

Jayadev Misra

Shaz Quadeer

 

 

WG 1.10 – String Algorithmics & Applications

est. 2015     Aims and Scopes

Chair 

Prof. Costas ILIOPOULOS

University of London

Kings’s College London

Dept.of Computer Science

The Strand,

LONDON WC2R 2LS
United Kingdom

Tel. +44 20 7848 2809

Fax +44 870 131 3372

e-mail: costas.iliopoulos@kcl.ac.uk

 

Secretary
Prof. William F. SMYTH

McMaster University
Department of Computer

Science & Systems, ITB 130

1280 Main Street West
HAMILTON, ON L8S4K1
Canada
Tel.
+1 905 525 9140
Fax +1 905 524 0340
e-mail:
smyth@mcmaster.ca

 

 

AU

BD

CA

CL

CZ

FI
FI

FI

FI

FR

Alistair Moffat

M. Sohel Rahman

Lucian Ilie

Gonzalo Navarro

Jan Holub

Juha Karkkainen

Veli Mäkinen

Simon J. Puglisi

Esko Ukkonen

Marie-Pierre Beal

FR

FR

FR

GB

GB

GB

IL

IL

IL

Gregory Kucherov

Thierry Lecroq

Laurent Mouchard

Maxime Crochemore

Solon P. Pissis

Rajeev Raman

Amihood Amir

Gad M. Landau

Moshe Lewenstein

IT

IT

JP

KR

KR

PL

US

US
ZA

Alberto Apostolico

Roberto Grossi

Hideo Bannai

Inbok Lee

Kunsoo Park

Wojciech Rytter

Stefano Lonardi

Muthu Muthukrishnan

Bruce Watson