Mathematical Foundation of Programming Semantics Conference.
Abstract
The Eleventh Annual Conference on the Mathematical Foundations of Programming Semantics, and featured invited addresses by six international researchers, two special sessions and twenty-four talks selected from papers submitted by researchers from all over the world. The conference attracted 77 participants from 9 countries, and the ONR grant helped provide support for the six invited speakers, for the participants in the special session, and for women and minority participants who participated in the meeting. The conference published its Proceedings as the first volume of the new series Electronic Notes in Theoretical Computer Science, which is published electronically on the World Wide Web using the facilities and under the auspices of Elsevier Science B.V. This Proceedings can be accessed via the URL: http://www.elsevier.nl/locate/entcs/volumel.html. A further Proceedings consisting of expanded, journal-length papers selected from the papers presented at the meeting is in preparation. This will appear on a special issue of the journal Theoretical Computer Science. The funding was used to support the invited speakers to the meeting, to help support participants in the two special sessions, and to underwrite general conference support costs including support of graduate students, women and members of minority groups.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 31, 1996
- Accession Number
- ADA309128
Entities
People
- Michael William Mislove
Organizations
- Tulane University of Louisiana