# JLAMP — Journal of Logical and Algebraic Methods in Programming

- **Publisher**: Elsevier
- **ISSN**: 2352-2208
- **Impact factor**: 1.0
- **CCF rank**: C
- **Trackers**: 1
- **Canonical page**: https://www.myhuiban.com/journal/666

## Special issues

| Title | Submission deadline |
|---|---|
| Components Operationally: Reversibility and System Engineering | 2027-01-31 |
| Reconfigurable Transition Systems: Semantics, Logics and Applications | 2026-11-30 |
| JLAMP_ReacTS 2025 | 2026-11-30 |

## Call for papers

Aims & Scope 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.

## Related conferences

- Programming — International Conference on the Art, Science, and Engineering of Programming — https://www.myhuiban.com/conference/2069
- RAMiCS — International Conference on Relational and Algebraic Methods in Computer Science — https://www.myhuiban.com/conference/5625
- ICC — International Conference on Communications — https://www.myhuiban.com/conference/318
- IJCNN — International Joint Conference on Neural Networks — https://www.myhuiban.com/conference/428
- TrustCom — International Conference on Trust, Security and Privacy in Computing and Communications — https://www.myhuiban.com/conference/1289

## Related journals

- Logical Methods in Computer Science — https://www.myhuiban.com/journal/75
- The Journal of Logic and Algebraic Programming — https://www.myhuiban.com/journal/411
- International Journal of Parallel Programming — https://www.myhuiban.com/journal/492
- Computer Methods in Applied Mechanics and Engineering — https://www.myhuiban.com/journal/349
- International Journal of Information Management — https://www.myhuiban.com/journal/714

---
Source: Conference Partner — https://www.myhuiban.com/journal/666 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)