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. Luís Soares BARBOSA, PT

Universidade do Minho

Escola de Engenharia

Departamento de Informática

Campus de Gualtar

PT-4710-057 BRAGA

Portugal

Tel. +351 936492929

Fax +351 253 604 471

e-mail: lsb@di.uminho.pt

Vice Chair
Prof.Jacques SAKAROVITCH, FR
Télécom Paris
19, place Marguerite Perey

FR-91120 PALAISEAU
France
Tel. +33 1 75 31 97 65
e-mail: sakarovitch@enst.fr

CLEI

Aart Middeldorp*
Stoyan Mihov*

Leila Ribeiro*
Thomas Maibaum*
Nicola Santoro**

Thomas Studer

Pablo Castro*
Huimin Lin*

Jozef Gruska*

Heribert Vollmer*

Ernst W. Mayr**

Uwe Nestmann**

Lars Birkedal*

Arto Salomaa***

Catuscia Palamidessi**

Vangelis Paschos**

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

Xiaotie Deng*
Giorgio Ausiello*
Alberto Marchetti-Spaccamela**
Ugo Montanari**

Takayasu Ito**

Nao Hirokawa*
Jos C. M. Baeten*

Jan van Leeuwen***
Grzegorz Rozenberg**
J. Blazewicz*
Andrzej Tarlecki**
Miroljub Dugić*
Vladimir Batagelj*
Branislav Rovan*

Mykola Nikitchenko*

John C. Mitchell**
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.2 - Descriptional Complexity

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

Chair

Prof. Rogério REIS

Universidade do Porto

Departamento de Ciência de Computadores
R. do Campo Alegre, 1021/1055
PT-4169-007 PORTO

Portugal

Tel. +351 220 402 927

e-mail: rogerio.reis@fc.up.pt

Vice Chair
Prof. Ian McQUILLAN
The University of Saskatchewan
176 Thorvaldson Building
110 Science Place
S7N5C9 SASKATOON, SK

Canada
Tel. +1 306 966 2900
e-mail: mcquillan@cs.usask.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
CA

CH
CZ
DE
DE
DE
DE

DE
DE
DE
DE
DE
DE

Cezar Campeanu

Tao Jiang

Stavros Konstantinidis
Ming Li

Kai Salomaa
Jeffrey Shallit

Juraj Hromkovic
Jozef Gruska
Henning Bordihn
Jürgen Dassow

Markus Holzer
Günter Hotz

Martin Kutrib

Frank Niessner

Uwe Schoening
Helmut Seidl

Klaus Wagner

Matthias Wendlandt

Carlos Martin-Vide

HU
HU
IL
IT
IT
IT
IT
IT
JP
JP
JP
KR

LV
NL
NL
NZ
PT
QA

Erzsébet Csuhaj-Varju

György Vaszil
Avraham Trahtman
Stefano Crespi Reghizzi
Carlo Mereghetti

Beatrice Palano

Giovanni Pighizzini
Matteo Pradella
Kosaburo Hashiguchi
Akira Ito
Osamu Watanabe

Yo-Sub Han

Abuzer Yakaryilmaz

Grzegorz Rozenberg
Paul Vitanyi
Cristian Calude

Nelma Moreira

Christos Kapoutsis

Victor Mitrana

SK
SK
US

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

Gheorghe Paun

Viliam Geffert
Galina Jiraskova
Charles H. Bennett
Manuel Blum
Andrej Ehrenfeucht
Peter Gacs
Jonathan Goldstine
Harry Hunt
Oscar Ibarra
Neil Immerman
Hing Leung
Albert R. Meyer
Bala Ravikumar
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. Fabio GADUCCI
University of Pisa

Computer Science Department

Largo Pontecorvo 3c

56127 PISA

Italy

Tel. +39 050 2212 716

Fax +39 050 2212 726
e-mail: gadducci@di.unipi.it

Vice-Chair

Dr. Corina CIRSTEA
University of Southampton

ECS, Faculty of Physical Sciences and Engineering

SOUTHAMPTON SO17 18J

United Kingdom

Tel. +44 23 8059 23625

e-mail: lcc2@ecs.soton.ac.uk

Secretary
Prof. Holger SCHLINGLOFF

Humboldt-Universität zu Berlin

Institut für Informatik

Unter den Linden 6

10099 BERLIN

Germany

Tel. +49 30 2093 3074

Fax +49 30 3463 997504

e-mail: hs@informatik.hu-berlin.de

DE
DE

Carlos G. Lopez Pombo

Ana Sokolova

Carroll Morgan

Dirk Pattinson

Pierre-Yves Schobbens

Mohamed Bettaz

Sabine Glesner
Rolf Hennicker

Alexander Knapp

Barbara König
Martin Leucker

FR
FR

GB
GB

