| Conference Delegate | Accompanying person(s) | ||
| Name : | Prof Hongguang Fu | Name: | |
| E-mail: | fu_hongguang@hotmail.com | ||
| Institution or Company: |
Chengdu Inst. of Computer Applications, Chinese Academy of Sciences | Name: | |
| Department: | Automated Reasoning Lab. | ||
| City: | Chengdu | Name: | |
| State/Province: | Sichuan | ||
| Country: | P.R. China | ||