[TYPES/announce] JLAMP Special Issue on Open Problems in Concurrency Theory

Pedro R. D'Argenio dargenio at famaf.unc.edu.ar
Wed Aug 30 13:26:56 EDT 2017


Journal of Logical and Algebraic Methods in Programming
Special Issue on Open Problems in Concurrency Theory

** 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 and has its root in the research seminar of
the same name held in Vienna on 26-29 of June, 2017 (
http://opct2017.famaf.unc.edu.ar). 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 additional
pages; 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 (Evise)
and can be uploaded to the JLAMP webpage. Authors must select “VSI: OPCT
2017″ when requested for “Special Issue Type” 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 20, 2017
First review decision:   March 23, 2018
Revision due:            May 21, 2018
Acceptance notification: June 20, 2018
Final manuscript due:    August 20, 2018
Expected publication:    September 30, 2018

** Guest Editors

Ilaria Castellani (INRIA, FR)
Pedro R. D’Argenio (Universidad Nacional de Córdoba, AR)
Mohammad Reza Mousavi (University of Leicester, UK / Halmstad University,
SE)
Ana Sokolova (University of Salzburg, AT)


-- 
Pedro R. D'Argenio (dargenio at famaf.unc.edu.ar)
FaMAF - Universidad Nacional de Cordoba
Medina Allende s/n, Ciudad Universitaria - X5000HUA Cordoba, Argentina
Tel: +54 351 535 3701, ext. 41306

http://www.cs.famaf.unc.edu.ar/~dargenio/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170830/aecc9922/attachment.html>


More information about the Types-announce mailing list