Accession Number : ADA318846

Title :   Twelfth Conference on the Mathematical Foundations of Programming Semantics,

Corporate Author : TULANE UNIV NEW ORLEANS LA DEPT OF MATHEMATICS

Personal Author(s) : Mislove, Michael

PDF Url : ADA318846

Report Date : JUN 1996

Pagination or Media Count : 15

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.

Descriptors :   *PROGRAMMING LANGUAGES, *SEMANTICS, DISTRIBUTED DATA PROCESSING, DATA PROCESSING SECURITY, COMPUTER LOGIC, COMPUTER PROGRAMMING, CONCURRENT ENGINEERING, WORKSHOPS.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE