Workshop on


(affiliated with LICS 2004 and ICALP 2004 )

Turku, Finland, July 13, 2004

Organizers: Didier Galmiche, Peter O'Hearn, David Pym.


Preliminary program (.ps file)

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).


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:


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 Didier Galmiche ( by April 29, 2004.
Papers will be reviewed by peers, typically members of the programme committee.
The cover page should include a return mailing address and an electronic mail address and a fax number.

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.

Call for papers (.ps file)

Important dates:

Program Committee

  • Luis Caires (UNL, Lisbon, Portugal)
  • Didier Galmiche (LORIA Nancy, France)
  • Peter O'Hearn (QMW London, UK)
  • David J. Pym (HP Labs and Bath, UK)
  • Vladimiro Sassone (Sussex, UK)
  • Peter Schroeder-Heister (Tuebingen, Germany)
  • David Walker (Princeton, USA)

    Contact for more information

    Didier Galmiche 
    LORIA UMR 7503 & Universite Henri Poincare 
    Campus Scientifique, B.P. 239 
    54506 Vandoeuvre-les-Nancy, France 
    Phone: +33 (0) 3 83 59 20 15 
    Fax: +33 (0) 3 83 41 30 79