Pictures from Sun Yat-Sen University, Guangzhou, P.R. China

SAT 2008 - Eleventh International Conference on
Theory and Applications of Satisfiability Testing

May 12 - 15 2008, Guangzhou, P. R. China

Conference Registration and Accommodation


To register for the SAT 2008 conference, please use the following registration form. Chinese participants should contact Zhao Xishun (Sun Yat-Sen University, Guangzhou) for special regulations (e.g. money orders directly to Sun Yat-Sen University).

Registration Costs

  Conference Fee Accommodation
Non-student 300 Euro 360 Euro
Student 200 Euro 360 Euro

Conference and accommodation have to be booked in a joint package. There is no early registration period.

Conference registration includes reception, conference attendance, proceedings, coffee breaks, excursions and banquet. A shuttle service to and from the airport is also included.

Accommodation includes breakfast, lunch and dinner. Check-in is May 11, check-out is May 15. It is possible to book an extension (see below).


All payments have to be made by wire transfer, check, or money order. Details are given on the registration form. Unfortunately, we cannot accept credit cards.

Address of receiving bank for SWIFT Transfers (if needed):

Receiving Bank:Dresdner Bank AG
Address:Rathausplatz 12

Student Registration

To register as student, proof of status must be sent by fax to
  +49 52 51 60 33 38
Please include the reference SAT08 and your name.

Optional Add-Ons

It is possible to add an accompanying person for 490 Euro (includes accommodation, breakfast, lunch, dinner and social program; no proceedings).

You can also add up to 2 days before and/or 2 days after the conference. The rate is 85 Euro per day and person for accommodation, breakfast, lunch and dinner.

Visa Information

Besides your passport, you will probably need an invitation letter of the university in Guangzhou in order to get a visa. We will send you such a letter if you complete the invitation letter request form. We are only familiar with visa procedures for German citizens travelling to China, but we assume the situation is similar for other nationalities. In Germany, visa applications for China have to be made in person at the Chinese embassy in Berlin. But it is possible to hire an agency doing it for you. This should take about two weeks.

Requests for invitation letters are independent from conference registration, since processing a visa may be time consuming.

Travel Information

The German office of foreign affairs recommends the following vaccinations for China: tetanus, diphtheria, polio und hepatitis A. The province Guangdong is a malaria area, so you should use mosquito repellents as precaution. It might be a good idea to ask for additional medical advice (risk of infection, medicaments to prevent infection, medicaments to take with you,...). Travel agencies often provide further information about climate and about precautions.


Last modified: June 16, 2008.