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

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

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

Comments and questions to:

eptcs@eptcs.org

For website issues:

webmaster@eptcs.org