From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7939 Path: news.gmane.org!not-for-mail From: David Pym Newsgroups: gmane.science.mathematics.categories Subject: JLC Special Issue: Logics for Resources, Processes, and Programs Date: Fri, 29 Nov 2013 16:06:32 +0000 Message-ID: Reply-To: David Pym NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1385864296 2703 80.91.229.3 (1 Dec 2013 02:18:16 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 1 Dec 2013 02:18:16 +0000 (UTC) To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Sun Dec 01 03:18:21 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Vmwbz-00010U-RF for gsmc-categories@m.gmane.org; Sun, 01 Dec 2013 03:18:19 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:34843) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1VmwZy-00036q-Ta; Sat, 30 Nov 2013 22:16:14 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1VmwZz-0003QM-NA for categories-list@mlist.mta.ca; Sat, 30 Nov 2013 22:16:15 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7939 Archived-At: = **************************************************************************= *******=20 Call for Papers JOURNAL OF LOGIC AND COMPUTATION Special Issue on Logics for Resources, Processes, and Programs Editors: Didier Galmiche (Universit=E9 de Lorraine --- LORIA) and=20 David Pym (UCL) Submission deadline: 28 February, 2014 = **************************************************************************= *******=20 AIMS AND SCOPE We invite submissions to a Special Issue of the Journal of Logic and=20 Computation (JLC) devoted to the topic `Logics for Resources, Processes, and Programs'. This call follows on from the LRPP 2013=20 workshop held in association with Tableaux 2013. This Call is open=20 to all interested authors, irrespective of attendance at LRPP 2013.=20 Topics of interest include, but are not restricted to, the following: - Logics for resources: semantics, model theory, and proof theory; - Process calculi, concurrency, and resource-distribution; - Reasoning about programs, systems, and behaviours (e.g., Separation=20 Logic and associated ideas); - Extensions of logics: for example, with modalities; - Languages of assertions, and languages based on resource logics (e.g., query languages, pointers, trees, and graphs); - Theorem proving and model checking in resource logics: decision procedures, strategies, complexity results;=20 - Applications to access control models in computer and system=20 security.=20 We aim to identify and present a timely record of the leading = contributions=20 to these logically rich and highly applicable topics in a rigorous logic = journal.=20 SUBMISSIONS Papers should be sent by email to either of the editors (Galmiche=20 or Pym, at their addresses as given below). Please use the=20 Subject line: JLC LRPP submission.=20 Papers should be prepared using LaTeX and, in the first instance,=20 submitted as pdf.=20 Submissions should present original work of the highest quality, not=20 previously published in, or submitted to, another journal. Each submission will be considered by at least two reviewers and assessed=20 against the usual high standards of the JLC.=20 Please see http://logcom.oxfordjournals.org for guidance to authors=20 concerning submissions to the JLC.=20 IMPORTANT DATES Submissions: 14 March, 2014 Notifications: 15 June, 2014= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]