Electronic Proceedings in Theoretical Computer Science

Editorial Board

Editor-in-Chief: Rob van Glabbeek (School of Informatics, University of Edinburgh, UK)

Advisory Board:
Luca Aceto, Rob van Glabbeek, Lane Hemaspaandra, Matthew Hennessy, Gordon Plotkin

Martin Wirsing (LMU Munich): Formal Methods for Software Development, Foundations of Service-Oriented and Adaptive Systems, Algebraic Specifications
Robert H. Sloan (University of Illinois at Chicago): Computational Learning Theory and Knowledge Representation
Wolfgang Thomas (RWTH Aachen University): automata theory, logic in computer science, verification
Vladimiro Sassone (University of Southampton): foundations of concurrent and distributed systems, security and trust, logics, semantics, foundations of computation
Lane A. Hemaspaandra (University of Rochester): Computational Complexity Theory and Computational Social Choice
Nancy Lynch (Massachusetts Institute of Technology): Distributed algorithms, distributed computing theory, wireless network algorithms, concurrency semantics
Aart Middeldorp (University of Innsbruck): Term Rewriting, Automated Deduction
Evangelos Kranakis (Chancellor's Professor, School of Computer Science, Carleton University): Algorithmic Mathematics, Communication & Data Networks, Computational Molecular Biology, Distributed & Mobile Agent Computing, Wireless Ad Hoc & Sensor Networks, Network Security
Gordon Plotkin (Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh): Logic and Semantics of Programming Languages, Computational Systems Biology
Lijun Zhang (Chinese Academy of Sciences): Probabilistic Systems, Model Checking, Automata Learning
Irek Ulidowski (University of Leicester): Concurrency Theory, Reversible Computation
Wan Fokkink (Vrije Universiteit Amsterdam): Concurrency Theory, Protocol Verification, Bioinformatics
Ran Canetti (School of Computer Science, Tel Aviv University): Cryptography, Security, Randomness
Rob van Glabbeek (School of Informatics, University of Edinburgh): Editor in Chief
Bartek Klin (Warsaw University, University of Cambridge): Semantics, Concurrency, Algebraic and Coalgebraic Methods
Rocco De Nicola (IMT - Institute for Advanced Studies Lucca and Università di Firenze): Process Algebras, Mobile Computing, Service Oriented Programming, Model Checking, Cybersecurity
Luca Aceto (School of Computer Science, Reykjavík University): Concurrency Theory, Process Algebra, Denotational and Operational Semantics, Logic in Computer Science
Matthew Hennessy (Trinity College Dublin): Concurreny Theory, Semantics, Mobile Computation, Verification Techniques
Luca Cardelli (University of Oxford): Process Algebra, Computational Biology
Shay Kutten (Technion): Distributed Algorithms
Eric Monfroy (University of Angers, LERIA, France ): constraint programming, logic programming
Benjamin Pierce (University of Pennsylvania): Programming languages, type systems, process calculi, distributed systems, language-based security, mechanized metatheory
Moti Yung (Google Inc. and Columbia University): Cryptography, Information Security
Ana Sokolova (Paris Lodron University of Salzburg): Formal Methods, Probabilistic Systems, Coalgebra, Concurrency

Editorial Assistants: Julisa Edwards, Selena Clancy
EPTCS Style Maintainer: Kartik Singhal

Comments and questions to:

eptcs@eptcs.org

For website issues:

webmaster@eptcs.org