|
Guangzhou Symposium on Satisfiability in Logic-Based Modeling
September 25-29, 2010
Maihao International Hotel, Zhuhai, China
Description
This workshop shall bring together researchers from China and abroad who work on satisfiability or related logical problems and their applications. We want to foster communication and collaboration in this area between scientists from China and abroad. About 15 international scientists and 15 scientists from China will be invited. This workshop is supported by the "Chinese 211 program". The Institute of Logic and Cognition of Sun Yat-sen University in guangzhou, which had successfully organized "Guangzhou Symposium on Satisfiability in Logic-Based Modeling" in
2004 and 2006, is again the official host of this workshop. The institute will cover all your local expenses during the symposium. It is possible to extend the duration of your stay. Expenses for flight and visa have to be covered by the participants. No further conference fees will be charged.
Organizers
Hans Kleine Bueuning(kbcsl@upb.de)
Xishun zhao(hsszxs@mail.sysu.edu.cn)
Local arrangement Yuping Shen(Yuping.shen.ilc@gmail.com )
Download Slides:
Part one Part two |
