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 approach is the way it has illuminated fundamental concepts like those of communication. In this spirit, the principal aim of this journal is to promote the growth of computing science, to show its relation to practice and to stimulate applications of apposite formalisms to practical problems. One significant challenge is to show how a range of formal models can be related to each other. AUTHORS PLEASE NOTE: Before submitting a paper, authors are asked to contact an appropriate Editorial Board member and ascertain that he/she is willing and able to process your submission in a timely fashion. You can find the list of Editorial Board members and their email addresses under the “Editorial Board” tab on the journal homepage. Once you have submitted your paper you will be asked, by the system, to supply the Editor’s name before your submission will be processed.

這本雜志的目的是在理論和實踐的結合點發表論文。目的是傳播適用研究。因此，新的理論貢獻在潛在應用的激勵下是受歡迎的；如果現有形式的應用在方法或應用方面顯示出一些新的東西，那么它們就會受到關注。術語“形式方法”已應用于一系列符號、理論和工具。毫無疑問，其中一些已經對計算的實際應用產生了重大影響。事實上，有趣的是，一旦一些東西被采用到實際應用中，它就不再被認為是一種正式的方法。除了廣泛使用的符號（如語法符號和狀態機符號）之外，規范符號、開發方法和工具在證明一般結果和搜索特定條件方面也有著重要的應用。然而，正式方法最深刻和持久的影響是它如何闡明基本概念，如溝通概念。本著這種精神，這本雜志的主要目的是促進計算科學的發展，展示其與實踐的關系，并刺激應用恰當的形式主義到實際問題。一個重要的挑戰是展示一系列正式模型如何相互關聯。作者請注意：在提交論文之前，作者需要聯系適當的編輯委員會成員，并確定他/她愿意并且能夠及時處理您的提交。您可以在期刊主頁的“編輯委員會”選項卡下找到編輯委員會成員及其電子郵件地址的列表。一旦你提交了你的論文，系統會要求你在提交之前提供編輯的名字。