Logical Methods in Computer Science

CONTACT

EDITORS OF LMCS

Editor-in-Chief

Dana S. Scott
Carnegie Mellon University

Executive Editors

Jirí Adámek
Stefan Milius
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
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
Computability and Logic close popup Cooper, S. Barry
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
Finite Model Theory Logic and algorithms Logic and complexity close popup Grohe, Martin
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 Security Term rewriting and equational logic close popup Kirchner, Hélène	Algebraic methods Security Term rewriting and equational logic
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
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
Database theory Finite model theory Logic and complexity close popup Schweikardt, Nicole
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
Computer-aided verification Real time and hybrid systems close popup Vaandrager, Frits
Modal and temporal logics close popup Venema, Yde
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

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

Purpose

Open Access

Editorial Board

Advisory Board

Assistant Editors

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

Editor-in-Chief

Executive Editors

Managing Editors

Editorial Board

Algebraic methods
Security
Term rewriting and equational logic

Editor-in-Chief

Executive Editors

Managing Editors

Editorial Board

Algebraic methods Security Term rewriting and equational logic

Algebraic methods
Security
Term rewriting and equational logic