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 Xin Yao in 2017-11-12
Special Issues
Special Issue on Open Problems in Concurrency Theory
Submission Date: 2017-11-20

Aims and Scope This special issue of the Journal of Logical and Algebraic Methods in Programming is devoted to the themes of the Research Seminar on Open Problems in Concurrency Theory and has its root in the research seminar of the same name held in Vienna on 26-29 of June, 2017. This is an open call for papers, therefore both participants of the research seminar and other authors are encouraged to submit their contributions. Submissions are invited in the field of concurrency theory; specific topics include, but are not limited to, the following: Models of concurrency Process calculi Behavioral relations and metrics Expressiveness Programming languages and types Quantitative and security aspects Verification, testing, and synthesis Papers surveying important open problems in concurrency theory are also welcome. Submission Guidelines We expect original submissions of 20-30 pages, which present high-quality contributions that have not been previously published in another journal and that are not simultaneously submitted for publication elsewhere. Longer papers will be considered if there is a clear justification for additional pages; prospective 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 some time 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. Submissions will be handled through the Elsevier Editorial System (EES) and can be uploaded to the JLAMP webpage. Authors must select “SI: OPCT 2017″ when they reach the “Article Type” step in the submission process. Contributions should be typeset in PDF format and comply with the JLAMP author guidelines. Accepted manuscripts can be posted to arXiv. Important Dates Submission of papers: November 20, 2017 First review decision: March 23, 2018 Revision due: May 21, 2018 Acceptance notification: June 20, 2018 Final manuscript due: August 20, 2018 Expected publication: September 30, 2018 Guest Editors Ilaria Castellani (INRIA, FR) Pedro R. D’Argenio (Universidad Nacional de Córdoba, AR) Mohammad Reza Mousavi (University of Leicester, UK / Halmstad University, SE) Ana Sokolova (University of Salzburg, AT)
Last updated by Dou Sun in 2017-07-25
Special Issue on Computational modelling and data-driven techniques for systems analysis
Submission Date: 2017-11-30

This Special Issue aims at bringing together contributions from academia, industry and research institutions interested in the combined application of computational modelling methods with data-driven techniques from the areas of knowledge management, data mining and machine learning. Modelling methodologies of interest include automata, agents, Petri nets, process algebras and rewriting systems. Application domains include social systems, ecology, biology, medicine, smart cities, governance, education, software engineering, and any other field that deals with complex systems and large amounts of data. More specifically, research results in any of the themes of interest of the DataMod 2017 symposium and its previous editions ( are welcome. Moreover, we encourage the submission of synergistic approaches: modelling methods and notations in a knowledge management/discovery context and/or the development and use of common modelling and knowledge management/discovery frameworks to explore and understand complex systems from the application domains of interest. Papers that at the time have appeared in archived conference proceedings (e.g. in DataMod 2017) will be considered for publication only if there is at least 30% of new material (i.e. important additional empirical results, extensions of the methods and so on) compared to the conference version of the paper. Authors of such submissions are required to enclose a letter discussing in detail the differences between the already published version and the submission. The Editors reserve the decision as to whether the 30% difference requirement is met. Papers may address topics including, but not limited to, the following. TOPICS 1. Modelling and analysis methodologies include: - Agent-based Methodologies - Automata-based Notations - Big Data Analytics - Cellular Automata - Classification - Clustering, Segmentation and Profiling - Conformance Analysis - Constraint Programming - Data Mining - Differential Equations - Empirical Modelling - Game Theory - Machine Learning - Membrane Systems - Network Theory and Analysis - Ontologies - Optimisation Modelling - Petri Nets - Process Calculi - Process Mining - Rewriting Systems - Spatio-temporal Data Analysis/Mining - Statistical Model Checking - System Dynamics - Text Mining - Topological Data Analysis 2. Application domains include: - Biology - Brain Data and Simulation - Business Process Management - Climate Change - Cybersecurity - Ecology - Education - Environmental Risk Assessment and Management - Enterprise Architectures - Epidemiology - Genetics - Governance - Open Source Software Development and Communities - Pharmacology - Resilience Engineering - Safety and Security Risk Assessment - Social Good - Social Software Engineering - Social Systems - Sustainable Development - Threat modelling and analysis - Urban Ecology and Smart Cities
Last updated by Dou Sun in 2017-10-29
Related Publications
Related Journals
CCFFull NameImpact FactorPublisherISSN
Materials Science and Engineering: C3.420ELSEVIER0928-4931
IET Signal Processing0.873IET1751-9675
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
Journal of Scientific Computing1.710Springer0885-7474
cJournal of Functional Programming1.37Cambridge University Press0956-7968
IERI Procedia ELSEVIER2212-6678
bFormal Aspects of Computing1.226Springer0934-5043
Mobile Information Systems1.462Hindawi1574-017X
bScience of Computer Programming0.828ELSEVIER0167-6423
Full NameImpact FactorPublisher
Materials Science and Engineering: C3.420ELSEVIER
IET Signal Processing0.873IET
Logical Methods in Computer Science Logical Methods in Computer Science
Journal of Scientific Computing1.710Springer
Journal of Functional Programming1.37Cambridge University Press
Formal Aspects of Computing1.226Springer
Mobile Information Systems1.462Hindawi
Science of Computer Programming0.828ELSEVIER
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 Intelligence2016-03-012016-05-062016-06-25
WCETInternational Workshop on Worst-Case Execution Time 2012-05-202012-07-10
b3ODBASEInternational Conference on Ontologies, DataBases, and Applications of Semantics2015-07-142015-08-162015-10-26
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
aa2ESOPEuropean Symposium on Programming2017-10-132017-12-222018-04-14
b2SOSEInternational Symposium on Service-Oriented System Engineering2017-11-202018-01-152018-03-26
II-SDVInternational Information Conference on Search, Data Mining and Visualization2014-10-31 2015-04-20