Workshop on Constructive Mathematics

October 28-30, 2009

Florida Atlantic University

In conjunction with the special session in constructive mathematics at the

2009 Fall Southeastern Meeting of the AMS,
Friday, October 30 to Sunday, November 1, 2009,
there will be a workshop on constructive mathematics held at Florida Atlantic University in Boca Raton, Florida.

Vladimir Lifschitz, University of Texas, will give a special lecture on Answer set programming and constructive mathematics, on Friday, October 30, in GN 102, at 11:00. Abstract:

In a combinatorial search problem, the goal is to find a solution among a finite, but very large, number of possibilities. Answer set programming (ASP) is a new approach to problems of this kind that has found applications in several areas of science and technology. This talk is about the relationship between properties of ASP programs and some of the distinctions familiar from research in constructive mathematics.

At the workshop there will be sessions on

algebra, led by Fred Richman, Florida Atlantic University, from 8:30 to noon on Wednesday.
analysis, led by Douglas Bridges, University of Canterbury, from 2:00 to 5:30 on Wednesday.
set theory, led by Laura Crosilla, University of Leeds, and Benno van den Berg, Technische Universität Darmstadt, from 8:30 to noon on Thursday.
topology, led by Bas Spitters, Radboud University Nijmegen, from 2:00 to 5:30 on Thursday.

The workshop will be held on campus at the Office Depot Center for Executive Education, which is building 93, ground floor.

There will be a dinner on Thursday at Cap's Place. An FAU shuttle bus will leave FAU at 6:00 and arrive at Cap's dock by 6:30. From there you take their motor launch to the restaurant. You can join us straight from the airport or hotel by going to Cap's dock at 2765 NE 28th Court, Lighthouse Point, FL 33064, tel. (954) 941-0418. See their website for complete directions. It will be the regular menu, and everyone pays for himself.

The primary hotel accommodation is at the Embassy Suites. A second recommendation is the Hilton. You can make reservations on line by clicking either link. Other recommendations from the AMS can be found at AMS.

The two recommended hotels, and many others, provide limited shuttle service within the local area, including FAU. If you have your own car, you can either purchase an FAU parking permit at the information booth at the west entrance to the university on Glades Road, or have one waiting for you by contacting Bob Lubarsky at least two weeks before your arrival.

Pumpkin Drop & Physics Carnival

A Pumpkin Drop will take place Friday, October 30, at 12:45 p.m. on the lawn west of the Science & Engineering Building (where the mathematics department is located) and east of the General Classroom North Building. As pumpkin guts splatter all over, famous figures from the past such as Aristotle, Galileo, Sir Isaac Newton, and Einstein will explain what's happening in scientific terms.

Transportation from airport

Cabs and shared vans are available curbside. A cheaper alternative is to take the shuttle bus to the Tri-Rail train and call the hotel to be picked up from the end station. For the Embassy Suites, the closest station is Boca Raton, for the Hilton it’s Deerfield Beach.

Directions to FAU

From Ft. Lauderdale Airport get on I-95 North

From West Palm Beach Airport get on I-95 South

From I-95 to FAU:

Exit at Glades Road - go east
Entrance to FAU is on left, about 2 blocks away
campus map
The Mathematics Department is on the second floor of Science and Engineering, building 43.

The Office Depot Center is building 93.

Last updated October 15, 2009.

Send inquiries and comments to robert.lubarsky@comcast.net