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 Dou Sun in 2021-04-04
Special Issues
Special Issue on Foundations for Effective and Correct Runtime Monitoring
Submission Date: 2023-11-30

Guest editors: Adrian Francalanza Email: Special issue information: Runtime monitoring is an increasingly popular technique for improving software reliability, correctness and performance. It can be broadly construed as the runtime analysis of systems in order to infer aspects of their behaviour to potentially affect their current execution. Runtime monitoring brings about various advantages, from the convenience of dynamically generating a system model from its own execution, to the opportunities afforded to conduct fault containment and error recovery. Example applications of the technique include telemetry, log aggregation, threshold alerting, performance monitoring and runtime verification/enforcement; aspects of monitoring also manifest themselves as part of established software techniques such as testing. The scope of this theme covers the various challenges of devising formal approaches and theories underpinning the specification, analysis, and realisation of effective monitored systems. These include (but are not limited to) aspects such as: + system instrumentation and event extraction; + execution recording and replaying; + fault localization, recovery and resilience; + automated monitor synthesis and program repair; + programming language support for runtime analysis and verification; + the connections between specification logics and correct runtime analysis; and + the integration of monitoring with other verification techniques. Manuscript submission information: Submission deadline: 30th November 2023 Learn more about the benefits of publishing in a special issue: Interested in becoming a guest editor? Discover the benefits of guest editing a special issue and the valuable contribution that you can make to your field: ------------ Guest editors: ------------ Adrian Francalanza ------------ Email:
Last updated by Dou Sun in 2023-06-24
Special Issue on Logic and Type Theoretic Foundations of Concurrent and Distributed Systems
Submission Date: 2023-11-30

The continuous development of networks and communicating systems at the heart of the digital revolution raises new challenges to logic and formal methods in Computer Science. The need for new methods for designing and verifying software and hardware systems has fostered both the introduction of new logics and the adaptation and extensions of preexisting logical systems. In the literature, there are many different models of concurrency, such as transition systems and automata, domain-theoretic models, game-theoretic models, process algebras, Petri nets, mobile and collaborative systems, etc. On the one hand, several logics were introduced to reason about them, formalising basic properties like deadlock freedom, behavioural equivalence, safety and liveness, security and scalability. These formalisations underpin the analysis, synthesis and verification of concurrent programs and systems. On the other hand, type systems were devised to structure programs and systems in such a way that the same properties are guaranteed. To assess essential issues such that soundness and expressivity of type systems, it is essential to study their connections with logic. With respect to the theme, topics of interest include (but are not limited to): - logics for concurrency such as modal logics, probabilistic and stochastic logics - resource-aware logics and type systems, such as linear logic, temporal and spatial logics - logic-based techniques for specification and verification of concurrent programs and systems, including automata and model checking - formalisms and type systems for process coordination and protocol specification, such as choreographies and session types - language-based security and proof-carrying code - game theoretic models of logic and computation
Last updated by Dou Sun in 2023-06-24
Related Journals
CCFFull NameImpact FactorPublisherISSN
Magnetic Resonance Imaging2.546Elsevier0730-725X
Semiconductor Science and Technology2.098IOP Publishing0268-1242
cInternational Journal on Document Analysis and Recognition2.085Springer1433-2833
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
Mathematical Programming3.995Springer0025-5610
bJournal of Functional Programming1.37Cambridge University Press0956-7968
Geographical Abstracts: Physical Geography Elsevier0954-0504
bFormal Aspects of Computing1.226Springer0934-5043
bComputational Complexity0.487Springer1016-3328
Signal, Image and Video Processing0.409Springer1863-1703
Full NameImpact FactorPublisher
Magnetic Resonance Imaging2.546Elsevier
Semiconductor Science and Technology2.098IOP Publishing
International Journal on Document Analysis and Recognition2.085Springer
Logical Methods in Computer Science Logical Methods in Computer Science
Mathematical Programming3.995Springer
Journal of Functional Programming1.37Cambridge University Press
Geographical Abstracts: Physical Geography Elsevier
Formal Aspects of Computing1.226Springer
Computational Complexity0.487Springer
Signal, Image and Video Processing0.409Springer
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICCCInternational Conference on Innovative Computing and Cloud Computing2011-07-202011-07-202011-08-13
ba*a2COLTAnnual Conference on Learning Theory2022-02-09 2022-07-02
b3JTRESInternational Workshop on Java Technologies for Real-time and Embedded Systems2016-06-122016-07-202016-08-29
DOA-Trusted CloudInternational Conference on Secure Virtual Infrastructures2014-06-152014-08-062014-10-27
WS-FMInternational Workshop on Web Services and Formal Methods 2012-07-212012-09-06
baa2ESAEuropean Symposium on Algorithms2023-04-282023-06-232023-09-04
SESBCInternational Conference on Software Engineering, Security and Blockchain2023-08-052023-08-142023-08-19
bab1CCCIEEE Conference on Computational Complexity2022-02-142022-04-302022-07-21
ICEIECIEEE International Conference on Electronics Information and Emergency Communication2020-06-252020-07-052020-07-17
aa2ESOPEuropean Symposium on Programming2023-10-122023-12-212024-04-06