From: Marco Bernardo <bernardo@sti.uniurb.it>
To: agents@cs.umbc.edu, appsem@appsem.org, caml-list@inria.fr,
categories@mta.ca, compunode@compulog.org,
concurrency@listserver.tue.nl, coq-club@pauillac.inria.fr,
ecoop-info@ecoop.org, fmics@inrialpes.fr,
isabelle-users@cl.cam.ac.uk, lics@informatik.hu-berlin.de,
list@prooftheory.org, logic-announce@uclink4.berkeley.edu,
logic-list@helsinki.fi, mailinglist@fmeurope.org,
moca-announce@list.it.uu.se, papm@informatics.ed.ac.uk,
performance@merlot.usc.edu, petrinet@informatik.uni-hamburg.de,
prog-lang@diku.dk, puml-list@cs.york.ac.uk, pvs@csl.sri.com,
qest-announce@iti.uiuc.edu, seworld@sigsoft.org,
theorem-provers@ai.mit.edu, theory-logic@cs.cmu.edu,
theorynt@listserv.nodak.edu,
types-announce@lists.seas.upenn.edu
Cc: Daniel Gebler <e.d.gebler@vu.nl>,
Michele Loreti <michele.loreti@unifi.it>
Subject: [Caml-list] JLAMP special issue on Open Problems in Concurrency Theory
Date: Thu, 4 Sep 2014 18:25:02 +0200 (CEST) [thread overview]
Message-ID: <alpine.DEB.2.00.1409041824010.4320@dechirico.sti.uniurb.it> (raw)
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
SPECIAL ISSUE ON OPEN PROBLEMS IN CONCURRENCY THEORY
CALL FOR PAPERS
* Aims and Scope
This special issue of the Journal of Logical and Algebraic Methods in Programming is
devoted to the themes of the Research Seminar on Open Problems in Concurrency Theory,
which took place in June 2014 in Bertinoro, Italy, and was co-sponsored by
the IFIP Working Group 1.8 (see http://opct2014.cs.vu.nl/ for more details).
This is an open call for papers, therefore both participants of the research seminar
and other authors are encouraged to submit their contributions. Submissions are invited
in the field of concurrency theory; specific topics include, but are not limited to,
the following:
- Models of concurrency
- Process calculi
- Behavioral relations and metrics
- Expressiveness
- Programming languages and types
- Quantitative and security aspects
- Verification, testing, and synthesis
Papers surveying important open problems in concurrency theory are also welcome.
* Submission Guidelines
We expect original submissions of 20-30 pages, which present high-quality contributions
that have not been previously published in another journal and that are not simultaneously
submitted for publication elsewhere. Longer papers will be considered if there is a clear
justification for why additional pages are necessary; prospective authors should contact
the guest editors to discuss this.
Each paper will undergo a thorough evaluation by at least two reviewers. The authors will
have some time to incorporate the comments of the reviewers and submit a revised version
of their papers, which will be evaluated again by the reviewers to make a final decision.
Submissions will be handled through the Elsevier Editorial System (EES) and can be uploaded
from the JLAMP webpage (http://ees.elsevier.com/jlamp/). Authors must select "SI: OPCT 2014"
when they reach the "Article Type" step in the submission process. Contributions should be
typeset in PDF format and comply with the JLAMP author guidelines. Accepted manuscripts
can be posted to arXiv.
* Important Dates
Submission of papers: November 15, 2014
First review decision: February 28, 2015
Revision due: April 30, 2015
Acceptance notification: May 31, 2015
Final manuscript due: June 30, 2015
Expected publication: July 31, 2015
* Guest Editors
Marco Bernardo
University of Urbino, Italy
Daniel Gebler
Free University of Amsterdam, The Netherlands
Michele Loreti
University of Firenze, Italy
reply other threads:[~2014-09-04 16:28 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly 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=alpine.DEB.2.00.1409041824010.4320@dechirico.sti.uniurb.it \
--to=bernardo@sti.uniurb.it \
--cc=agents@cs.umbc.edu \
--cc=appsem@appsem.org \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=compunode@compulog.org \
--cc=concurrency@listserver.tue.nl \
--cc=coq-club@pauillac.inria.fr \
--cc=e.d.gebler@vu.nl \
--cc=ecoop-info@ecoop.org \
--cc=fmics@inrialpes.fr \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=lics@informatik.hu-berlin.de \
--cc=list@prooftheory.org \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic-list@helsinki.fi \
--cc=mailinglist@fmeurope.org \
--cc=michele.loreti@unifi.it \
--cc=moca-announce@list.it.uu.se \
--cc=papm@informatics.ed.ac.uk \
--cc=performance@merlot.usc.edu \
--cc=petrinet@informatik.uni-hamburg.de \
--cc=prog-lang@diku.dk \
--cc=puml-list@cs.york.ac.uk \
--cc=pvs@csl.sri.com \
--cc=qest-announce@iti.uiuc.edu \
--cc=seworld@sigsoft.org \
--cc=theorem-provers@ai.mit.edu \
--cc=theory-logic@cs.cmu.edu \
--cc=theorynt@listserv.nodak.edu \
--cc=types-announce@lists.seas.upenn.edu \
/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
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox