Executive Board

The Execuitve Board of Logical Methods of Computer Science consists of conference representatives, members-at-large, the EiC, the previous two EiCs and the managing editors for special issues. Conference representatives are sent by steering committees of leading conferences in the field of logic in computer science. Members-at-large are invited by the Board for the purpose of improving its own representativity in the community.

Luca Aceto (member-at-large)
School of Computer Science, Reykjavik University

Jiri Adamek (pre previous EiC)
Technical University Braunschweig

Rajeev Alur (member-at-large)
Department of Computer and Information Science, University of Pennsylvania

Olaf Beyersdorff (STACS)
Friedrich Schiller University Jena

Lars Birkedal (previous EiC, chair)
Aarhus University

Javier Esparza (ICALP)
Technische Universität München

Maribel Fernandez (CSL)
King's College London

Wan Fokkink (CONCUR)
Vrije Universiteit Amsterdam

Herman Geuvers (FSCD)
Radboud University Nijmegen

Antonín Kučera (MFCS)
Masaryk University Brno

Wim Martens (ICDT)
University of Bayreuth

Stefan Milius (EiC)
Friedrich-Alexander University Erlangen-Nürnberg

Prakash Panangaden (member-at-large)
School of Computer Science, McGill University

Brigitte Pientka (LICS, special issue editor)
School of Computer Science, McGill University

Benjamin Pierce (member-at-large)
Department of Computer and Information Science, University of Pennsylvania

Andrew M Pitts (FoSSaCS)
University of Cambridge

Gordon Plotkin (member-at-large)
LFCS, University of Edinburgh

Viorica Sofronie-Stokkermans (IJCAR)
Universität Koblenz-Landau

Wolfgang Thomas (member-at-large)
RWTH Aachen

Moshe Vardi (member-at-large)
Rice University

Fabio Zanasi (special issue editor)
University College London