LOGICS FOR RESOURCES, PROCESSES, AND PROGRAMS
Turku, Finland,
July 13, 2004
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 (Didier.Galmiche@loria.fr) 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)
Contact for more information
Didier Galmiche LORIA UMR 7503 & Universite Henri Poincare Campus Scientifique, B.P. 239 54506 Vandoeuvre-les-Nancy, France email: Didier.Galmiche@loria.fr Phone: +33 (0) 3 83 59 20 15 Fax: +33 (0) 3 83 41 30 79 URL: http://www.loria.fr/~galmiche