[CFP] Relational and Algebraic Methods in CS — Thematic Issue of Fundamenta Informaticae
(Apologies for multiple posting) OPEN CALL FOR PAPERS FOR JOURNAL THEMATIC ISSUE Relational and Algebraic Methods in Computer Science Thematic Issue of the journal Fundamenta Informaticae (FI) https://fi.episciences.org/ IMPORTANT DATES: Submission Deadline: 31/10/2026. Notification (tentative): 30/04/2027. TOPICS: Relational and algebraic methods belong to the core of computer science. This special issue aims to showcase the variety and relevance of recent developments in this field ranging from theory to applications. We invite submissions of high-quality original research articles in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their formalisation with theorem provers - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications While we welcome substantially extended versions of papers published in the proceedings of the RAMiCS 2026 conference (Springer LNCS 16526, https://link.springer.com/book/10.1007/978-3-032-22469-9), this call is open to anyone interested in the field of relational and algebraic methods. SUBMISSION INSTRUCTIONS: All submissions will be evaluated solely with respect to their novelty, significance and technical quality according to the high standards of the journal FI. They must adhere to the standard FI guide for authors: https://fi.episciences.org/page/author-guidelines Authors must first prepare a preprint and post it on CoRR/arXiv or HAL (https://hal.science/). An account on one of these platforms is required prior to submission. Authors should then upload their manuscript to the Episcience online system as follows: - [Create and] sign in to your episciences account (https://fi.episciences.org/user/) - Go to https://fi.episciences.org/submit/index. - Insert your manuscript arXiv or HAL identifier and click "Search". - On the next page, pick "Relational and Algebraic Methods in Computer Science" from the menu list "Submit in the volume:". - Complete the rest of the form in the page and submit. Deviation from these requirements may lead to immediate rejection. EDITORS: Uli Fahrenberg (LMF, Paris-Saclay University, France, guest editor FI) Wesley Fussner (Institute of Computer Science, Czech Academy of Sciences, Prague, Czechia, guest editor FI) Luigi Santocanale (LIS, Aix-Marseille Université, France, guest editor FI) -- Luigi Santocanale, professeur, LIS/AMU
participants (1)
-
Luigi Santocanale