期刊信息

Journal of Logical and Algebraic Methods in Programming (JLAMP)

请登录查看期刊网址
免费注册：查看官网链接、跟踪截稿日期，并接收邮件提醒。
注册 登录
影响因子:
1.0
出版商:
Elsevier
ISSN:
2352-2208
浏览:
21068
关注:
1
这一页信息有误？告诉我们
用 API 获取这条数据
搜索与榜单列表完全无需凭证；本页的完整详情需要一把免费 API 密钥。详见开发者接入页。

征稿

Journal of Logical and Algebraic Methods in Programming (JLAMP) is an academic journal published by Elsevier. (ISSN 2352-2208, impact factor 1.0, CCF C).

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.
由 Admin Agent 最后更新于

特刊

特刊：Formal Methods in Blockchains 截稿日期: 2026-11-15 This special issue aims to collect extended and revised versions of selected papers from the 7th International Workshop on Formal Methods for Blockchains (FMBC 2026). Besides this, the issue will be open to other contributions focusing on the application of formal reasoning techniques to blockchain systems. Guest editors: Dr. Massimo Bartoletti Affiliation: University of Cagliari, Italy Fields of interest: formal methods, software verification, blockchain Dr. Diego Marmsoler Affiliation: University of Exeter, United Kingdom Fields of interest: formal methods, software verification, blockchai Dr. Anastasia Mavridou Affiliation: KBR Inc. / NASA Ames Research Center, United States of America Fields of interest: Formal Methods, Requirements Engineering Special issue information: Relevant topics include, but are not limited to: ● Formal models of blockchain systems and applications ● Semantics and type systems for smart contract languages ● Verification and certified compilation of smart contracts ● Formal analysis of consensus protocols ● Model checking and theorem proving for blockchain software ● Logical and algebraic techniques for distributed ledger technologies ● Formal reasoning about blockchain security and liveness properties ● Formal methods for zero-knowledge proofs and cryptographic protocols ● Verification frameworks and tools for blockchain ecosystems ● Correctness, interoperability, and compositional reasoning for decentralized applications https://www.sciencedirect.com/special-issue/338548/formal-methods-in-blockchains
由 Admin Agent 最后更新于
特刊：Reconfigurable Transition Systems: Semantics, Logics and Applications 截稿日期: 2026-11-30 Reconfigurable Transition Systems (RTS) are dynamic relational structures (graphs) that evolve along its execution, in the sense that their accessibility relation, their set of nodes or their labelling change when their edges are crossed. These structures have proven to be suitable to compactly represent complex reactive and reconfigurable behaviours. Namely, the ability of reacting or readapting under the influence of certain events is a very distinctive feature of many diverse situations and objects. An autonomous vehicle that changes its route due to a new strike occurring, the behaviour of a software component after a memory disposal, or a DNA mutation as the result of a viral infection, are different examples that witness the importance of modelling about changes in adetermined situation. Practical user cases have aroused the interest of the logic community in the study of variants of RTS, by developing formal methods to properly reason about such situations. This issue aims to collect experiences and results from a community of researchers working on different ways to model reconfigurable and reactive systems from a formal perspective. This includes theoretical approaches (like hybrid logics, reactive frames, model-update logics, and topological and algebraic semantics), or formalisms designed for specific purposes (like separation logic in software verification, dynamic epistemic logic in AI planning, and others). Guest editors: Dr. José Proença, University of Porto Faculty of Sciences, Portugal Assoc. Professor Umberto Rivieccio, National Distance Education University, Spian Special issue information: The areas of interest include, but are not limited to: **Reconfigurable transitions systems (RTS)** Models for the analysis of reconfigurable systems Applications of formal models for reconfigurable systems Computational tools to animate and analyze RTS Generalizations of RTS - Fuzzy RTS, Paraconsistent RTS, Weighted RTS, Stochastic RTS, etc. Featured Transition Systems Reconfigurable Cyber Physical Systems Logical Methods Dynamic Logics, Separation Logics, Dynamic Epistemic Logics for RTS Bisimulations and general algebraic constructions Model Checking and Tools Reactive systems and Process Algebra Logics for Cyber Physical Systems Topological and Algebraic Semantics Applications of AI for RTS Manuscript submission information: Submission deadline: November 30th, 2026 Submissions should follow JLAMP’s guidelines for authors, available at: Guide for Authors. Manuscripts must be submitted via the JLAMP Editorial System (EM): Submission Link. During submission, please select “VSI:ReacTS 2025” as the article type. Keywords: Reconfigurable transitions systems; Reactive systems; Logical methods; Algebraic semantics https://www.sciencedirect.com/special-issue/333325/special-issue-on-reconfigurable-transition-systems-semantics-logics-and-applications
由 Admin Agent 最后更新于
特刊：JLAMP_ReacTS 2025 截稿日期: 2026-11-30 Reconfigurable Transition Systems (RTS) are dynamic relational structures (graphs) that evolve along its execution, in the sense that their accessibility relation, their set of nodes or their labelling change when their edges are crossed. These structures have proven to be suitable to compactly represent complex reactive and reconfigurable behaviours. Namely, the ability of reacting or readapting under the influence of certain events is a very distinctive feature of many diverse situations and objects. An autonomous vehicle that changes its route due to a new strike occurring, the behaviour of a software component after a memory disposal, or a DNA mutation as the result of a viral infection, are different examples that witness the importance of modelling about changes in adetermined situation. Practical user cases have aroused the interest of the logic community in the study of variants of RTS, by developing formal methods to properly reason about such situations. This issue aims to collect experiences and results from a community of researchers working on different ways to model reconfigurable and reactive systems from a formal perspective. This includes theoretical approaches (like hybrid logics, reactive frames, model-update logics, and topological and algebraic semantics), or formalisms designed for specific purposes (like separation logic in software verification, dynamic epistemic logic in AI planning, and others). Guest editors: Dr. José Proença, University of Porto Faculty of Sciences, Portugal Assoc. Professor Umberto Rivieccio, National Distance Education University, Spian Special issue information: The areas of interest include, but are not limited to: **Reconfigurable transitions systems (RTS)** - Models for the analysis of reconfigurable systems - Applications of formal models for reconfigurable systems - Computational tools to animate and analyze RTS - Generalizations of RTS - Fuzzy RTS, Paraconsistent RTS, Weighted RTS, Stochastic RTS, etc. - Featured Transition Systems - Reconfigurable Cyber Physical Systems **Logical Methods** - Dynamic Logics, Separation Logics, Dynamic Epistemic Logics for RTS - Bisimulations and general algebraic constructions - Model Checking and Tools - Reactive systems and Process Algebra - Logics for Cyber Physical Systems - Topological and Algebraic Semantics - Applications of AI for RTS Manuscript submission information: Submission deadline: November 30th, 2026 Please note that the submission is via non-invited content only for this special issue. Submissions should follow JLAMP’s guidelines for authors, available at: Guide for Authors. Manuscripts must be submitted via the JLAMP Editorial System (EM): Submission Link. During submission, please select “VSI:ReacTS 2025” as the article type. Keywords: Reconfigurable transitions systems; Reactive systems; Logical methods; Algebraic semantics https://www.sciencedirect.com/special-issue/333323/jlamp_reacts-2025
由 Admin Agent 最后更新于
特刊：Formal Requirements Engineering and Artificial Intelligence 截稿日期: 2026-12-30 Dear Colleagues, We are delighted to announce the Call for Papers for a Special Issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) on Formal Requirements and Artificial Intelligence Guest editors: Marie Farrell, The University of Manchester —[email protected] Divya Gopinath, KBR Inc. / NASA Ames — [email protected] Anastasia Mavridou, KBR Inc./ NASA Ames — [email protected] Hazel Taylor, The University of Manchester — [email protected] Special issue information: This special issue explores the intersection of formal requirements engineering and artificial intelligence (AI), addressing a central challenge in modern software and AI system development: how to precisely specify requirements for increasingly complex, heterogeneous, and autonomous systems, and how to verify and validate that such systems meet those requirements. As AI technologies become deeply embedded in safety and mission-critical domains, from autonomous vehicles to medical diagnostics, financial systems to industrial automation and space exploration, the need for rigorous, formal approaches to requirements is becoming increasingly important. At the same time, traditional requirements engineering methods face new challenges when applied to systems with learning-enabled components, unpredictable behaviors, and emergent properties. The opacity of AI models and the semantic gap between high-level requirements and low-level model inputs and internals create significant impediments to verifying and validating that such systems meet their specified requirements. The special welcomes contributions on formal specification languages for AI systems, verification and validation techniques, requirements for trustworthy AI, case studies from real-world applications, and novel applications of AI to requirements engineering itself. Areas of interest include but are not limited to: * How can we formally specify requirements for systems with learning-enabled components? * How can formal frameworks capture fairness, safety, robustness and explainability requirements for AI systems? * How do we verify that AI systems meet their specified requirements? * What role can AI play in automating requirements elicitation, formalization analysis, and validation? * How do we bridge high-level requirements and behavior of AI-enabled systems to enable traceability, safety assurance, and certification? Manuscript submission information: We invite authors to submit high-quality, original research that has not been published or reviewed elsewhere. Submissions should adhere to the JLAMP formatting guidelines. We will try to re-assign the submissions of the extended abstracts accepted at RExAI 2026 to the same reviewers whenever possible. Submissions should follow JLAMP’s guidelines for authors, available at: Guide for Authors. Manuscripts must be submitted via the JLAMP Editorial System (EM): Editorial Manager®. To submit, select the correct article type: “VSI:RExAI 2026” from the Article Type dropdown menu during the submission process. This is essential to ensure that manuscripts are properly routed to the Special Issue workflow and do not enter the regular submission stream. Important dates (all dates AoE) ======================== - Submission deadline: 30 December 2026 - First round review decisions: 28 February 2027 - Notification of final decisions: 30 July 2027 - Tentative publication: August 2027 https://www.sciencedirect.com/special-issue/337105/special-issue-on-formal-requirements-engineering-and-artificial-intelligence
由 Admin Agent 最后更新于
特刊：Components Operationally: Reversibility and System Engineering 截稿日期: 2027-01-31 This Special Issue of JLAMP collects selected contributions presented at the CORSE workshop—Components Operationally: Reversibility and System Engineering. The workshop was established to celebrate the 65th birthday of Jean-Bernard Stefani and to bring together researchers working on foundational and applied aspects of component-based and distributed systems. Guest editors: Assoc. Professor Claudio Antares Mezzina Department of Applied and Pure Sciences, University of Urbino Carlo Bo, Urbino, ITALY Special issue information: CORSE focuses on four main research areas: software engineering, system modeling, theoretical aspects of distributed systems, and reversible computing. The first three areas are strongly aligned with the traditional scope and interests of JLAMP, reflecting its long-standing commitment to rigorous methods for the design, analysis, and implementation of programming languages and systems. The fourth area, reversible computing, has gained increasing attention in recent years, driven by both theoretical advances and emerging applications in areas such as debugging, fault tolerance, and energy-aware computing. The papers included in this Special Issue provide a representative snapshot of current research at the intersection of these topics, combining solid theoretical foundations with practical insights. Together, they highlight the relevance of reversibility as a unifying concept and its potential impact on the future development of programming languages and distributed systems. Manuscript submission information: Submission deadline: Jan 31st, 2027 Submissions should follow JLAMP’s guidelines for authors, available at: Guide for authors - Journal of Logical and Algebraic Methods in Programming - ISSN 2352-2208 | ScienceDirect.com by Elsevier. Manuscripts must be submitted via the JLAMP Editorial System (EM): Editorial Manager®. During submission, please select “VSI:CORSE” as the article type. Keywords: Formal Methods, Concurrency Theory, Reversibility https://www.sciencedirect.com/special-issue/333326/components-operationally-reversibility-and-system-engineering
由 Admin Agent 最后更新于

看过这个的人也在看

CCF全称影响因子出版商ISSN
CFuture Generation Computer Systems5.9Elsevier0167-739X
BJournal of Computer and System Sciences1.4Elsevier0022-0000
BTheoretical Computer Science1.1Elsevier0304-3975
CDiscrete Applied Mathematics1.1Elsevier0166-218X
CEngineering Applications of Artificial Intelligence9.0Elsevier0952-1976
International Journal of Chaos, Control, Modelling and SimulationAIRCC2319-8990
Applied Soft Computing7.8Elsevier1568-4946
Applied Mathematics and Computation3.2Elsevier0096-3003
Applied Mathematical Modelling5.5Elsevier0307-904X
Solid State Sciences3.3Elsevier1293-2558

相关期刊

CCF全称影响因子出版商ISSN
CLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
The Journal of Logic and Algebraic ProgrammingElsevier1567-8326
International Journal of Parallel Programming0.9Springer0885-7458
Computer Methods in Applied Mechanics and Engineering7.3Elsevier0045-7825
International Journal of Information Management27.0Elsevier0268-4012
Journal of Computational Science3.7Elsevier1877-7503
Computer Methods and Programs in Biomedicine4.8Elsevier0169-2607
CKnowledge-Based Systems7.2Elsevier0950-7051
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312

相关会议

评论 0

暂无评论。

请登录后发表评论