g the exchange of information among researchers involved in both the theoretical and practical aspects of computational systems drawing their inspiration from nature. Particular emphasis is placed on evolutionary models of computation such as genetic algorithms (GA), evolutionary strategies (ES), classifier systems (CS), evolutionary programming (EP), genetic programming (GP), and related fields such as swarm intelligence (Ant Colony Optimization and Particle Swarm Optimization), and other evolutionary computation techniques.
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
JAIR(ISSN 1076 - 9757) covers all areas of artificial intelligence (AI), publishing refereed research articles, survey articles, and technical notes. Established in 1993 as one of the first electronic scientific journals, JAIR is indexed by INSPEC, Science Citation Index, and MathSciNet. JAIR reviews papers within approximately three months of submission and publishes accepted articles on the internet immediately upon receiving the final versions. JAIR articles are published for free distribution on the internet by the AI Access Foundation, and for purchase in bound volumes by AAAI Press.
If you have not visited this site since January 1, 2006.
The Journal of the ACM (JACM) provides coverage of the most significant work going on in computer science, broadly construed. It is a peer-reviewed journal, published six times a year by ACM.We publish original research papers of lasting value in computer science. To be accepted, a paper must be judged to be truly outstanding in its field and to be of interest to a wide audience. We are particularly interested in work at the boundaries, both the boundaries of subdisciplines of computer science and the boundaries between computer science and other fields.