Journal Information
Journal of Logical and Algebraic Methods in Programming
https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programmingImpact Factor: |
0.700 |
Publisher: |
Elsevier |
ISSN: |
2352-2208 |
Viewed: |
10355 |
Tracked: |
1 |
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 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.
Last updated by Dou Sun in 2024-07-17
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
IEEE Open Journal of Control Systems | IEEE | 2694-085X | ||
c | Cybernetics and Systems | Taylor & Francis | 0196-9722 | |
b | IEEE Transactions on Automation Science and Engineering | 5.900 | IEEE | 1545-5955 |
International Journal of Computer Applications in Technology | Inderscience | 0952-8091 | ||
Image Processing On Line | IPOL | 2105-1232 | ||
IEEE Transactions on Very Large Scale Integration (VLSI) Systems | 2.800 | IEEE | 1063-8210 | |
Computer Methods in Applied Mechanics and Engineering | 6.900 | Elsevier | 0045-7825 | |
IEICE Transactions on Communications | IEICE | |||
IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE | 2379-8858 | |
c | Proceedings of the ACM on Programming Languages | 2.200 | ACM | 2475-1421 |
Full Name | Impact Factor | Publisher |
---|---|---|
IEEE Open Journal of Control Systems | IEEE | |
Cybernetics and Systems | Taylor & Francis | |
IEEE Transactions on Automation Science and Engineering | 5.900 | IEEE |
International Journal of Computer Applications in Technology | Inderscience | |
Image Processing On Line | IPOL | |
IEEE Transactions on Very Large Scale Integration (VLSI) Systems | 2.800 | IEEE |
Computer Methods in Applied Mechanics and Engineering | 6.900 | Elsevier |
IEICE Transactions on Communications | IEICE | |
IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE |
Proceedings of the ACM on Programming Languages | 2.200 | ACM |
Related Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
ICCC | International Conference on Innovative Computing and Cloud Computing | 2011-07-20 | 2011-07-20 | 2011-08-13 | |||
b | a* | a2 | COLT | Annual Conference on Learning Theory | 2024-02-09 | 2024-05-10 | 2024-06-30 |
b3 | JTRES | International Workshop on Java Technologies for Real-time and Embedded Systems | 2016-06-12 | 2016-07-20 | 2016-08-29 | ||
DOA-Trusted Cloud | International Conference on Secure Virtual Infrastructures | 2014-06-15 | 2014-08-06 | 2014-10-27 | |||
WS-FM | International Workshop on Web Services and Formal Methods | 2012-07-21 | 2012-09-06 | ||||
SESBC | International Conference on Software Engineering, Security and Blockchain | 2023-08-05 | 2023-08-14 | 2023-08-19 | |||
b | a | a2 | ESA | European Symposium on Algorithms | 2024-04-28 | 2024-06-23 | 2024-09-04 |
b | a | b1 | CCC | IEEE Conference on Computational Complexity | 2024-02-16 | 2024-05-05 | 2024-07-22 |
ICEIEC | IEEE International Conference on Electronics Information and Emergency Communication | 2024-04-15 | 2024-04-25 | 2024-05-24 | |||
a | a2 | ESOP | European Symposium on Programming | 2024-10-10 | 2024-12-19 | 2025-05-03 |
Short | Full Name | Submission | Conference |
---|---|---|---|
ICCC | International Conference on Innovative Computing and Cloud Computing | 2011-07-20 | 2011-08-13 |
COLT | Annual Conference on Learning Theory | 2024-02-09 | 2024-06-30 |
JTRES | International Workshop on Java Technologies for Real-time and Embedded Systems | 2016-06-12 | 2016-08-29 |
DOA-Trusted Cloud | International Conference on Secure Virtual Infrastructures | 2014-06-15 | 2014-10-27 |
WS-FM | International Workshop on Web Services and Formal Methods | 2012-09-06 | |
SESBC | International Conference on Software Engineering, Security and Blockchain | 2023-08-05 | 2023-08-19 |
ESA | European Symposium on Algorithms | 2024-04-28 | 2024-09-04 |
CCC | IEEE Conference on Computational Complexity | 2024-02-16 | 2024-07-22 |
ICEIEC | IEEE International Conference on Electronics Information and Emergency Communication | 2024-04-15 | 2024-05-24 |
ESOP | European Symposium on Programming | 2024-10-10 | 2025-05-03 |
Recommendation