Workshop on Chu Spaces: Theory and Applications
25th June 2000.
A LICS'2000 Associated Workshop
Organised by Valeria de Paiva and Vaughan Pratt

[ Overview ] [ Programme ] [ Abstracts ]

Overview of the Workshop

Chu Spaces are mathematical structures that have found recent application to modeling concurrent processes, information flow and also Linear Logic. The workshop is concerned with the theory and applications of Chu Spaces, and other neighbors like the Dialectica-construction and the double-glueing construction. This workshop will bring together computer scientists, mathematicians and logicians to discuss the development of the theory of Chu spaces and similar constructions. Chu spaces are object of considerable interest in the theoretical computer science community, but work in the subject is fragmented across several areas: category theory, traditional model theory, concurrency, and the semantics of programming languages. Communication between researchers in these different areas tends to be limited. We would like to open a forum dedicated to the research into Chu spaces, where these separate strands could communicate.

The workshop will have talks given by invited speakers as well as a number of contributed talks, selected from submissions. Invited speakers confirmed at the moment are Samson Abramsky, Michael Barr, Hongde Hu, Jurgen Koslowski and Dusko Pavlovic.

The original call for papers can fe found here. Abstracts of the talks, sorted alphabetically by author, can be found here.



Programme


9.00h-9.05h

Paiva and Pratt

Welcome

9.05h-9.45h

Michael Barr

Chu Spaces through History

homepage

9.45h-10.10h

Dominic Hughes

Full completeness of the multiplicative linear logic of Chu spaces

homepage

10.10h-10.30h

Coffee

10.30h-11.10h

Jurgen Koslowski

A 2-dimensional view of the Chu construction

homepage

11.10h-11.20h

Break

11.20h-12.00h

Samson Abramsky

Chu Spaces and Realizability

homepage

12.00h-13.30h

Lunch

13.30h-14.10h

Jerry Seligman

The Elusive Infon

homepage

14.10h-14.35h

Vaughan Pratt

Importance of Chu Spaces in Philosophy and Computation

homepage

14.35h-15.00h

Eike Ritter

A Parigot-style term calculus for Full Intuitionistic Linear Logic

homepage

15.00h-15.20h

Coffee Break

15.20h-16.00h

Dusko Pavlovic

Towards semantics of self-adaptive software

homepage

16.00h-16.25h

Silvia Gebellato

Continuity and Convergence in the basic picture

homepage

16.25h-16.50h

Valeria de Paiva

Dialectica and Chu Constructions: Cousins?

homepage

16:50h-17.00h

Break

17.00h-17.40h

Hongde Hu

Perfect graphs and their total completions

homepage

17.40h-18.00h

Pratt and Paiva

Concluding Remarks

Back to top of page

+++++++++++++++++++++++++++

Page maintained by paiva@parc.xerox.com Last modified: 16 May 2000