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 Xin Yao in 2017-11-12
Related Publications
Related Journals
CCFFull NameImpact FactorPublisherISSN
Materials Science and Engineering: C3.420ELSEVIER0928-4931
IET Signal Processing0.873IET1751-9675
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
Journal of Scientific Computing1.710Springer0885-7474
cJournal of Functional Programming1.37Cambridge University Press0956-7968
IERI Procedia ELSEVIER2212-6678
bFormal Aspects of Computing1.226Springer0934-5043
Mobile Information Systems1.462Hindawi1574-017X
bScience of Computer Programming0.828ELSEVIER0167-6423
Full NameImpact FactorPublisher
Materials Science and Engineering: C3.420ELSEVIER
IET Signal Processing0.873IET
Logical Methods in Computer Science Logical Methods in Computer Science
Journal of Scientific Computing1.710Springer
Journal of Functional Programming1.37Cambridge University Press
Formal Aspects of Computing1.226Springer
Mobile Information Systems1.462Hindawi
Science of Computer Programming0.828ELSEVIER
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
FSMEInternational Conference on Future Software Engineering and Multimedia Engineering2011-07-102011-07-152011-08-13
ba*a1UAIConference on Uncertainty in Artificial Intelligence2016-03-012016-05-062016-06-25
WCETInternational Workshop on Worst-Case Execution Time 2012-05-202012-07-10
b3ODBASEInternational Conference on Ontologies, DataBases, and Applications of Semantics2015-07-142015-08-162015-10-26
WS-FMInternational Workshop on Web Services and Formal Methods 2012-07-212012-09-06
baa2CADEInternational Conference on Automated Deduction2017-02-112017-04-222017-08-06
bab1CCCIEEE Conference on Computational Complexity2018-01-242018-04-042018-06-22
aa2ESOPEuropean Symposium on Programming2017-10-132017-12-222018-04-14
CNDCInternational Conference on Computer Networks & Data Communications2017-11-252017-12-182017-12-23
b2SOSEInternational Symposium on Service-Oriented System Engineering2017-12-062018-01-152018-03-26