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
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
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
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.
From West Palm Beach Airport get on I-95 South
From I-95 to FAU: