The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.

Topics of interest to the journal include:
• Applications of algebras, co-algebra and categories to programming
• Applications of proof theory and model theory to programming
• Constraint programming
• Foundations of Programming Paradigms
• Logic programming
• Logical Foundations of Program Security
• Models and Analytical Models for Cyber-Physical Systems
• Process Calculi
• Programming Models
• Quantitative Methods for System Analysis
• Specification and verification of systems


Researchers interested in acting as a guest editor should review the guest editor/proposal guidelines.

The Journal of Logical and Algebraic Methods in Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations and the application of logical, algebraic and categorical methods to programming and to the development of trustworthy computing systems.

Editors-in-Chief
Rocco De Nicola
IMT Institute for Advanced Studies (Lucca), Piazza S. Ponziano, 6, 55100, Lucca, ItalyEmail Rocco De Nicola
Editorial Assistant
Alberto Lluch Lafuente
Dept. of Applied Mathematics and Computer Science, Danmarks Tekniske Universitet (DTU), Richard Petersens Plads, DK-2800, Kongens Lyngby, Denmark Email Alberto Lluch Lafuente
Special Issue Editor
Alexandra Silva
Dept. of Computer Science, University College London (UCL), Room 5.08, 66-72 Gower Street, WC1E 6BT, London, England, UK
Survey Papers Editor
Luca Aceto
School of Computer Science, Reykjavik University, Menntavegi 1, IS-101, Reykjavik, Iceland
Editorial Board
Gul Agha
Dept. of Computer Science, University of Illinois at Urbana-Champaign, 2116 Siebel Center, Illinois, USA
Jan Bergstra
ISIS, Informatics Inst., Universiteit van Amsterdam, Science Park 904, 1098 XH, Amsterdam, Netherlands
Patricia Bouyer
LSV, ENS Cachan, CNRS, Université Paris Saclay 61 av. du Président Wilson, 94235 Cachan, France
Luis Caires
Depto. de Informática, Universidade Nova de Lisboa (Lisbon), Campus Caparica, 2829-516, Monte De Caparica, Caparica, Portugal
Agata Ciabattoni
Institute of Computer Languages, Technische Universität Wien, Favoritenstrasse 9-11, A-1040, Wien, Austria
Rance Cleaveland
Dept. of Computer Science, University of Maryland, A.V. Williams Building, College Park, MD 20742, Maryland, USA
Pedro D'Argenio
FaMAF, Universidad Nacional de Cordoba (Argentina), Ciudad Universitaria, 5000, Córdoba, Argentina
Jane Hillston
School of Informatics, The Informatics Forum,University of Edinburgh, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Peter Hoefner
National ICT Australia (NICTA), Gate 2 High Street, Level 2, Blockhouse G6 Buildin, Kensington, NSW 2033, Australia
Naoki Kobayashi
Dept. of Computer and Mathematical Sciences, Graduate School of Information Sciences,Tohoku University, 6-3-9 Aoba, Aramaki, Aoba-ku, Sendai-shi, Miyagi, 980-8579, Sendai, Japan
Michele Loreti
Computer Science - School of Science and Technology, University of Camerino, Via Madonna delle Carceri, 9 - 62032, Camerino, Italy
Flemming Nielson
Dept. of Applied Mathematics and Computer Science, Technical University of Denmark, DK-2800, Lyngby, Denmark
Prakash Panangaden
School of Computer Science, McGill University, 3480 University Street, Montreal, QC, H3A 2A7, Quebec, Canada
Enrico Pontelli
Dept. of Computer Science, New Mexico State University, Box 30001, Las Cruces, NM 88003, New Mexico, USA
Grigore Rosu
Dept. of Computer Science, University of Illinois at Urbana-Champaign, 2116 Siebel Center, Illinois, USA
John Tucker
Dept. of Computer Science, Swansea University, Singleton Park, Swansea, SA2 8PP, Wales, UK
Luca Viganò
Department of Informatics, King's College London, Strand, London, WC2R 2LS, England, UK
Nobuko Yoshida
Dept. of Computing, Imperial College London, 180 Queens' Gate, South Kensington Campus, London, SW7 2AZ, England, UK
Naijun Zhan
Inst. of Software, Chinese Academy of Sciences (CAS), No. 4, South Fourth Street, Room 327, Building 5, 100190, Beijing, China
Jeffery Zucker
Department of Computing and Software, McMaster University, Information Technology Building 124, Hamilton, L8S 4K1, Ontario, Canada