Journal Guide

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.

Forum Mathematicum is a general mathematics journal, which is devoted to the publication of research articles in all fields of pure and applied mathematics, including mathematical physics. Forum Mathematicum belongs to the top 50 journals in pure and applied mathematics, as measured by citation impact.

Foundations of Computational Mathematics (FoCM) publishes research and survey papers of the highest quality, which further the understanding of the connections between mathematics and computation, including the interfaces between pure and applied mathematics, numerical analysis and computer science.

The investigation of phenomena involving complex geometry, patterns and scaling has gone through a spectacular development in the past decades. For this relatively short time, geometrical and/or temporal scaling have been shown to represent the common aspects of many processes occurring in an unusually diverse range of fields including physics, mathematics, biology, chemistry, economics, technology and human behavior. As a rule, the complex nature of a phenomenon is manifested in the underlying intricate geometry which in most of the cases can be described in terms of objects with non-integer (fractal) dimension. In other cases, the distribution of events in time or various other quantities show specific scaling behavior, thus providing a better understanding of the relevant factors determining the given processes.Using fractal geometry and scaling as a language in the related theoretical, numerical and experimental investigations, it has been possible to get a deeper insight into previously intractable problems. Among many others, a better understanding of growth phenomena, turbulence, iterative functions, colloidal aggregation, biological pattern formation, stock markets and inhomogeneous materials has emerged through the application of such concepts as scale invariance, self-affinity and multifractality.The main challenge of the journal devoted exclusively to the above kinds of phenomena lies in its interdisciplinary nature; it is our commitment to bring together the most recent developments in these fields so that a fruitful interaction of various approaches and scientific views on complex spatial and temporal behaviors in both nature and society could take place.The journal "FRACTALS: Complex Geometry, Patterns, and Scaling in Nature and Society" will publish the following types of peer-reviewed articles.*Full-length research papers, *Short communications, *Reviews of both technical and pedagogical nature, and*Popular (educational, Scientific American type) articles.

