Journal Guide

Forestry publishes high quality articles and reviews on all aspects of research, practice and policy that promote the sustainable development of forests, woodlands and trees. In considering suitability for publication attention is given to both the originality of contributions and their practical application. Preference is usually given to work undertaken in the temperate and/or boreal zones; submissions from the tropics will be considered if they are relevant to the aim of the Journal.Special Issues - each year one edition of Forestry will be a Special Issue and will focus on one subject in detail; this will usually be by publication of the proceedings of an international meeting.This Prize is awarded annually to the author(s) of the best paper published in Forestry on the subject of silviculture, as defined below, during the preceding three years. It can also be awarded to an individual or team for a consistently high standard of papers over a period of five to ten years. In making the award preference is given to papers describing the results of original research in silviculture and to original contributions to the theory and practice of silviculture. For purposes of the award 'silviculture' is defined as the theory and practice of controlling the establishment, composition and growth of forests and shall include the relationship of tree growth to environmental and economic factors and the effects on tree growth of other plants, micro-organisms, insects, birds and other animals.

Forestry Economics Review is a peer-reviewed journal on economics and policy research relating to forests, forest-related industries, and other forest-relevant land uses. Published in association with Beijing Forestry University & Renmin University of China.

Forests (ISSN 1999-4907) is an international and cross-disciplinary scholarly journal of forestry and forest ecology. It publishes research papers, short communications and review papers. There is no restriction on the length of the papers. Our aim is to encourage scientists to publish their experimental and theoretical research in as much detail as possible. Full experimental and/or methodical details must be provided for research articles. There are, in addition, unique features of this journal: computed data or files regarding the full details of the experimental procedure, if unable to be published in a normal way, can be deposited as supplementary material we also accept manuscripts communicating to a broader audience with regard to research projects financed with public funds manuscripts regarding research proposals and research ideas are welcomed

El programa acreditado específicamente diseñado para ofrecer al especialista en medicina familiar y comunitaria y a los médicos de atención primaria los avances científico-técnicos más relevantes en todos sus ámbitos de actuación. Indexado en IME, IBECS y SCOPUS.10 números acreditados al año1 curso acreditado5 protocolos acreditadosCD-ROM recopilatorio4 suplementos de AtenciónCD-ROM multimedia formativo Primaria Basada en la EvidenciaPara más información, consulte http://www.elsevier.es/fmc

This journal aims to publish contributions at the junction of theory and practice.  The objective is to disseminate applicable research.  Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.

The term 'formal methods' has been applied to a range of notations, theories and tools.  There is no doubt that some of these have already had a significant impact on practical applications of computing.  Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method.  Apart from widely used notations such as those for syntax and state machines, there have been significant applications of specification notations, development methods and tools both for proving general results and for searching for specific conditions.  However, the most profound and lasting influence of the formal app

Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods.