caml-list - the Caml user's mailing list
 help / Atom feed
From: Walter Guttmann <walter.guttmann@canterbury.ac.nz>
To: caml-list@inria.fr
Subject: [Caml-list] Call for Papers: JLAMP Special Issue on Relational and Algebraic Methods in Computer Science
Date: Mon, 10 Dec 2018 17:14:31 +1300
Message-ID: <20181210041431.A77A81C1EBA@hp635.home> (raw)


             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)


-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list
Forum: https://discuss.ocaml.org/
Bug reports: http://caml.inria.fr/bin/caml-bugs

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20181210041431.A77A81C1EBA@hp635.home \
    --to=walter.guttmann@canterbury.ac.nz \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox