Logical Methods in Computer Science
some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

   Purpose

   Open Access

   Editorial Board

   Executive Board

   Advisory Board

   Assistant Editors

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

EDITORS OF LMCS

Editor-in-Chief


Lars Birkedal
Aarhus University

Executive Editors


Jirí Adámek
Technical University Braunschweig

Stefan Milius
University Erlangen-Nürnberg

Managing Editors


Benjamin C. Pierce
University of Pennsylvania, Philadelphia

Gordon D. Plotkin
University of Edinburgh

Moshe Y. Vardi
Rice University

Editorial Board

We list the main topics handled by each editor below. The list is not intended to be restrictive: authors may submit any papers within the scope of the journal to any editor of their choice. However, the executive editor retains the right to substitute a different editor. Authors will receive immediate acknowledgment of submission and will be contacted within at most two weeks by the editor who will handle their paper.

Click here to get the list ordered by topic
Click an editor to see his/her topics.

Abramsky, Samson
Baader, Franz
Barcelo, Pablo
Barendregt, Henk
Constable, Robert
Cooper, S. Barry
Courcelle, Bruno
Danos, Vincent
de Paiva, Valeria
Dechter, Rina
Escardó, Martín
Esparza, Javier
Gordon, Andrew
Grohe, Martin
Grädel, Erich
Hennessy, Matthew
Immerman, Neil
Jones, Neil
Kirchner, Hélène
Krajícek, Jan
Kupferman, Orna
Kwiatkowska, Marta
Leivant, Daniel
Lenzerini, Maurizio
Lifschitz, Vladimir
Milo, Tova
Moshier, M. Andrew
Moss, Lawrence
Muggleton, Stephen
Nipkow, Tobias
Ong, Luke
Panangaden, Prakash
Rutten, Jan
Sangiorgi, Davide
Sankaranarayanan, Sriram
Sassone, Vladimiro
Schweikardt, Nicole
Schwentick, Thomas
Selinger, Peter
Setzer, Anton

Type theory and constructive mathematics

Smolka, Scott
Stirling, Colin
Stuckey, Peter
Tarlecki, Andrzej
Tennent, Robert
Vaandrager, Frits
Venema, Yde
Walsh, Toby
Wand, Mitchell
Wolper, Pierre