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

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

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).

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):

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.

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.

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.

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.