From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9770 Path: news.gmane.org!.POSTED!not-for-mail From: Walter Guttmann Newsgroups: gmane.science.mathematics.categories Subject: Call for Papers: JLAMP Special Issue on Relational and Algebraic Methods in Computer Science Date: Mon, 10 Dec 2018 17:14:36 +1300 Message-ID: Reply-To: Walter Guttmann NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8BIT X-Trace: blaine.gmane.org 1544458110 21851 195.159.176.226 (10 Dec 2018 16:08:30 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 10 Dec 2018 16:08:30 +0000 (UTC) To: Original-X-From: majordomo@mlist.mta.ca Mon Dec 10 17:08:26 2018 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gWO6a-0005c1-Gq for gsmc-categories@m.gmane.org; Mon, 10 Dec 2018 17:08:24 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:60312) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1gWO8U-0002ba-3E; Mon, 10 Dec 2018 12:10:22 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1gWO6l-0001JR-5n for categories-list@mlist.mta.ca; Mon, 10 Dec 2018 12:08:35 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9770 Archived-At: OPEN CALL FOR PAPERS FOR JOURNAL SPECIAL ISSUE Relational and Algebraic Methods in Computer Science Special Issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) http://www.ramics-conference.org/ramics-2018-jlamp-cfp.pdf IMPORTANT DATES: Submission Deadline: 31 March 2019 Notification of Acceptance: late 2019/early 2020 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 2018 conference (Springer LNCS 11194, https://www.springer.com/gp/book/9783030021481), 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 JLAMP. They must be in PDF format, adhere to the standard JLAMP guide for authors https://www.elsevier.com/journals/journal-of-logical-and-algebraic-methods-in-programming/2352-2208/guide-for-authors and be uploaded on Elsevier's online EVISE system https://www.evise.com/profile/#/JLAMP/login selecting the issue type VSI: RAMiCS 2018 Deviation from these requirements may lead to immediate rejection. GUEST EDITORS: Jules Desharnais (Universit?? Laval, Qu??bec, Canada) Walter Guttmann (University of Canterbury, New Zealand) Stef Joosten (Open University of the Netherlands) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]