5th WORKSHOP ON MATHEMATICAL FOUNDATION OF PROGRAMMING      SEMANTICS
{'Code': '05010400', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'name not available', 'PO_EMAI': None, 'PO_PHON': None}
The mathematical foundations of programming semantics involves the              application of such areas as formal logic, abstract algebra, domain             theory, lattice theory, topology and category theory to formal modeling         and reasoning about programs.  This award provides partial support for          the fifth in a series of workshops on this subject, with the goal of            bringing together computer scientists and mathematicians in this area.          The previous workshops have been distinguished by the breadth of                interests of the participants and by the high-level of interaction              which has taken place between researchers representing the diverse              areas mentioned.  The proposed workshop includes three types of formal          activities:                                                                                                                                                          (1)  invited talks by six leading researchers,                                  (2)  shorter presentations of refereed papers, and                              (3)  seminars on research directions.                                                                                                                      In addition, it is expected that the proceedings of the workshop will           be published as a volume in the Lecture Notes in Computer Science, as           was the case with the 1st and 3rd workshops.
[{'FirstName': 'Michael', 'LastName': 'Main', 'PI_MID_INIT': 'G', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Michael G Main', 'EmailAddress': None, 'NSF_ID': '000404454', 'StartDate': '01/01/1989', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}, {'FirstName': 'Michael', 'LastName': 'Mislove', 'PI_MID_INIT': 'W', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Michael W Mislove', 'EmailAddress': None, 'NSF_ID': '000349023', 'StartDate': '01/01/1989', 'EndDate': None, 'RoleCode': 'Principal Investigator'}]
{'Name': 'Tulane University', 'CityName': 'NEW ORLEANS', 'ZipCode': '701185665', 'PhoneNumber': '5048654000', 'StreetAddress': '6823 SAINT CHARLES AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Louisiana', 'StateCode': 'LA', 'CONGRESSDISTRICT': '01', 'CONGRESS_DISTRICT_ORG': 'LA01', 'ORG_UEI_NUM': 'XNY5ULPU8EN6', 'ORG_LGL_BUS_NAME': 'ADMINISTRATORS OF THE TULANE EDUCATIONAL FUND, THE', 'ORG_PRNT_UEI_NUM': 'XNY5ULPU8EN6'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '2875', 'Text': 'SYSTEM SOFTWARE'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8820516.xml'}