The PIs propose holding a three-day conference on mathematical logic at UCLA from February 1 to February 3, 2013. The conference will cover mathematical logic, broadly interpreted, including set theory, model theory, recursion theory, logic in computer science, and philosophy of mathematics. The conference will continue a series of biennial logic meetings at UCLA which, starting in the mid 1970s, has been one of the most important forums for mathematical logic on the West Coast.

The conference will be a key opportunity for logicians to learn about and discuss important advances in research, to exchange ideas, and to collaborate on scientific projects. The conference will be advertised to attract a large audience. Graduate students and researchers at early career stages, in particular, will be encouraged to participate. The organizers will ensure that women and minority mathematicians are made aware of the conference and are strongly encouraged to participate.

Project Report

The logic meetings at UCLA have been among the most important forums for mathematical logic on the West Coast for over three decades. The series started in the 1970s with meetings held mostly on a biennial basis. The 2013 meeting was the seventeenth in the series. It included invited talks on a broad array of topics in logic, with speakers in model theory, philosophical logic, recursion theory, set theory, and theoretical computer science. Talks were intended to be accessible to graduate students, and to cover some of the most exciting recent developments in these fields. In addition to the invited talks, the meeting included problem sessions and brief informal talks, intended to facilitate further discussion of directions for future research. The purpose of this award was to support the conference by covering travel costs for the speakers and allowing the organizers to offer travel awards to beginning researchers (graduate students and assistant professors) attending the conference. Speakers came from the University of Notre Dame, Memorial University of Newfoundland, Ohio State University, Harvard University, the University of Illinois at Urbana-Champaign. the University of California Berkeley, and Cornell University. Participants were primarily from Southern California but included also attendees from other universities both nationally and internationally.

Agency
National Science Foundation (NSF)
Institute
Division of Mathematical Sciences (DMS)
Type
Standard Grant (Standard)
Application #
1305671
Program Officer
Tomek Bartoszynski
Project Start
Project End
Budget Start
2013-01-15
Budget End
2013-12-31
Support Year
Fiscal Year
2013
Total Cost
$12,000
Indirect Cost
Name
University of California Los Angeles
Department
Type
DUNS #
City
Los Angeles
State
CA
Country
United States
Zip Code
90095