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

   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 editor
Click a topic to see its editors.

Algebraic methodsClick a topic to see its editors.
Automata and logic
Automated deduction
Categorical models and logic
Coalgebraic methods
Computability and Logic
Computer-aided verification
Concurrency theory
Constraint programming
Database theory
Defeasible reasoning
Domain theory
Emerging topics: Computational systems in biology
Emerging topics: Quantum computation and logic
Finite model theory
Formalized mathematics
Functional programming and lambda calculus
Inductive logic and learning
Interactive proof checking
Logic and algorithms
Logic and complexity
Logic and games
Logic and probability
Logic for knowledge representation
Logic programming
Logics of programs
Modal and temporal logics
Program analysis and type checking
Program development and specification
Proof complexity
Real time and hybrid systems
Reasoning about actions and planning
Satisfiability
Security
Semantics of programming languages
Term rewriting and equational logic
Type theory and constructive mathematics