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.

Locating the transnational: representations and aesthetics of the city in contemporary European cinemas

This thesis focuses on two Western European cinematic cities, and two unique periods of their respective nations’ histories, in a bid to “locate” the transnational within a contemporary European milieu. I argue that my geo-cinematic case studies are emblematic of broader questions of the problematics of national identity in contemporary Europe in the face of cross-national flows yet, as a result of their representations as cities both “anchored” and “in flux”, they reject a European postnational identity. Through its engagement with cinematic Rome as the “Eternal City” of Europe and cinematic Dublin as the “newly Europeanised” city, my thesis traces how representations and aesthetics of the urban spaces of these two cities correspond with the tensions at the heart of the respective eras in question. Via the figures that inhabit it, navigate it and search for it, the city is utilised to highlight fixity and mobility, centrality and dislocation, in explicit and implicit ways, amid the rapidly changing landscape of its national terrain. It is through my analyses of the filmed places and sociopolitical, socioeconomic and sociocultural spaces of these capital cities under the rubric of the transnational that this research demonstrates the “pluralities” of the construct in its cinematic manifestations. It is also my aim to evaluate the concept of cinematic transnationalism when identifying and accounting for representations of a specific national, historical timeframe, when the momentousness of the changes that occur is not bound by the national, but rather is reflective of the influence of both domestic and external forces. To this end, my thesis draws attention to instances in which the nation is shown to persist and resist dilution, arguing that it is only against the backdrop and continuity of the nation (in its evershifting guises) that the transnational can be conceived in representative and aesthetic terms.

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]