SAT 2007 - Tenth International Conference on
Theory and Applications of Satisfiability Testing

May 28 - 31 2007, Lisbon, Portugal

Special Discount with TAP Portugal

TAP Portugal is offering a discount to the SAT 2007 participants that make their flight booking and buy their ticket exclusively through the website of TAP Portugal.

TAP Portugal is making the following discounts:

  • 10% in economy class
  • 20% in business class
The congress code IT7TPCG12 has been given to the SAT conference and must be mentioned when making the booking in order to benefit from the discount.

To make the booking, the participant should follow these steps:

  • enter the website and select the dates and cities of choice
  • make a normal booking
  • insert the conference code in the Congress Code Box
Further information is available here.