Fractional Calculus and Applied Analysis (FCAA) is a specialized international journal based on worldwide editorship, authorship and readership. Since its beginning in 1998, the journal aims to be the most prestigious and suitable forum for publication of high quality original results and surveys on the FCAA topics, for exchange of ideas, discussions, open problems and announcements on recent and forthcoming books and events in the area. It was conceived as a meeting place for pure and applied mathematicians, theoretical physicists and researchers in other natural and social sciences, engineers, and all interested in FCAA topics.
After 13 years of publication history at IMI - BAS (http://www.math.bas.bg/index_classic.html,
archives at: http://www.math.bas.bg/~fcaa , http://www.diogenes.bg/fcaa),
the FCAA journal is now co-published by  Versita and Springer.

The primary topics of FCAA are:
  - Fractional Calculus
  - Special Functions and Integral Transforms, related to Fractional Calculus
  - Fractional Order Differential and Integral Equations and Systems
  - Mathematical Models of Phenomena, described by the above topics

Secondary topics of FCAA include related areas of applied analysis, such as:
  - Algebraic Analysis, Operational and Convolutional Calculi
  - Generalized Functions, Harmonic Analysis
  - Series, Orthogonal Polynomials, Special Functions of Mathematical Physics
  - Numerical and Approximation Methods, Computational Procedures and
    Algorithms, related to the Primary FCAA topics
  - Fractional Stochastic Processes
  - Fractal and Integral Geometry

Applications of these techniques to:
  - Differential and Integral Equations, Problems of Mathematical Physics
  - Control Theory, Mechanics, Probability and Statistics, Finances, Engineering,, etc.

Other contributions:
  - If revealing connections between Fractional Calculus and the
     above-mentioned topics to model problems of the real physical and social world

Suggested MSC 2010 entries: (link http://msc2010.org/msc2010final2-Aug10.pdf)
  - 26A33: 33E12, 34A08, 34K37, 35R11, 60G22 (primary)
  - 30C45, 30E15, 31B15, 33C60, 33E30, 34A25, 42A45, 42C10,
    44A20, 44A35, 44A40, 45E10, 93B60, 93D09, 05C72, etc. (secondary)

Frontiers of Mathematics in China reports on recent advances in the field of mathematics. It covers all the main branches of mathematics, both pure and applied, presenting core areas, such as geometry, algebra, and number theory, as well as applied areas, such as statistics, numerical analysis, and mathematical biology.In addition, the journal features papers in developing and promising fields as well as papers showing the interaction between different fields of mathematics, or the interaction between mathematics and science and engineering. The journal shall be an ideal platform for mathematical researchers, investigators and even strategists who want to know more about the rapid, strong and substantial mathematical achievements in China.

Functional Analysis and its Applications contains articles devoted to current problems of functional analysis, including representation theory, theory of abstract and functional spaces, theory of operators, spectral theory, theory of operator equations, and the theory of normed rings. The journal also covers the most important applications of functional analysis in mathematics, mechanics, and theoretical physics. Founded by I. M. Gel'fand in 1967, Functional Analysis and its Applications is a translation of the peer-reviewed Russian journal Funktsional'Nyi Analiz i Ego Prilozheniya, a publication of the Russian Academy of Sciences.

Fundamenta Informaticae is an international journal publishing original research results in all areas of mathematical foundations of computer science and their applications. Papers are encouraged which contain:* solutions, by mathematical methods, of problems emerging in computer science,* solutions of mathematical problems inspired by computer science,* application studies that follow the situations in (i) and (ii).Besides traditional disciplines of interest for computer science, such as mathematical theories of programs and programming, logic in computer science and artificial intelligence, theory of computing, complexity theory, design and analysis of algorithms, theory of formal languages and automata theory, concurrency, cellular automata, database theory, logic programming, nonmonotonic reasoning, parallel algorithms, term rewriting, theory of parallel and distributed computing, the journal is open to contributions presenting methods on more areas such as adaptive strategies of computing, approximate reasoning, agent system theory, bio-computing, machine learning and pattern recognition, data mining and knowledge discovery, decision theory, DNA computing, evolutionary computation, natural computing, neural networks, quantum computing, soft computing including fuzzy sets, rough sets and granular computing. This enumeration is not intended to be exclusive.

Fuzzy Information and Engineering - An International Journal wants to provide a unified communication platform for researchers in a wide area of topics from pure and applied mathematics, computer science, engineering, and other related fields. While also accepting fundamental work the journal focuses on applications: research papers, letters, and reviews are welcome. Technical topics within the scope include: 1) Fuzzy Information a. Fuzzy information theory and information systems b. Fuzzy clustering and classificationc. Fuzzy information processing d. Hardware and software co-designe. Fuzzy computer f. Fuzzy database and data miningg. Fuzzy image processing and pattern recognition h. Fuzzy Information Granulation i. Knowledge acquisition and representation in Fuzzy Information 2) Fuzzy Sets and Systems a. Fuzzy sets b. Fuzzy analysis c. Fuzzy topology and fuzzy mapping d. Fuzzy equation e. Fuzzy programming and optimal f. Fuzzy probability and statistic g. Fuzzy logic and algebra h. General systems i. Fuzzy socioeconomic system j. Fuzzy decision support system k. Fuzzy expert system 3) Soft Computing a. Soft computing theory and foundation b. Nerve cell algorithmsc. Genetic algorithms d. Fuzzy approximation algorithmse. Computing with words and Quantum computation 4) Fuzzy Engineeringa. Fuzzy control b. Fuzzy system engineering c. Fuzzy knowledge engineering d. Fuzzy management engineering e. Fuzzy design f. Fuzzy industrial engineering g. Fuzzy system modeling 5) Fuzzy Operations Researcha. Fuzzy evaluation and decision-making b. Fuzzy overall plans and scheduling c. Fuzzy prediction and forecasting d. Fuzzy countermeasuree. Fuzzy graph theory and network flow f. Fuzzy management in knowledge 6) Artificial Intelligence a. Fuzzy basis , system in knowledge b. Approximate reasoning and fuzzy reasoning machinec. Fuzzy neural networks d. Intelligent controls and robotse. Fuzzy automata f. Statistical learning theory and support vector machine 7) Othersa. Rough sets theory and its applications b. Fuzzy grey systemsc. Fuzzy education d. Fuzzy linguistics e. Fuzzy biology Selected papers from relevant conferences are also welcome. The research and practice of fuzzy information and fuzzy engineering for special interest groups and from special geographic locations will be accommodated by publishing special issues with the help of guest editors. Conference organizers are invited to contact the Editor-in-Chief ifiae@gzhu.edu.cn for further information.