Support for the Mathematical Foundations of Programming Semantics Annual Conference Series
Abstract
Statement of Work: The requested fund will be used to conduct international workshops and lecture series in theoretical computer science. It will be used to: 1. support six invited speakers, who will be drawn from a variety of areas, some new and others more established, and whose plenary addresses set the tone for the meeting. 2. support speakers who will be invited to participate in special sessions that highlight a particular theme, usually emanating from one of the plenary addresses, 3. support for three tutorial speakers. Each year we select a topic and invite renowned researchers from the area to present lectures designed to introduce the MFPS participants to the area. This is an effort to expand the interests and expertise of the MFPS community, so that we can reach out to related areas where the research tools the community has devised might be profitably applied. 4. provide support for women, minorities and students, whose attendance at the meeting assures that MFPS is accessible to the entire community. Objective: The objective for the requested fund is to provide support for the 32nd Annual Conference on the Mathematical Foundations of Programming Semantics, which will be held at Carnegie Mellon University, Pittsburgh, PA during the week of May 21-28, 2016. MFPS series of conferences dates back to 1985. The workshop series has been held regularly in the U.S., Canada and in Europe and will continue this practice. 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. Approach: The approach for this effort is to provide a forum to discuss the current state of the science in programming language theory with leading experts in the field. Over the years, the conference has covered 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. Overall Merit and ONR Mission/Relevance: The MFPS workshop provides an opportunity for leading researchers in theoretical computer science to discuss challenges and new approaches in theoretical computer science. The MPFS workshop provides venue for technical exchange for research challenges and progresses in areas impacting information assurance and security and software producibility, which are of interest to the Navy.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Jun 03, 2016
- Source ID
- N000141612266
Entities
People
- Michael William Mislove
Organizations
- Office of Naval Research
- Tulane University of Louisiana
- United States Navy