From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id B974F7FACB for ; Thu, 4 Sep 2014 18:28:19 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bernardo@sti.uniurb.it) identity=pra; client-ip=193.205.2.135; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bernardo@sti.uniurb.it"; x-sender="bernardo@sti.uniurb.it"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bernardo@sti.uniurb.it) identity=mailfrom; client-ip=193.205.2.135; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bernardo@sti.uniurb.it"; x-sender="bernardo@sti.uniurb.it"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@raffaello.sti.uniurb.it) identity=helo; client-ip=193.205.2.135; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bernardo@sti.uniurb.it"; x-sender="postmaster@raffaello.sti.uniurb.it"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqEEAACSCFTBzQKH/2dsb2JhbABZDoNSyHkGh1CBHHeEBQYBARobAjgHYV6IWL0GF451WIRTBZVuiFmNEoY1gx9EO4E1gUkBAQE X-IPAS-Result: AqEEAACSCFTBzQKH/2dsb2JhbABZDoNSyHkGh1CBHHeEBQYBARobAjgHYV6IWL0GF451WIRTBZVuiFmNEoY1gx9EO4E1gUkBAQE X-IronPort-AV: E=Sophos;i="5.04,467,1406584800"; d="scan'208";a="77784358" Received: from www.sti.uniurb.it (HELO raffaello.sti.uniurb.it) ([193.205.2.135]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Sep 2014 18:28:18 +0200 Received: from dechirico.sti.uniurb.it (dechirico.sti.uniurb.it [192.168.1.207]) by raffaello.sti.uniurb.it (Postfix) with ESMTP id D6F2015E54; Thu, 4 Sep 2014 18:28:10 +0200 (CEST) Date: Thu, 4 Sep 2014 18:25:02 +0200 (CEST) From: Marco Bernardo 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 , Michele Loreti Message-ID: User-Agent: Alpine 2.00 (DEB 1167 2008-08-23) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII X-Validation-by: bernardo@sti.uniurb.it Subject: [Caml-list] JLAMP special issue on Open Problems in Concurrency Theory 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