basic research in computer science and software engineering at sklcs

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.

Discourse and soul: Jung, literature, science and tragedy as mythical writing

This paper will propose that literature and science, far from being discrete spheres of cultural activity, are, in fact, the cultural expressions of interlocking myths. They therefore overlap and even take each other’s places, as examination of the ‘science’ of C.G. Jung and the ‘art’ of a writer such as John Cowper Powys, will show. ‘Dis-course’, I argue, is the material aspect of the mythical structuring of psychic experience. In the work of Jung and Powys, discourse is the articulation of the soul in the world that spans personal, social, natural and cosmic space. [From the Author]

Environmental science and sustainability: some critical thoughts

Environmental science is often described as an interdisciplinary subject, but one firmly grounded in positivist science. Less well recognized is the idea that interdisciplinarity actually challenges fundamental conceptions concerning how reality is understood from an orthodox science perspective. Drawing on recent non-dualism (or post-natural) literature, it is suggested in this paper that there is a need for greater awareness and debate concerning the underlying challenges that ideas of interdisciplinarity and holism present for environmental science. It is argued by aligning environmental science more strongly with non-dualistic traditions (spanning the sciences, arts and religion), fundamental issues are raised concerning how reality is understood and what constitutes valid research methodologies. The concept of intrinsic value is used as one example of the way non-dualistic theory can open up new territories for exploring reality.

Conference report: 7th Annual Congress of International Drug Discovery Science and Technology

This is a report on the 7th Annual Congress of International Drug Discovery Science and Technology held in Shanghai, China from 22–25 October, 2009. The conference, organized by BIT Life Sciences, comprised several parallel sessions, keynote presentations and a selection of selection of 20-minute presentations covering a range of therapeutic areas, including general medicinal chemistry, oncology, inflammation, receptors and ion channels, drug, metabolism and pharmokinetics, and fragment-based drug discovery. There were also sessions devoted to genomics, biomarkers, immunology, cell biology, molecular imaging and biochips. Supported by an exhibition of services/products and posters, the conference underlined the marked presence of Asian CROs.