SAT 2007 - Theory and Applications of Satisfiability Testing


SAT 2007 - Tenth International Conference on Theory and Applications of Satisfiability Testing May 28 - 31 2007, Lisbon, Portugal

Top News Slides Photos Venue Invited Speakers Final Program Committees Important Dates Competitions JSAT Special Issue Conference Location Conference Registration Hotel Reservations Flying with TAP Paper Submissions Sponsors Previous Conferences	Venue Transportation Conference Pack Social Programme - Excursion Social Programme - Banquet Transportation Lisbon airport is quite close to the city centre. The airport is only 7.5 km from the hotel. You may either take a taxi or public transports (there is no direct one) to the hotel (either SANA Malhoa or IBIS). Going from the airport to the hotel may take from 15 minutes to 1 hour (on rush hours and/or public transport). TAXI The best option is to go to the Tourism information office at arrivals (open daily 7h-24h) and buy a taxi voucher. Payment is accepted with cash and all major credit cards and the receipt will be given before you are taken to the taxi. The cost is the following (luggage included): 7-21h 15,37 EUR 21-7h 18,44 EUR (also Saturday and Sunday) If you want to take a taxi at your own risk (it is not dangerous, but it may well cost more than the standard fare). There are two taxi stands within the perimeter of the airport, one at arrivals and the other at departures (best option). The fare on the taxi meter should read 2.35 EUR (daytime pick-up) or 2.50 EUR (night time pick-up). The transport of luggage implies a surcharge of 1.60 EUR. An additional 20% is charged for services on Saturdays, Sundays and bank holidays and for night service from the hours of 21h-7h. PUBLIC TRANSPORTATION 1st: Take bus 22, 44, 45 or 83 (fare onboard 1.30 EUR) at the arrivals CARRIS bus station and exit at Marques de Pombal (ask the driver to let you know) 2nd: Take the underground (fare 0.75 EUR) in Marques de Pombal metro station. Take the blue line, direction Amadora Este (NOT Baixa-Chiado), and exit at Praca de Espanha station. Local map available here. Conference Pack The date and times to pick up the conference pack are as follows: Sunday, from 18:00 to 21:00. Monday, starting at 08:30. Social Programme - Excursion The social programme includes an excursion to Sintra and Cascais on Tuesday, May 29, afternoon. In Sintra, there will be a visit to Palacio Real de Sintra, the residence of several Portuguese Kings. Afterwards, there will be a visit to Sintra Mountain Range, to Cape Roca, Europe's most occidental point, and Guincho Beach. The excursion also includes a visit to Cascais, a fishing village, which in the 40s was the residence of a number of exiled royal European royal families. A few photos are available below. Social Programme - Banquet The conference banquet will be held at Estufa Real (Macromedia Flash plugin required), on Wednesday, May 30, evening. The programme includes a visit to the Royal Botanical Gardens. Please note that vegetarian menu is available on request. In case you do not have the required plugin, a few photos of Estufa Real are available below.