Stefan Milius

Till Mossakowski

Lutz Schröder

Pawel Sobocinski

Narciso Marti-Oliet

Filippo Bonchi

Dominique Mery

Daniela Petrisan

Reiko Heckel

Bartek Klin

Andrzej Murawski

Markus Roggenbach

Fabio Zanasi

Paolo Baldan

Andrea Corradini

Michele Loreti

Ichiro Hasuo

Marcello Bonsangue

Peter C. Ölveczky

Luis Barbosa

Andreas Abel

Andre Platzer

WG 1.5 - Cellular Automata and Discrete Complex Systems

est. 1994, dissolved 2004, re-established 2008, revised 2009 Aims and Scopes
URL: https://ifipwg15.inria.fr

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

Vice-Chair

Prof. Henryk FUKŚ

Brock University

Department of Mathematics and Statistics

ST. CATHERINES, ON,

L2S 3A1, Canada

Tel: +1 905 688 5550 x 3296

e-mail: hfuks@brocku.ca

Secretary

Dr. Luca MARIOT
University of Twente

Faculty of Electrical Eng.

Mathematics and Computer Science, Zilverling 2013

7500 AE ENSCHEDE

The Netherlands

Tel: +31 534894544
e-mail: l.mariot@utwente.nl

Pedro P.B. de Oliveira

Anna Lawniczak

Bastien Chopard

Andreas Deutsch

Martin Kutrib

Andreas Malcher

Jarkko Kari

Ville Salo

Ilkka Törmä

Bruno Durand

Enrico Formenti

Pierre Guillon

Nicolas Ollinger

Kévin Perrot

Victor Poupet

Gaetan Richard

Veronique Terrier

Guillaume Theyssier

Andy Adamatzky

Maximilien Gadouleau

Georgios Sirakoulis

Dipanwita Roy Chowdhury

JP
LB

Sukanta Das

Stefania Bandini

Alberto Dennunzio

Luca Manzoni

Teijiro Isokawa

Kenichi Morita
Siamak Taati

Alonso Castillo Ramirez

Grzegorz Rozenberg

Barbara Wolnik

WG 1.6 - Rewriting

est. 1998, revised 1999 Aims and Scopes
URL: https://ifip-wg-rewriting.cs.ru.nl/

Chair
Prof. Cynthia KOP
Radboud University Nijmegen
Institute for Computing and Information Sciences (ICIS)

Department of Software Science

Merc. Build. Toernooiveld 210

NL-6525 EC NIJMEGEN

Netherlands

e-mail: kop@di.ku.dk

Co-Chair

Dr. Carsten FUHS

University of London

Department of Computer Science and Information Syst.

Malet Street

LONDON WC1E 7HX

United Kingdom

Tel. +44 20 3926 1278
e-mail: c.fuhs@bbk.ac.uk

Secretary

Dr. Carsten FUHS

University of London

Department of Computer

Science and Information Syst.

Malet Street

LONDON WC1E 7HX

United Kingdom

Tel. +44 20 3926 1278
e-mail: c.fuhs@bbk.ac.uk

AT
AT

FR
FR

Temur Kutsia

Aart Middeldorp
Georg Moser

René Thiemann

Akihisa Yamada

Mauricio Ayala-Rincon

Brigitte Pientka

Jürgen Giesl
Manfred Schmidt-Schauß

Johannes Waldmann

Jakob Grue Simonsen

Salvador Lucas
Benjamin Accattoli
Martin Avanzini

Frédéric Blanqui

FR
FR

GB
IL
IT

Gilles Dowek

Thomas Genet

Florent Jacquemard

Delia Kesner

Claude Kirchner
Helene Kirchner
Luigi Liquori
Ralf Treinen

Maribel Fernández

Luke Ong
Nachum Dershowitz
Maria Paola Bonacina

Sarah Winkler

Takahito Aoto

Nao Hirokawa

NL
NL

RS
US
US
US
US
US
US

Naoki Nishida

Masahiko Sakai

Yoshihito Toyama

Jörg Endrullis

Vincent van Oostrom
Femke van Raamsdonk

Hans Zantema

Sandra Alves

Silvia Ghilezan
Daniel J. Dougherty
Christopher Lynch
Jose Meseguer
Paliath Narendran
David Plaisted
Ashish Tiwari

WG 1.7 – Theoretical Foundations of Security Analysis and Design

est. 1999 Aims and Scopes
URL: http://ifipwg1-7.compute.dtu.dk/

Chair
Prof. Sebastian A.
MÖDERSHEIM
Technical University of
Denmark
Richard Petersens Plads
Building 324, Room 180
DK-2800 KGS. LYNGBY
Denmark
Tel. +45 45 25 35 97
e-mail: samo@dtu.dk

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Ò

King’s College London

Department of Informatics

