The MoVES project on Modelling, Verification and Evolution of Software has entered its last year and this is already the fourth edition of the MoVES newsletter. In this month’s issue we focus on the work package on “Consistency Checking and Co-Evolution” and also seize the opportunity to zoom in on some of the research topics that are currently under active investigation at UCL university in Lo...

The article focuses on flaws in the actual approaches of exposure to a chemical of recipient organisms. It demonstrates the excessive use of arguments based on adverse effects and underlines the necessity to take adaptive effects seriously. Regulators are invited to rethink their inclination to the 'When in doubt, keep it out.' precautionary approach, with results in counter-productive and cost...

s from the International Summer Conference in Category Theory, CT2000, Como, Italy, July 16–22, 2000. 28 Luigi Santocanale. Free μ-lattices. November 2000. 51 pp. Short abstract appeared in Proceedings of Category Theory 99, Coimbra, Portugal, July 19–24, 1999. Full version to appear in a special conference issue of the Journal of Pure and Applied Algebra. 27 Zoltán Ésik and Werner Kuich. Induc...

Dear Reader, Welcome to the eight edition of the MoVES newsletter. The MoVES network on Modelling, Veri cation and Evolution of Software combines the strength of the leading Belgian research teams in software engineering. MoVES also has a number of foreign partners that complement the expertise of the Belgian research teams. This issue of the MoVES newsletter focusses on two of the foreign part...

We are happy to share the fall newsletter for the SEL Special Interest Group (SIG). Our SIG is now seven years old, and continues to grow. We now have 229 members—our highest to date! Our membership remains diverse and includes scholars, researchers, program developers, graduate students, and practitioners from colleges, universities, and research organizations around the world. Please share th...

This newsletter and additional information about the committee and its activities can be found at http://nas-sites.org/emergingscience/. The newsletter is prepared by National Research Council staff to keep you informed of activities of the Standing Committee on Emerging Science for Environmental Health Decisions. The views expressed in the newsletter are those of the meeting presenters and par...

This newsletter and additional information about the committee and its activities can be found at http://dels.nas.edu/emergingscience. The newsletter is prepared by National Research Council staff to keep you informed of activities of the Standing Committee on Emerging Science for Environmental Health Decisions. The views expressed in the newsletter are those of the meeting presenters and parti...

Several thousands of million tons of wastes are generated worldwide every year. Of these, organic solid wastes have the potential to partially satisfy the production of chemicals, whilst the environmental impact can be minimized and the sustainability of the processes increased compared to those based on fossil resources. However, these wastes are complex due to their high heterogeneity, and ne...