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

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

Comments and questions to: eptcs@eptcs.org |

For website issues: webmaster@eptcs.org |