Twelfth Conference on the Mathematical Foundations of Programming Semantics,

Abstract

Funds under this grant were used to support three principal activities. The first was the Twelfth Workshop on the Mathematical Foundations of Programming Semantics, which took place on the campus of the University of Colorado, Boulder from June 3 to June 5, 1996. The second was a series of visits by researchers to Tulane University during the two-mouth period June - July, 1996, to collaborate with the Principal Investigator on topics of common research interest. These visits formed the bulk of the Workshop on Concurrency listed in the title of the grant. Lastly, funds were used to help support participants in a small workshop in New Orleans from September 15 to September 17,1996 which focused on applications of semantic techniques to problems in security of distributed computing systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1996
Accession Number
ADA318846

Entities

People

  • Michael William Mislove

Organizations

  • Tulane University of Louisiana

Tags

Communities of Interest

  • Air Platforms
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Colorado
  • Computer Programming
  • Computer Science
  • Distributed Computing
  • Information Science
  • Language
  • Mathematics
  • Minority Groups
  • Multithreading
  • Schools
  • Security
  • Semantics
  • Theoretical Computer Science
  • United Kingdom
  • United States
  • Universities
  • Workshops

Readers

  • Artificial Intelligence
  • Business Analytics
  • Research Science/Academic Research