Journal Information
The Journal of Logic and Algebraic Programming (JLAP)

Call For Papers
The Journal of Logic and Algebraic Programming is an international journal whose aim is to publish original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for programming in its broadest sense. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.

Topics of interest to the journal include:
• Logic programming
• Constraint programming
• Abstract data types
• Classes and objects
• Components
• Process algebra and pi-calculus
• Term rewriting
• Lambda calculus
• Algebraic specification and verification of systems
• Algebraic methods for syntax and semantics
• Applications of algebras, categories, domains, topological spaces and co-algebras to programming
• Applications of proof theory and model theory to programming
• Programming with topological data types

The Journal of Logic and Algebraic Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations of logical, algebraic and categorical methods for programming.
Last updated by Dou Sun in 2018-03-04
Related Journals
CCFFull NameImpact FactorPublisherISSN
International Journal of Wireless Communication and Sensor NetworkISIBS2520-7725
Modelling and Simulation in EngineeringHindawi1687-5591
Journal of Signal Processing Systems0.551Springer1939-8018
bJournal of Functional Programming1.37Cambridge University Press0956-7968
cJournal of Web EngineeringRinton Press1540-9589
bScience of Computer Programming0.740ELSEVIER0167-6423
Journal of Heuristics1.471Springer1381-1231
Mathematical Programming2.090Springer0025-5610
Cognition, Technology & Work0.304Springer1435-5558
Fuzzy Optimization and Decision Making1.893Springer1568-4539
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa2ESOPEuropean Symposium on Programming2019-10-242019-12-232020-04-25
baa2CADEInternational Conference on Automated Deduction2017-02-112017-04-222017-08-06
ba*a1UAIConference on Uncertainty in Artificial Intelligence2019-03-042019-05-132019-07-22
b3GECONInternational Conference on Economics of Grids, Clouds, Software and Services2019-05-302019-07-012019-09-17
WCETInternational Workshop on Worst-Case Execution Time 2012-05-202012-07-10
b3ODBASEInternational Conference on Ontologies, DataBases, and Applications of Semantics2019-07-252019-08-202019-10-22
FSMEInternational Conference on Future Software Engineering and Multimedia Engineering2011-07-102011-07-152011-08-13
PTInternational Conference on Persuasive Technology2018-11-262019-01-142019-04-09
b2SOSEInternational Symposium on Service-Oriented System Engineering2018-11-302019-01-102019-04-04
ba*a2ICFPACM SIGPLAN International Conference on Functional Programming2020-03-032020-04-212020-08-28