TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 9329

Interactions between Category Theory and Computer Science

( 19. Jul – 23. Jul, 1993 )

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/9329

Organisatoren
  • A.M. Pitts
  • J.W. Gray
  • K. Sieber



Summary

The conference brought together a small group of researchers actively applying category theoretic and formal logical methods to the following topics: programming language semantics, type theories, linear logic, concurrency theory and abstract data type theory. There were 38participants (from ten countries), of which 33 presented talks. The pleasant surroundings and well-run facilities provided ample opportunities for interaction between participants.

Scientifically speaking, interactions between category theorists and computer scientists are driven by several concerns. Probably the most important is the need to give adequate formal semantics for programming language constructs, and a number of talks addressed this issue. The concepts developed by category theorists for use in computer science have led to new developments in category theory that are of interest in themselves and category theory developments have also led to suggestions for new features in programming languages. Another side of this picture is supplied by logic. One of the key questions in computer science now concerns tools for developing and reasoning about concurrently reacting systems and parallel programming constructs. It may be that an important role in understanding the structure of parallel programs will come from linear logic, a topic which featured in several of the talks. The interaction here is mediated by the search for the proper categorical semantics for both structures.

Copyright

Teilnehmer
  • A.M. Pitts
  • J.W. Gray
  • K. Sieber