FORTE 2019: International Conference on Formal Techniques for Distributed Systems
- Call for paper, ranking, acceptance rate,
submission deadline, notification date, conference location, submission guidelines, and other important details
This article provides the call for paper, ranking, acceptance rate,
submission deadline, notification date, conference location, submission guidelines, and other important details of FORTE 2019: International Conference on Formal Techniques for Distributed Systems all at one place.
|
Conference Location
|
Copenhagen, Denmark
|
|
Conference Date
|
2019-06-18
|
|
Notification Date
|
2019-04-12
|
|
Submission Deadline
|
2019-02-01
|
|
Conference Website and Submission Link
|
http://www.discotec.org/2019/forte
|
Conference Ranking
International Conference on Formal Techniques for Distributed Systems ranking based on CCF, Core, and Qualis is shown below:
|
CCF Ranking
|
C
|
|
Core Ranking
|
B
|
|
Qualis Ranking
|
B1
|
Click here to check the ranking of any conference.
-
About CCF Ranking: The Chinese Computing Federation (CCF) Ranking provides a ranking of peer-reviewed journals and conferences in the field of computer science.
-
About Core Ranking: The CORE Conference Ranking is a measure to assess the major conference in the computing field. This ranking is governed by the CORE Executive Committee. To know more about Core ranking, visit Core ranking portal.
-
About Qualis Ranking: This conference ranking is published by the Brazilian ministry of education. It uses the h-index as a performance metric to rank conferences. Conferences are classified into performance groups that range from A1 (to the best), A2, B1, B2,..., B5 (to the wost). To know more about qualis ranking, visit here
Conference Acceptance Rate
Below is the acceptance rate of International Conference on Formal Techniques for Distributed Systems conference for the last few years:
| Year |
Submitted Papers |
Accepted Papers |
Accepted Percentage/Acceptance Rate |
| 2009 | 46 | 18 | 39.1% |
| 2008 | 44 | 20 | 45.5% |
| 2007 | 67 | 22 | 32.8% |
| 2006 | 78 | 29 | 37.2% |
| 2005 | 89 | 33 | 37.1% |
| 2004 | 54 | 20 | 37% |
| 2003 | 64 | 24 | 37.5% |
| 2002 | 54 | 22 | 40.7% |
| 2001 | 51 | 24 | 47.1% |
| 2000 | 63 | 22 | 34.9% |
| 1999 | 78 | 27 | 34.6% |
| 1998 | 85 | 26 | 30.6% |
| 1997 | 115 | 33 | 28.7% |
| 1996 | 110 | 28 | 25.5% |
| 1995 | 80 | 30 | 37.5% |
| 1994 | 121 | 27 | 22.3% |
| 1993 | 93 | 29 | 31.2% |
| 1992 | 116 | 29 | 25% |
| 1991 | 70 | 29 | 41.4% |
| 1990 | 110 | 22 | 20% |
We are working hard to collect and update the acceptance rate details of the conferences for recent years. However, you can consider the above (if available) acceptance rates to predict the average chances of acceptance of your research paper at this conference.
Conference Call for paper
ScopeFORTE 2019 is a forum for fundamental research on theory, models, tools, and applications for distributed systems.The conference solicits original contributions that advance the science and technology for distributed systems, with special interest in:
Software quality, reliability, availability, and safety;
Security, privacy, and trust in distributed and/or communicating systems;
Service-oriented, ubiquitous, and cloud computing systems
Component- and model-based design
Object technology, modularity, software adaptation
Self-stabilization and self-healing/organizing
Verification, validation, formal analysis, and testing of the above.Aligned with the above, FORTE covers models and formal specification, testing and verification methods for distributed computing. Application domains are multiple, and include all kinds of application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, as well as networking and communication security and reliability.Contributions that combine theory and practice and that exploit formal methods and theoretical foundations to present novel solutions to problems arising from the development of distributed systems are very much encouraged.Main Topics of InterestTopics of interest include but are not limited to:
Languages and semantic foundations
New modeling and language concepts for distribution and concurrency; semantics for different types of languages, including programming languages, modeling languages, and domain-specific languages; real-time and probability aspects
Formal methods and techniques
Design, specification, analysis, verification, validation, testing and runtime verification of various types of distributed systems, including communications and network protocols, service-oriented systems, adaptive distributed systems, cyber-physical systems and sensor networks
Foundations of security
New principles for qualitative and quantitative security analysis of distributed systems, including formal models based on probabilistic concepts
Applications of formal methods
Applying formal methods and techniques for studying quality, reliability, availability, and safety of distributed systems
Practical experience with formal methods
Industrial applications, case studies and software tools for applying formal methods and description techniques to the development and analysis of real distributed systems.
Emerging challenges and hot topics in distributed systems (broadly construed)
Formal specification, verification and analysis of emerging systems and applications, such as, for instance, software-defined networks, distributed ledgers, smart contracts, and blockchain technologies.
Submission Deadline
FORTE 2019: International Conference on Formal Techniques for Distributed Systems submission deadline is 2019-02-01.
Note: It is generally recommended to submit your conference paper
on or before the submission deadline. Generally, conferences do not
encourage to submit the research paper after the deadline is over.
In rare scenarios, conferences extend their deadline. Decision about the
extension of the deadline is generally updated on the official conference webpage.
Notification date
Notification date of FORTE 2019: International Conference on Formal Techniques for Distributed Systems is 2019-04-12.
Note: This is the date on which conference announces the result about acceptance or rejection of submitted papers. If your research paper is accepted, the conference will request you to submit the camera ready version of your research paper by the due date. Due date to submit the camera ready version of the paper is generally posted on the official web page of the conferences or notified to you via. email.
Conference Date
FORTE 2019: International Conference on Formal Techniques for Distributed Systems will start on 2019-06-18.
Note: This is the date on which the conference starts.
Conference Location
FORTE 2019: International Conference on Formal Techniques for Distributed Systems will be organized at Copenhagen, Denmark. This is the place where the conference is organized and the research paper is to be presented.
