Logical Methods in Computer Science

CONTACT

EDITORS OF LMCS

Editor-in-Chief

Dana S. Scott
Carnegie Mellon University

Executive Editor

Jirí Adámek
Technical University Braunschweig

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.

Categorical models and logic Emerging topics: Quantum computation and logic Logic and games close popup Abramsky, Samson	Click an editor to see the topics.
Computer-aided verification Real time and hybrid systems close popup Alur, Rajeev
Automated deduction Logic for knowledge representation Term rewriting and equational logic close popup Baader, Franz
Formalized mathematics Functional programming and lambda calculus close popup Barendregt, Henk
Formalized mathematics Type theory and constructive mathematics close popup Constable, Robert
Finite model theory close popup Courcelle, Bruno
Emerging topics: Computational systems in biology close popup Danos, Vincent
Categorical models and logic close popup de Paiva, Valeria
Constraint programming Logic for knowledge representation close popup Dechter, Rina
Domain theory close popup Escardó, Martín
Computer-aided verification Concurrency theory close popup Esparza, Javier
Security close popup Gordon, Andrew
Database theory Logic and complexity close popup Gottlob, Georg
Finite model theory Logic and complexity Logic and games close popup Grädel, Erich
Concurrency theory close popup Hennessy, Matthew
Logic and complexity close popup Immerman, Neil
Functional programming and lambda calculus Program analysis and type checking Semantics of programming languages close popup Jones, Neil
Reasoning about actions and planning Satisfiability close popup Kautz, Henry
Algebraic methods Term rewriting and equational logic close popup Kirchner, Hélène
Automata and logic Logics of programs Modal and temporal logics Program analysis and type checking close popup Kozen, Dexter
Logic and complexity Proof complexity close popup Krajícek, Jan
Automata and logic Computer-aided verification close popup Kupferman, Orna
Computer-aided verification Logic and probability close popup Kwiatkowska, Marta
Logic and complexity Logics of programs Type theory and constructive mathematics close popup Leivant, Daniel
Database theory Logic for knowledge representation close popup Lenzerini, Maurizio
Database theory Finite model theory close popup Libkin, Leonid
Defeasible reasoning Logic programming Reasoning about actions and planning close popup Lifschitz, Vladimir
Functional programming and lambda calculus close popup Mairson, Harry
Database theory close popup Milo, Tova
Domain theory close popup Moshier, M. Andrew
Coalgebraic methods Modal and temporal logics close popup Moss, Lawrence
Inductive logic and learning close popup Muggleton, Stephen
Computer-aided verification Interactive proof checking Program development and specification close popup Natarajan, Shankar
Program development and specification close popup Nipkow, Tobias
Functional programming and lambda calculus Semantics of programming languages close popup Ong, Luke
Concurrency theory Logic and probability close popup Panangaden, Prakash
Coalgebraic methods close popup Rutten, Jan
Concurrency theory Program analysis and type checking close popup Sangiorgi, Davide
Concurrency theory Program analysis and type checking Security close popup Sassone, Vladimiro
Automata and logic Database theory Finite model theory Logic and complexity close popup Schwentick, Thomas
Emerging topics: Quantum computation and logic close popup Selinger, Peter
Type theory and constructive mathematics close popup Setzer, Anton
Computer-aided verification Concurrency theory Logic and probability close popup Smolka, Scott
Modal and temporal logics close popup Stirling, Colin
Constraint programming Logic programming close popup Stuckey, Peter
Algebraic methods close popup Tarlecki, Andrzej
Semantics of programming languages close popup Tennent, Robert
Automata and logic Logic and games close popup Thomas, Wolfgang
Computer-aided verification Real time and hybrid systems close popup Vaandrager, Frits
Modal and temporal logics close popup Venema, Yde
Functional programming and lambda calculus Program analysis and type checking close popup Wadler, Philip
Constraint programming Interactive proof checking Satisfiability close popup Walsh, Toby
Program analysis and type checking Program development and specification Semantics of programming languages close popup Wand, Mitchell
Automata and logic close Wolper, Pierre

HOME

SEARCH

REGULAR ISSUES

SPECIAL ISSUES

CURRENT ISSUE

SURVEY ARTICLES

AUTHORS

ABOUT

Purpose

Open Access

Editorial Board

Advisory Board

Assistant Editors

Acknowledgments

SERVICE

LOGIN

FAQ

CONTACT

Editor-in-Chief

Executive Editor

Managing Editors

Editorial Board

Click an editor to see the topics.