Conference Information
QEST 2022: International Conference on Quantitative Evaluation of SysTems
https://www.qest.org/qest2022/Submission Date: |
2022-04-18 |
Notification Date: |
2022-06-20 |
Conference Date: |
2022-09-12 |
Location: |
Warsaw, Poland |
Years: |
19 |
Viewed: 13019 Tracked: 2 Attend: 0
Call For Papers
Scope and Topics The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on quantitative evaluation and verification of computer systems and networks. QEST 2022 is the 19th conference in the series. Scientific areas of interest include: Quantitative specification methods. Stochastic and non-deterministic models and metrics for performance, reliability, safety, correctness, and security. New algorithms for the analysis or simulation of stochastic, probabilistic and non-deterministic models. As a recent emphasis, application of data-driven, machine learning techniques for the quantitative evaluation and verification of systems, in particular for safety-critical applications (learning for safety, as well as safe learning). Case studies that highlight the role of quantitative specification, modelling and evaluation in the design of systems. Systems of interest include computer hardware and software architectures, communication systems, cyber-physical systems, infrastructural systems, security systems and biological systems. Papers that describe novel tools to support the practical application of research results in all of the above areas are also welcome. QEST 2022 will set up a artifact evaluation process (details below). QEST 2022 is open to both theoretical, experimental and applicative research. The conference welcomes a diversity of modelling formalisms, programming languages and methodologies that incorporate quantitative aspects such as probabilities, temporal properties, rewards and forms of non-determinism. Papers may advance empirical, simulation and analytic methods, and industrially-relevant case studies.
Last updated by Dou Sun in 2022-04-04
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
ICACC | International Conference on Advanced Computer Control | 2016-07-05 | 2016-12-10 |
HASE | International Symposium on High Assurance Systems Engineering | 2018-09-23 | 2019-01-03 |
SLDT | Singapore Learning Design and Technology Conference | 2019-04-15 | 2019-08-01 |
ICNLP | International Conference on Natural Language Processing | 2024-12-30 | 2025-03-21 |
DIPECC | International Conference on Digital Information Processing, E-Business and Cloud Computing | 2015-05-29 | 2015-06-29 |
ICEIS | International Conference on Enterprise Information Systems | 2015-12-10 | 2016-04-25 |
ICDCN | International Conference on Distributed Computing and Networking | 2024-07-25 | 2025-01-04 |
NCST | National Conference on Software Testing | 2013-08-31 | 2013-10-25 |
SENSORCOMM | International Conference on Sensor Technologies and Applications | 2022-06-12 | 2022-10-16 |
AIR | International Conference on Artificial Intelligence and Robots | 2024-06-12 | 2024-07-19 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
c | Expert Systems | 3.000 | John Wiley & Sons | 1468-0394 |
Computers & Industrial Engineering | 6.700 | Elsevier | 0360-8352 | |
IEEE Transactions on Control Systems Technology | 4.900 | IEEE | 1063-6536 | |
International Journal of Information Technology and Web Engineering | IGI Global | 1554-1045 | ||
Circuits, Systems, and Signal Processing | 1.800 | Springer | 0278-081X | |
c | Distributed Computing | 1.300 | Springer | 0178-2770 |
AI & SOCIETY | 2.900 | Springer | 0951-5666 | |
The Scientific World Journal | Hindawi | 1537-744X | ||
IEEE Systems, Man, and Cybernetics Letters | IEEE | 2836-628X | ||
IEEE Annals of the History of Computing | 0.500 | IEEE | 1058-6180 |
Full Name | Impact Factor | Publisher |
---|---|---|
Expert Systems | 3.000 | John Wiley & Sons |
Computers & Industrial Engineering | 6.700 | Elsevier |
IEEE Transactions on Control Systems Technology | 4.900 | IEEE |
International Journal of Information Technology and Web Engineering | IGI Global | |
Circuits, Systems, and Signal Processing | 1.800 | Springer |
Distributed Computing | 1.300 | Springer |
AI & SOCIETY | 2.900 | Springer |
The Scientific World Journal | Hindawi | |
IEEE Systems, Man, and Cybernetics Letters | IEEE | |
IEEE Annals of the History of Computing | 0.500 | IEEE |
Recommendation