Journal Information
Journal of Logical and Algebraic Methods in Programming
https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming
Impact Factor:
0.634
Publisher:
Elsevier
ISSN:
2352-2208
Viewed:
1766
Tracked:
1

Advertisment
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 2018-12-05
Special Issues
Special Issue on 11th Workshop on Programming Language Approaches to Concurrency and Communication cEntric Software (PLACES) 2019
Submission Date: 2019-09-30

This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) is devoted to the topics of the 11th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2019), which took place in April 2019 in Prague as part of ETAPS. This is however an *open call* for papers, therefore both participants of the workshop and other authors are encouraged to submit their contributions. Themes: Modern hardware platforms, from the very small to the very large, increasingly provide parallel computing resources for applications to maximise performance. Many applications therefore need to make effective use of tens, hundreds, and even thousands of compute nodes. Computation in such systems is thus inherently concurrent and communication centric. Effectively programming such applications is challenging; performance, correctness, and scalability are difficult to achieve. Submissions are invited in the area of programming language approaches to concurrency, communication and distribution, ranging from foundational issues, through language implementations, to applications (such as scientific computing) and case studies. Please visit the above website for more detailed topics of interest. Submission: We expect original articles (roughly 20-30 pages) that present high-quality contributions that have not been previously published in another journal and that must not be simultaneously submitted for publication elsewhere. Extended versions of papers published in the workshop's proceedings are permitted. Longer papers will be considered if there is a clear justification for why additional pages are necessary; authors should contact the guest editors to discuss this. Each paper will undergo a thorough evaluation by at least two reviewers. The authors will have about one month to incorporate the comments of the reviewers and submit a revised version of their papers, which will be evaluated again by the reviewers to make a final decision. Contributions should be typeset in PDF format and must comply with JLAMP's author guidelines (see website for details). Guest editors: Dominic Orchard (University of Kent) (d.a.orchard@kent.ac.uk) Francisco Martins (University of the Azores) (fmartins@acm.org) Important Dates: Submission deadline: 31st September 2019 Acceptance notification: 3rd February 2020
Last updated by Dou Sun in 2019-01-05
Related Journals
CCFFull NameImpact FactorPublisherISSN
Magnetic Resonance Imaging2.564ELSEVIER0730-725X
Journal of Universal Computer Science0.546Verlag der Technischen Universitat Graz0948-695x
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
Journal of Signal Processing Systems0.551Springer1939-8018
bJournal of Functional Programming1.37Cambridge University Press0956-7968
Geographical Abstracts: Physical Geography ELSEVIER0954-0504
bFormal Aspects of Computing1.226Springer0934-5043
cJournal of Web EngineeringRinton Press1540-9589
cService Oriented Computing and Applications Springer1863-2386
Modelling and Simulation in EngineeringHindawi1687-5591
Full NameImpact FactorPublisher
Magnetic Resonance Imaging2.564ELSEVIER
Journal of Universal Computer Science0.546Verlag der Technischen Universitat Graz
Logical Methods in Computer Science Logical Methods in Computer Science
Journal of Signal Processing Systems0.551Springer
Journal of Functional Programming1.37Cambridge University Press
Geographical Abstracts: Physical Geography ELSEVIER
Formal Aspects of Computing1.226Springer
Journal of Web EngineeringRinton Press
Service Oriented Computing and Applications Springer
Modelling and Simulation in EngineeringHindawi
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 Intelligence2019-03-042019-05-132019-07-22
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
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
ICITEInternational Conference on Information Technology in Education2019-02-162019-03-102019-03-23
aa2ESOPEuropean Symposium on Programming2019-10-242019-12-232020-04-25
WESTInternational Conference on Web services & Semantic Technology2018-10-272018-11-102018-11-24
Recommendation