Support for the Thirty-Fifth 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 ofTheoretical Computer Science devoted to selected papers from its meeting.Our request is for funding to support the 2019 meeting of the conference. The meeting will take place on the campus of University College of the University of London, England during June 3 ~ 7, 2019. MFPS will co-locate with CALCO, the Conference on Algebra and Coalgebra in Computer Science. MFPS and CALCO have co-located twice before, in 2015 in Nijmegen, The Netherlands and in 2017 in Ljubljana, Slovenia. The conferences share a number of common interests, and co-locating has been shown to increase attendance at both meetings and to generate meaningful research interactions between researchers in these two communities.The funding we are requesting for MFPS will be used to:? -Support 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.?-Support speakers who will be invited to participate in special sessions that highlight a particular theme, usually emanating from one of the plenary addresses.? -Support for a joint CALCO-MFPS session featuring a plenary talk and several shorter talks highlighting a topic of mutual interest for CALCO and MFPS participants.? -Provide nominal support for women, minorities and students, whose attendance at the meeting assures that MFPS is accessible to the entire community.? -Provide nominal support to cover the cost of facilities needed at UCL to host the meeting, and support for the MFPS proceedings, which will be published in ENTCS.MFPS holds its meetings in places that vary from year to year; MFPS has been held in the US and in Canada, Great Britain, Denmark, Italy and the The Netherlands. Next year we will return to Great Britain, where we previously held meetings in Birmingham, London and Oxford.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Jun 13, 2019
- Source ID
- N000141912415
Entities
People
- Michael William Mislove
Organizations
- Office of Naval Research
- Tulane University of Louisiana
- United States Navy