Presentation
Programme
Abstracts
Organization
Participants

Workshop: Logic Programming and Concurrency

Marseille
February 27 - March 3, 2006

Presentation

Logic programming, in the sense of proof search in sequent calculus, has been used to describe the operational semantics of concurrent computational systems in at least two distinct fashions.

In the process-as-term approach, process combinators and relations between them (one-step, bisimulation, etc), are encoded as non-logical primitives, whose axiomatization is provided by structured operational semantics (SOS). Here, classical and intuitionistic logics are generally used in such axiomatizations. Recent challenges in this setting have been capturing both may and must properties of processes, uncovering declarative approaches to link mobility, and exploiting evident connections to model checking and game semantics.

In the process-as-formula approach, process combinators are encoded directly as logical connective and the operational semantics of processes is provided directly by an underlying logic, such as linear logic. Such encodings have been most successfully employed to date with asynchronous process calculi. Recent challenges here have been finding ways to exploit the meta-theory of linear logic to provide results about processes and declarative approaches to sequentiality and security protocols. This workshop will focus on examining various connections between concurrent computation and the proof search paradigm, whether or not that connection falls neatly into the above mentioned approaches.

Programme

Time Mon 27 Tue 28 Wed 01 Thu 02 Fri 03
09:00-10:30

ISLC Workshop

Frank Pfenning (60mn)

Deepak Garg (30mn)

Christophe Fouqueré (60mn)

Lutz Straßburger (30mn)

ISLC Workshop

PTS Workshop

PTS Workshop

11:00-12:30

ISLC Workshop

David Baelde (30mn)

Dale Miller II (60mn)

PTS Workshop

ISLC Workshop

PTS Workshop

PTS Workshop

14:00-15:30

Dale Miller I (60mn)

Axelle Ziegler (30mn)

ISLC Workshop

PTS Workshop

ISLC Workshop

PTS Workshop

PTS Workshop

16:00-17:30

Special lecture by John Baez

ISLC Workshop

ISLC Workshop

PTS Workshop

PTS Workshop

Note: The two talks by Dale Miller are independent.

Abstracts

Organization

Organizers: Dale Miller and Lutz Straßburger.

Context: This workshop is part of Geometry of Computation 2006 (Geocal06), a special series of events in theoretical computer science organized by the GEOCAL group and taking place at the CIRM from January 30 to March 3, 2006. Geocal06 is supported by the following institutions: IML, FRUMAM, Luminy, UnivMed, Genopole, CIRM, CNRS.