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

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

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

Comments and questions to:

eptcs@eptcs.org

For website issues:

webmaster@eptcs.org