Support for the 31st Conference on Mathematical Foundations of Programming Semantics
Abstract
Short Work StatementThe requested fund will be used to conduct international workshops and lecture series in theoretical computer science. It will be used to:1. support the three 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 a tutorial speaker. 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.ObjectiveThe objective for the requested fund is to provide support for the 31st Annual Conference on the Mathematical Foundations of Programming Semantics, which will be held at Radboud University, Nijmegen, The Netherlands. 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.ApproachThe 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 RelevanceThe 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
- Jan 26, 2017
- Source ID
- N000141512054
Entities
People
- Michael William Mislove
Organizations
- Office of Naval Research
- Tulane University of Louisiana
- United States Navy