Journal Information
Journal of Logical and Algebraic Methods in Programming
Impact Factor:
Call For Papers
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

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.
Last updated by Dou Sun in 2021-04-04
Special Issues
Special Issue on Relational and Algebraic Methods in Computer Science
Submission Date: 2021-06-28

IMPORTANT DATES: Submission Deadline: 28 June 2021 Notification of Acceptance: Early 2022 TOPICS: Relational and algebraic methods belong to the core of computer science. This special issue aims to showcase the variety and relevance of recent developments in this field ranging from theory to applications. We invite submissions of high-quality original research articles in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales their connections with program logics and other logics their formalisation with theorem provers their use in the theories of automata, concurrency, formal languages, games, networks and programming languages the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories * Applications tools and techniques for program correctness, specification and verification quantitative and qualitative models and semantics of computing systems and processes algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control industrial applications While we welcome substantially extended versions of papers published in the proceedings of the RAMiCS 2020 conference (Springer LNCS 12062,, this call is open to anyone interested in the field of relational and algebraic methods. SUBMISSION INSTRUCTIONS: All submissions will be evaluated solely with respect to their novelty, significance and technical quality according to the high standards of JLAMP. They must be in PDF format, adhere to the standard JLAMP guide for authors and be uploaded on Elsevier's online EM system selecting the issue type VSI: RAMiCS 2020 Deviation from these requirements may lead to immediate rejection. GUEST EDITORS: Uli Fahrenberg (École Polytechnique, France) Peter Jipsen (Chapman University, USA) Michael Winter (Brock University, Canada)
Last updated by Dou Sun in 2021-04-04
Related Journals
CCFFull NameImpact FactorPublisherISSN
Magnetic Resonance Imaging2.053Elsevier0730-725X
Semiconductor Science and Technology2.098IOP Publishing0268-1242
cInternational Journal on Document Analysis and Recognition0.885Springer1433-2833
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
Mathematical Programming2.090Springer0025-5610
bJournal of Functional Programming1.37Cambridge University Press0956-7968
Geographical Abstracts: Physical Geography Elsevier0954-0504
bFormal Aspects of Computing1.226Springer0934-5043
bComputational Complexity0.487Springer1016-3328
Signal, Image and Video Processing0.409Springer1863-1703
Full NameImpact FactorPublisher
Magnetic Resonance Imaging2.053Elsevier
Semiconductor Science and Technology2.098IOP Publishing
International Journal on Document Analysis and Recognition0.885Springer
Logical Methods in Computer Science Logical Methods in Computer Science
Mathematical Programming2.090Springer
Journal of Functional Programming1.37Cambridge University Press
Geographical Abstracts: Physical Geography Elsevier
Formal Aspects of Computing1.226Springer
Computational Complexity0.487Springer
Signal, Image and Video Processing0.409Springer
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICCCInternational Conference on Innovative Computing and Cloud Computing2011-07-202011-07-202011-08-13
ba*a2COLTAnnual Conference on Learning Theory2021-01-292021-05-142021-07-07
b3JTRESInternational Workshop on Java Technologies for Real-time and Embedded Systems2016-06-122016-07-202016-08-29
DOA-Trusted CloudInternational Conference on Secure Virtual Infrastructures2014-06-152014-08-062014-10-27
WS-FMInternational Workshop on Web Services and Formal Methods 2012-07-212012-09-06
baa2ESAEuropean Symposium on Algorithms2020-04-292020-06-182020-09-07
SESBCInternational Conference on Software Engineering, Security and Blockchain2020-11-292020-12-052020-12-12
bab1CCCIEEE Conference on Computational Complexity2020-02-172020-04-302020-07-28
ICEIECIEEE International Conference on Electronics Information and Emergency Communication2020-06-252020-07-052020-07-17
aa2ESOPEuropean Symposium on Programming2020-10-152020-12-232021-03-27