Mathematical Sciences: Interdisciplinary Conference on      Axiomatic Systems, December 15-18, 1988; Columbus, Ohio
{'Code': '03040106', 'Directorate': {'Abbreviation': 'MPS', 'LongName': 'Direct For Mathematical & Physical Scien'}, 'Division': {'Abbreviation': 'DMS', 'LongName': 'Division Of Mathematical Sciences'}}
{'SignBlockName': 'Deborah Lockhart', 'PO_EMAI': 'dlockhar@nsf.gov', 'PO_PHON': '7032920000'}
This conference is an interdisciplinary and foundationally                 oriented meeting on the development, study, and use of axiomatic                systems.  The conference will be held December 15-18, 1988 at                   Ohio State University and is under the direction of Professor                   Harvey Friedman.  Invited speakers are from mathematics,                        philosophy, psychology, and computer science.  The mix of invited               speakers is expected to be approximately three each from the                    areas of proof theory, nonstandard logics, axiomatic algebra and                geometry, measurement theory, decision theory and probability                   theory, software verification, database systems, and proof                      checking and theorem proving.                                                                                                                                        Axiomatic systems are developed, studied, and used by                      researchers from many academic disciplines such as mathematics,                 computer science, psychology, and philosophy.  This conference                  will bring together representatives of each of these fields with                the aim of laying new lines of interdisciplinary research and                   establishing new and useful contacts among colleagues from                      related areas.
{'FirstName': 'Harvey', 'LastName': 'Friedman', 'PI_MID_INIT': 'M', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Harvey M Friedman', 'EmailAddress': 'friedman@math.ohio-state.edu', 'NSF_ID': '000312906', 'StartDate': '11/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Ohio State University Research Foundation -DO NOT USE', 'CityName': 'Columbus', 'CountyName': 'FRANKLIN', 'ZipCode': '432101016', 'PhoneNumber': '6146888734', 'StreetAddress': '1960 KENNY RD', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Ohio', 'StateCode': 'OH', 'CONGRESSDISTRICT': '03', 'CONGRESS_DISTRICT_ORG': 'OH03', 'ORG_DUNS_NUM': '071650709', 'ORG_LGL_BUS_NAME': 'OHIO STATE UNIVERSITY RESEARCH FOUNDATION, THE', 'ORG_PRNT_DUNS_NUM': None}
{'Name': None, 'CityName': None, 'CountyName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
[{'Code': '1260', 'Text': 'INFRASTRUCTURE PROGRAM'}, {'Code': '1353', 'Text': 'Hist & Philosophy of SET'}, {'Code': '2860', 'Text': 'THEORY OF COMPUTING'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8816125.xml'}