[Om-announce] CfP: Relational and Algebraic Methods in Computer Science - Special Issue in JLAMP

Peter.Hoefner at data61.csiro.au Peter.Hoefner at data61.csiro.au
Sun Aug 13 14:02:49 CEST 2017

Call for Papers for Journal Special Issue


Special Issue in  Journal of Logic and Algebraic Methods in Programming (JLAMP)


Relational and algebraic methods based, for instance, on relation and
Kleene algebras, semigroups, lattices or semirings belong to the core
of computer science. This special issue aims to showcase the variety
and relevance of recent developments in this field, from theory to

We invite submissions of high-quality original research articles on topics
that include, but are not limited to the following.


    * algebraic structures from semigroups, residuated lattices and
    semirings to Kleene algebras, relation algebras and quantales
    * other algebras relevant to the theory of automata, concurrency,
    formal languages, games, networks, programming languages and
    social choice
    * algorithmic, category-theoretic, coalgebraic or proof-theoretic
    methods for such algebras
    * their formalisation with automated and interactive theorem provers


    * tools and techniques for the verification and correctness of
    sequential and concurrent programs
    * quantitative and qualitative models and semantics for computing
    * logics of programs, e.g., modal, dynamic, interval, temporal or
    resource logics; logics for games, social choice and distributed
    * design of algorithms, network protocol analysis, optimisation and control 

While we welcome in particular substantially extended versions of
articles published in the proceedings of the RAMiCS 2017 conference
(http://www.springer.com/gp/book/9783319574172), this call is open to
anyone interested in the field of relational and algebraic methods.

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


and be uploaded on Elsevier's online EVISE system


Any deviation from these requirements may result in immediate


Important Dates:

 Submission deadline: 30 Oct 2017           
 Notification of acceptance: summer 2018
 Final Version due: autumn 2018


Guest Editors:
   Peter Höfner, Data61, CSIRO, Australia
   Damien Pous, CNRS, France
   Georg Struth, University of  Sheffield, UK


Contact: Peter.Hoefner at data61.csiro.au

More information about the Om-announce mailing list