Electronic Proceedings in Theoretical Computer Science

Editorial Board

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

Editorial Assistants: Julisa Edwards, Selena Clancy, Elly Lammers
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org