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

[Peter.Hoefner at data61.csiro.au]

Call for Papers for Journal Special Issue

-----------------------------------------------------

RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE 
                                 
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
applications.

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

Theory:

    * 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

Applications:

    * tools and techniques for the verification and correctness of
    sequential and concurrent programs
    
    * quantitative and qualitative models and semantics for computing
      systems
          
    * logics of programs, e.g., modal, dynamic, interval, temporal or
    resource logics; logics for games, social choice and distributed
    systems
    
    * 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

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

Any deviation from these requirements may result in immediate
rejection.

-----------------------------------------------------

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