Support for the Thirty-third Conference on the Mathematical Foundations of Programming Semantics
Abstract
This proposal requests support for the annual Conference on the Mathematical Foundations of Programming Semantics, a series that dates back to 1985. The conference provides a venue where researchers in programming semantics and related areas, as well as those interested in the logical and mathematical underpinnings of the discipline can meet, present new results and exchange ideas about problems of mutual interest. Over the years, the conference has expanded the areas that are regularly represented, so that it now includes areas such as security, modeling and verification, and systems biology, in addition to the traditional focus on areas more closely related to programming semantics and its theoretical components. Each year, the conference attracts a world-wide audience of approximately 75 researchers, including faculty, graduate and undergraduate students, and research laboratory staff members. The conference has annually published its proceedings since its inception, early on in LNCS, and in ENTCS since 1995, and regularly creates special issues of Theoretical Computer Science devoted to selected papers from its meeting.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- May 05, 2017
- Source ID
- N000141712262
Entities
People
- Michael William Mislove
Organizations
- Office of Naval Research
- Tulane University of Louisiana
- United States Navy