The Institute of Software, Chinese Academy of Sciences (ISCAS) is a leading research institute in China, which focuses on the fundamental theories of computer science as well as software technologies and their applications. As a part of the Chinese Academy of Sciences (CAS), ISCAS is a government-sponsored institution. Through our research results and innovations, we hope to establish an international reputation in academia and to assist in the development and growth of China’s software industry.
The International Federation for Computational Logic has been created and legally registered as a charity in London, whose members are the current (and future) communities related to computational logic. Currently, this includes the groups and their respective representatives who are listed in members. Some of these are actually organized into legal societies, others are just centered around a conference or not legally organized at all, but still form a scientific community of considerable size and importance. To make this workable, the organizational structure does not infringe on the interest of the individual communities but nevertheless ensures maximum cohesion.
Science in China Press (SCP) is a scientific journal publishing company of the Chinese Academy of Sciences (CAS). For 50 years, SCP takes its mission to present to the world the best achievements by Chinese scientists on various fields of natural sciences researches.
Working closely with scientists, and in pursuing high quality and using latest technologies, SCP has taken the leadership role in journal publication and dissemination in China. By an efficient network of peer-reviewing, editorial, marketing, production and distribution, SCP has won the trust of Chinese scientists: SCP is always the first choice when they decide where to publish their best and most important research results in China.