********************************************************************************* 2nd Call for Papers JOURNAL OF LOGIC AND COMPUTATION Special Issue on Logics for Resources, Processes, and Programs Editors: Didier Galmiche (Université de Lorraine --- LORIA) and David Pym (UCL) Submission deadline (extended): 31 March, 2014 ********************************************************************************* AIMS AND SCOPE We invite submissions to a Special Issue of the Journal of Logic and Computation (JLC) devoted to the topic `Logics for Resources, Processes, and Programs'. This call follows on from the LRPP 2013 workshop held in association with Tableaux 2013. This Call is open to all interested authors, irrespective of attendance at LRPP 2013. 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 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; - Applications to access control models in computer and system security. We aim to identify and present a timely record of the leading contributions to these logically rich and highly applicable topics in a rigorous logic journal. SUBMISSIONS Papers should be sent by email to either of the editors (Galmiche or Pym, at their addresses as given below). Please use the Subject line: JLC LRPP submission. Papers should be prepared using LaTeX and, in the first instance, submitted as pdf. Submissions should present original work of the highest quality, not previously published in, or submitted to, another journal. Each submission will be considered by at least two reviewers and assessed against the usual high standards of the JLC. Please see http://logcom.oxfordjournals.org for guidance to authors concerning submissions to the JLC. IMPORTANT DATES Submissions: 31 March, 2014 Notifications: 15 June, 2014 EDITORS Didier Galmiche, Université de Lorraine --- LORIA (Didier.Galmiche@loria.fr) David Pym, University College London (d.pym@ucl.ac.uk) -- Professor of Information, Logic, and Security Head of Programming Principles, Logic, and Verification d.pym@ucl.ac.uk www.cs.ucl.ac.uk/People/D.Pym www.cs.ucl.ac.uk/staff/D.Pym/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]