On behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference (JMLC), organized by Oxford Brookes University, Oxford, UK and held at Jesus College, Oxford. The mission of JMLC is to explore the concepts of well-structured programming languages and software and those of teaching good design and programming style. JMLC 2006 was the seventh in a series of successful conferences with themes including the construction of large and distributed software systems, and software en- neering aspects in new and dynamic application areas. We...

This book constitutes the refereed proceedings of the 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006. The book presents 53 revised full papers and 19 revised poster papers together with 6 invited lectures. Topical sections include CA theory and implementation, computational theory, population dynamics, physical modeling, urban, environmental and social modeling, traffic and boolean networks, multi-agents and robotics, as well as crowds and cellular automata, and more.

The objective of the workshops associated with the ER2000 19th International Conference on Conceptual Modeling was to give participants the opportunity to present and discuss emerging, hot topics, thus adding new perspectives to conceptual modeling. This attracts communities which have begun to or which have already recognized the importance of conceptual modeling for solving their problems. To meet this objective, we selected the following two topics: { Conceptual Modeling Approaches for E-Business (eCOMO2000) aimed at studying the application of conceptual modeling techniques speci cally to...

The papers collected here are those selected for presentation at the Second International Symposium on Handheld and Ubiquitous Computing 2000 (HUC 2000) held in Bristol, UK in September 2000. The symposium was the second in a series of symposia which explores new research in the area of emerging mobile, personal, and handheld technologies. The first event, HUC'99, was held in Karlsruhe (Germany), organised by the Telecooperation Office (TecO) of the University of Karlsruhe in close collaboration with the Center for Arts and Media Technology (ZKM). This previous event, the first of its kind in...

DISC, the International Symposium on DIStributed Computing, is an annual forum for research presentations on all facets of distributed computing. DISC 2000 was held on4-6 October, 2000 in Toledo, Spain. This volume includes 23 contributed papers and the extended abstract of an invited lecture from last year s DISC. It is expected that the regular papers will later be submitted in a more polished form to fully refereed scienti?c journals. The extended abstracts of this year s invited lectures, by Jean-Claude Bermond and Sam Toueg, will appear in next year s proceedings. We received over 100...

Unemployment in Open Economies studies how domestic labour markets are influenced by a changing international environment. It combines the recently developed search and matching models with standard models of international trade. By this method, the reader gains new insights in the ongoing debate on how globalisation can affect unemployment.
The author develops a collection of models showing that globalisation can be one reason for long-known and well-documented phenomenons on the labour market. She puts emphasis on country differences by studying the role of individual risk behavior and...

In the last five years there has been very significant progress in the development of transcendence theory. A new approach to the arithmetic properties of values of modular forms and theta-functions was found. The solution of the Mahler-Manin problem on values of modular function j(tau) and algebraic independence of numbers pi and e DEGREES(pi) are most impressive results of this breakthrough. The book presents these and other results on algebraic independence of numbers and further, a detailed exposition of methods created in last the 25 years, during which commutative algebra and algebraic...

This work documents the satellite events run around the 14th European Conference on Object-Oriented Programming, ECOOP 2000 in Cannes and Sophia Antipolis in June 2000. The book presents 18 workshop reports, one panel transcription, and 15 posters. It also offers a comprehensive and thought-provoking snapshot of the current research in object-orientation. The information provided spans the whole range of object technology, ranging from theoretical and foundational issues to applications in various domains.

These are the refereed post-proceedings of the 7th International Workshop on Fast Software Encryption (FSE 2000), Held in New York in April 2000. The 21 revised full papers presented were carefully reviewed and selected from a total of 53 submissions. The volume presents topical sections on stream-cipher cryptanalysis, new ciphers, AES cryptanalysis, block-cipher cryptanalysis, and theoretical work.

Random inhomogeneous media may possess unique physical properties that are significantly enhanced and may attain a level of practical importance and versatility that rivals or surpasses their geometrically ordered counterparts. Making judicious use of these enhancement effects, as well as of other aspects of the many complex resonances that distinguish these systems, can lead to new and unexpected physics and many applications. Localization of various sorts of optical excitations occur and recur in a wide gamut of disordered systems, leading to the enhancement of many optical phenomena,...