Twelfth Conference on the Mathematical Foundations of Programming Semantics,
TULANE UNIV NEW ORLEANS LA DEPT OF MATHEMATICS
Pagination or Media Count:
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.
- Computer Programming and Software