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.hoef...@data61.csiro.au
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
