Fwd: [PT] 2nd call Workshop on Logics for Resources, Processes and Programs

Hello, is anybody considering going to Finland and present Deep 
Inference? I think the audience there might be very interesting. I 
would be happy to do so, but cannot at that time. In case somebody 
wants to present something, I'm happy to help preparing the material. 
-Alessio


>Date: Thu, 01 Apr 2004 12:06:02 +0200
>From: Didier Galmiche <Didier.Galmiche-/[email protected]>
>Organization: LORIA UMR 7503
>To: [email protected], [email protected], [email protected],
>         [email protected], [email protected],
>         appsem-bvfaE1kav+4XOLVLeuLo0qTdHet3F+8AWV23jfQ1LcY@public.gmane.org, [email protected],
>         [email protected], [email protected], 
>[email protected],
>         [email protected], [email protected]
>Subject: [PT] 2nd call Workshop on Logics for Resources, Processes 
>and Programs
>List-Page: <http://www.prooftheory.org/list.html>
>Status:  
>
>==================================================================
>                    SECOND CALL FOR PAPERS
>
>     Workshop on Logics for Resources, Processes, and Programs
>
>             (affiliated with LICS 2004 and ICALP 2004)
>
>                     July 13, 2004, Turku, Finland
>
>           Web page: http://www.loria.fr/~galmiche/LRPP04.html
>
>===================================================================
>
>***NEW***
>
>- New submission deadline : April 24, 2004.
>
>- There will be a Special Issue of the Journal of Logic and
>Computation Semantics Corner after the workshop (subject to
>the usual JLC refereeing standards).
>
>===================================================================
>
>A one day workshop on Logics for Resources, Processes, and Programs
>will be held in July 2004 in conjunction with
>LICS 2004 (http://www.dcs.ed.ac.uk/home/als/lics/lics04/) and
>ICALP 2004 (http://www.math.utu.fi/ICALP04/) conferences in Turku,
>Finland. The organizers and co-chairmen are Didier Galmiche, Peter
>O'Hearn and David Pym.
>Hardcopies of the preliminary proceedings will be distributed at the
>workshop and a Special Issue of a Journal on these topics is expected
>after the workshop.
>
>TOPICS
>
>The notion of resource is a basic one in many fields, but it appears
>as central in computer science.  Various logics, typically involving
>substructural  connectives, have been proposed in order to provide a
>logical analysis of this  notion from different viewpoints. Examples
>include linear logic (number-of-uses reading), the bunched
>implications logic (sharing interpretations),  so-called separation
>and spatial logics (pointer logic and local reasoning, logics for
>concurrency, logics for data structures such as trees). Logics  such
>as these, which may include  a wide range of modalities and
>domain-specific operators, allow the description of properties of
>systems, of process calculi, and of programs, and so provide bases
>for specification and theorem-proving tools.
>
>The objective of the workshop to provide a forum for discussion
>between researchers interested in logics of resources (from
>foundations to related calculi and applications) and researchers
>interested in languages and methods for specification of mobile,
>distributed, concurrent systems and their verification.
>
>Topics of interest, in this context, include but are not restricted
>to the following:
>
>- Logics for resources: semantics and proof theory;
>- Process calculi, concurrency, resource-distribution;
>- Reasoning about programs and systems;
>- Extensions of logics, e.g. with modalities;
>- Languages of assertions, languages based on resource logics
>(query languages, pointers, trees, and graphs) and reasoning;
>- Theorem proving and model checking in resource logics:
>    decision procedures, strategies, complexity results.
>
>SUBMISSIONS
>
>Researchers interested in presenting their works are invited to send
>an extended abstract (up to 10 pages) by e-mail submissions of
>Postscript files to D. Galmiche (Didier.Galmiche-/[email protected]) before
>April 24, 2004. Papers will be reviewed by peers, typically members of
>the Programme Committee.
>The cover page should include a return mailing address and, if
>possible, an electronic mail address and a fax number.
>Additional information will be available through WWW address:
>http://www.loria.fr/~galmiche/LRPP04.html
>
>PROGRAM COMMITTEE
>
>L. Caires              (UNL Lisbon, Portugal)
>D. Galmiche            (LORIA, France)
>P. O'Hearn             (QM London, UK)
>D. Pym                 (HP Labs and Bath, UK)
>V. Sassone             (Sussex, UK)
>P. Schroeder-Heister   (Tuebingen, GR)
>D. Walker              (Princeton, USA)
>
>IMPORTANT DATES
>
>Submissions:     April 24, 2004
>Notifications:   May 17, 2004
>Final papers:    June 7, 2004
>Workshop date:   July 13, 2004