Strand Campus

LONDON WC2R 2LS

United Kingdom

Tel. +44 20 7848 2078

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

DE
DE
DE
DE

Carroll Morgan
Toby Murray
Jean-Jacques Quisquater
David Basin
Dieter Gollman
Jan Jürjens
Ralf Küsters
Matteo Maffei
Gilles Barthe

FR
GB

IE
IT

Dominique Bolignano

Hubert Comon-Lundh
Steve Kremer
Catuscia Palamidessi
Cas Cremers
Mark Ryan

Steve Schneider

Simon Foley
Pierpaolo Degano

IT
LU

US
US

Riccardo Focardi
Peter Ryan

Sandro Etalle

Martin Abadi

Joshua Guttman

Catherine Meadows
John C. Mitchell
Paul Syverson

WG 1.8 - Concurrency Theory

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

Chair

Dr. Pedro D’ARGENIO
FAMAF - Universidad Nacional de Cordoba

Medina Allende s/n (Cuidad Universitaria)

X5000HUA – CORDOBA

Argentinia

e-mail: pedro.dargenio@unc.edu.ar

Secretary
Dr. Ana SOKOLOVA
University of Salzburg
Department of Computer Sciences
Jakob-Haringer-Str. 2
5020 SALZBURG
Austria
Tel. +43 662 8044 6417
e-mail: sokolova.ana@gmail.com

AU
CA

CN
CN
CN

DE
DE

ES
FR

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

Patricia Bouyer-Decitre

Ilaria Castellani
Vincent Danos

FR
GB

GB
GB

GB
GB
GB
GB
IL
IN

IS
IT

Hubert Garavel

Paul Gastin

Catuscia Palamidessi

Luca Cardelli

Marta Kwiatkowska

Mohammad R. Mousavi
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
JP

NL
NL

PT
US
US
US

Flavio Corradini

Silvia Crafa

Rocco De Nicola

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

Prof. Jim WOODCOCK
University of York
Department of Computer Science
Deramore Lane
YORK YO10 5GH

United Kingdom
Tel. +44 1904 325 400
e-mail: jim.woodcock@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

Marcello Frias

Bart Jacobs

Peter Mueller

Alexander Summers

Andreas Podelski

Andrey Rybalchenko

Gerhard Schellhorn

GB
GB

Joseph Kiniry

Sandrine Blazy

Jean-Christophe Filliatre

Andrew Ireland
Cliff Jones

Matthew Parkinson

Tiziana Margaria

Ernie Cohen

Klaus Havelund

Gary T. Leavens

Pete Manolios

Shaz Quadeer

WG 1.10 – String Algorithmics & Applications

est. 2015, re-established 2019 Aims and Scopes
URL: http://www.stringology.org/ifip/

Chair

Prof. Jan HOLUB
Czech Technical University in Prague

Department of Theoretical Computer Science
Thákurova 2700/9
160 00 PRAGUE 6
Czech Republic
Tel. +420 224 359 814
e-mail: jan.holub@fit.cvut.cz

Secretary
To be announced

M. Sohel Rahman

William Smyth

Travis Gagie

Gonzalo Navarro

Simon J. Puglisi

Esko Ukkonen

Thierry Lecroq

Laurent Mouchard

Costas Iliopoulos

Solon P. Pissis

Rajeev Raman

Amihood Amir

Moshe Lewenstein

Roberto Grossi

Hideo Bannai

Inbok Lee

Kunsoo Park

Wojciech Rytter

Stefano Lonardi

Bruce Watson

WG 1.11/2.17 – Foundations of Quantum Computation

est. 2022 Aims and Scopes
URL: https://tva.kastel.kit.edu/english/activities/IFIP_Working_Group_on_Foundations_of_Quantum_Computation.php

Acting Chair

Prof. Ina SCHAEFER
Karlsruhe Institute

of Technology (KIT)
Institute for Information Security

and Dependability (KASTEL)
Am Fasangarten 5

DE-76131 KARLSRUHE

Germany

e-mail: ina.schaefer@kit.edu

Acting Secretary
Prof. Tobias OSBORNE
Leibnitz Universität Hannover

Fakultät für Mathematik und Physik

Appelstraße 2

30167 HANNOVER

Germany
e-mail: tobias.osborneitp.uni-hannover.de

Peter Selinger

Stefan Woerner

Mengsheng Ying

Jozef Gruska

Anna Pappa

Michael Walter

Robert Wille

Shane Mansfield

Benoit Valiron

Vladimir Zamdzhiev

Miriam Backens

Ross Duncan

Chris Heunen

Aleks Kissinger

Mio Murao

Vedran Dunjko

Shaukat Ali

Rui Soares Barbosa

Luis Paulo Santos

Xiaodi Wu

Francesco Petruccione

Bruce Watson