Accession Number : ADA309128

Title :   Mathematical Foundation of Programming Semantics Conference.

Descriptive Note : Final rept. 1 Feb 95-31 Jan 96,

Corporate Author : TULANE UNIV NEW ORLEANS LA DEPT OF MATHEMATICS

Personal Author(s) : Mislove, Michael W.

PDF Url : ADA309128

Report Date : 31 MAY 1996

Pagination or Media Count : 16

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.

Descriptors :   *COMPUTER PROGRAMMING, *SEMANTICS, *APPLIED MATHEMATICS, GLOBAL, SYMPOSIA, STUDENTS, COMPUTERS, MINORITIES, COSTS, WOMEN.

Subject Categories : Linguistics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE