Workshop on the Mathematical Foundations of Programming Semantics (8th) Held at the University of Oxford on April 6-10, 1992

Abstract

This grant provided support for the Eighth Workshop on the Mathematical Foundations of Programming Semantics, held at the University of Oxford from April 6 to April 10, 1992. The Workshop attracted 101 participants from 13 countries including the United States. Twenty-nine of the participants were graduate students. There were six invited hour talks, and 38 contributed 30-minute talks. These talks ranged from talks on abstract mathematical topics such as topology and category theory to work on the mathematical foundations underlying semantics issues, to applications of such theories to the semantics of various high-level programming languages. There were two Special Sessions at the Workshop. The first was organized by J.M. Woodcock (Oxford) on Formal Methods, and featured a talk by Cliff Jones (Manchester). The second special session was on Linear Logic. It was organized by Samson Abramsky (Imperial College), and featured an address by J.-Y. Girard (Paris), as well as talks by Jean-Marc Andreoli (Muenchen) and Philip Scott (Edinburgh and Ottawa)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 31, 1993
Accession Number
ADA266436

Entities

People

  • Michael William Mislove

Organizations

  • Tulane University of Louisiana

Tags

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Science
  • Contracts
  • Electronic Mail
  • Language
  • Programming Languages
  • Prototypes
  • Semantics
  • Students
  • Theoretical Computer Science
  • United States
  • Universities
  • Workshops

Readers

  • Academic Conference Management
  • Military History
  • Software Engineering.