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

   Publisher

   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.

Avigad, Jeremy

Computability and logic
Formalized mathematics
Interactive proof checking
Proof theory and logic

Baader, Franz
Barcelo, Pablo
Benton, Nick
Bojanczyk, Mikolaj
Dal Lago, Ugo
Danos, Vincent
de Paiva, Valeria
Escardó, Martín
Esparza, Javier
Ghica, Dan
Grohe, Martin
Grädel, Erich
Hennessy, Matthew
Hillston, Jane
Immerman, Neil
Jaeger, Manfred
Jagadeesan, Radha
Kirchner, Hélène
Kobayashi, Naoki
Kohlenbach, Ulrich
Krajícek, Jan
Kupferman, Orna
Kwiatkowska, Marta
Lenzerini, Maurizio
Lifschitz, Vladimir
Milo, Tova
Montanari, Angelo
Moshier, M. Andrew
Moss, Lawrence
Nipkow, Tobias
Panangaden, Prakash
Parrow, Joachim
Raskin, Jean-Francois
Rutten, Jan
Sankaranarayanan, Sriram
Sassone, Vladimiro
Schweikardt, Nicole
Schwentick, Thomas
Selinger, Peter
Setzer, Anton
Silva, Alexandra
Smolka, Scott
Stirling, Colin
Stuckey, Peter
Tarlecki, Andrzej
Vaandrager, Frits
Wand, Mitchell