[TYPES/announce] QEST 2023: Third Call for Papers with Deadline Extension
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] QEST 2023: Third Call for Papers with Deadline Extension 20th International Conference on Quantitative Evaluation of SysTems (QEST) 20-22 September 2023, Antwerp, Belgium Co-located with CONCUR, FMICS, and FORMATS as part of CONFEST 2023 https://www.uantwerpen.be/en/conferences/confest-2023/ Deadlines extended: Abstract deadline: 30 April 2023 (extended to May 8) Paper deadline: 7 May 2023 (extended to May 17) ** Scope and Topics The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum for the quantitative evaluation and verification of systems. Systems of interest include biological and chemical systems; computer networks; cyber-physical systems; critical infrastructures; data-driven AI systems; energy systems; hardware and software systems; industrial systems; and mobility networks. QEST 2023 is the 20th conference in the series and will be held on 19-22 September 2023 in Antwerp, Belgium, as part of the CONFEST 2023 umbrella conference. Topics and scientific areas of interest include: • languages and methods for the specification of quantitative properties of systems; • quantitative and probabilistic aspects of programming; • stochastic, probabilistic, and non-deterministic models and • metrics for the correctness, performance, reliability, safety, and security of systems; • algorithms for the evaluation and verification of • stochastic, probabilistic, and non-deterministic models; • data-driven and machine-learning techniques for the • analysis, prediction, and verification of quantitative properties of systems; • case studies that highlight the role of quantitative • specification, modelling, and evaluation in the design and analysis of systems, with • emphasis on emerging problems and technologies; • novel tools to support the practical application of research results in all of the above areas. QEST 2023 will set up an artifact evaluation process (details below). QEST 2023 is open to 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 the state of the art on empirical approaches, simulation methods, analysis techniques, and applications to industrially relevant case studies. ** Invited Speakers QEST 2023 features a list of invited speakers that are partially shared with the other CONFEST 2023 conferences. QEST invited speakers: Frans A. Oliehoek, TU Delft, Netherlands David Parker, Oxford University, UK CONFEST invited speakers: Ahmed Bouajjani, Paris Diderot University, France Joost-Pieter Katoen, RWTH Aachen, Germany Nicolas Markey, University of Rennes, France Jaco van de Pol, Aarhus University, Denmark Anna Slobodova, Intel, USA ** Submissions QEST 2023 considers three types of papers (authors will be able to specify the type of contribution upon submission): • Research papers: Theoretical, methodological, and application-based contributions that advance the understanding on a topic or issue, describe the development of new analysis processes and techniques, or apply quantitative methods to relevant case studies. • Tool papers: New tools and the formalisms they support. focusing on the software architecture and practical implementation and use. Tool papers must be accompanied by an artifact in the Artifact Evaluation. • Work-in-progress papers: We offer an opportunity to present preliminary results and receive feedback from the community. Work-in-progress contributions are not required to be fully worked-out approaches, for example regarding validation or technical depth; however the presented ideas should be mature enough to appreciate soundness and how they advance our knowledge. Research and tool papers can be regular or short: • Regular papers must not exceed 14 pages, excluding references. • Short papers should be limited to 7 pages, also excluding references. All papers can have an appendix containing supporting material. Note that reviewers are not required to read the appendix to fully assess the merits of the paper. Work-in-progress papers must not exceed 4 pages including references. All papers must be submitted in Springer’s LNCS format. All submitted papers must be unpublished and not be submitted for publication elsewhere. Papers should be submitted electronically using EasyChair via https://easychair.org/my/conference?conf=qest2023 Springer encourages authors to include their ORCIDs in their papers. Authors should consult Springer's authors' guidelines and use Springer's LaTeX templates for the preparation of their papers. Submitted papers not complying with the above
[TYPES/announce] QEST 2022 Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] QEST 2022 International Conference on Quantitative Evaluation of SysTems https://www.qest.org/qest2022 September 13-15, 2022 Warsaw, Poland = Program and Co-located Events = QEST (Tue 13 to Thu 15, Sep. 2022) https://www.qest.org/qest2022/program.html is co-located at CONFEST with: - FORMATS (Tue 13 to Thu 15, Sep. 2022) https://conferences.ncl.ac.uk/formats2022/ - FMICS (Wed 14 to Thu 15, Sep. 2022) https://fmics2022.fsa.win.tue.nl/?page_id=107 - CONCUR (Tue 13 to Fri 16, Sep. 2022) https://easychair.org/smart-program/CONCUR2022/ - WORKSHOPS (Mon 12, Sep. 2022): Express/SOS, TRENDS, SNR, YR CONCUR 2022 https://confest2022.mimuw.edu.pl/workshops/ Invited Speakers ** Jane Hillston, University of Edinburgh, UK (QEST) ** ** Marta Kwiatkowska, University of Oxford, UK (QEST) ** Thao Dang, VERIMAG Université Grenoble Alpes, FR (FORMATS) Joël Ouaknine, Max Planck Institute for Software Systems, DE (FORMATS) Sven Schewe, Liverpool University, UK (FMICS) Bas Luttik, Eindhoven University of Technology, NL (FMICS) Philippa Gardner, Imperial College London, UK (CONCUR) Sergio Rajsbaum, Universidad Nacional Autonoma de Mexico, MX (CONCUR) Rupak Majumdar, Max Planck Institute for Software Systems, DE (CONCUR) Wojciech Czerwiński, University of Warsaw, PL (CONCUR) Registration Registration is open at: https://confest2022.mimuw.edu.pl/registration The early registration deadline is **August 7, 2022.** The conference is planned as an in-person event; remote attendance is supported but interacting with in-person participants/speakers may be difficult. = Grants for Students and Young Researchers = Instead of a reduced registration fee, CONFEST 2022 is offering grants for students and young researchers, covering: - the registration fee; - accommodation costs; - travel costs (only in exceptional circumstances). Information on how to apply for grants is available at: https://confest2022.mimuw.edu.pl/grants-info. The deadline to apply is: - **July 21, 2022** for in-person participation; - **August 1st, 2022** for online participation.
[TYPES/announce] QEST 2022 Call for Papers: Deadline Extension
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] QEST 2022 International Conference on Quantitative Evaluation of SysTems https://www.qest.org/qest2022 September 12-16th, 2022 Co-located at CONFEST (Warsaw) with CONCUR, FORMATS, FMICS https://confest2022.mimuw.edu.pl ** NEW: Extended Deadlines Abstract Submission: May 2nd, 2022 (extended) Paper Submission:May 9th, 2022 (extended) Artifact Submission:May 16th, 2022 (extended) Notifications: June 20th, 2022 Camera-ready: July 18th, 2022 Conference:September 12-16th, 2022 ** Keynote Speakers - Jane Hillston, University of Edinburgh, UK - Marta Kwiatkowska, University of Oxford, UK 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 repeatability/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. === Submissions === QEST 2022 considers three types of papers (authors will be able to specify the type of the contribution at submission): 1. THEORETICAL/METHODOLOGICAL: To advance the understanding on a topic or issue, or to describe the development and proposal of new analysis processes and techniques. 2. APPLICATION: To describe a novel application and compare it with previous results. 3. TOOL: To develop new tools and the formalisms they support, with a focus on the software architecture and practical implementation and use. Tool papers must be accompanied by an artifact in the Artifact Evaluation. Paper submission can be REGULAR and SHORT: regular papers must not exceed 16 pages, excluding references, plus 4 pages for the appendix containing supporting material. Short papers should preferably be limited to 8 pages, also excluding references. Regarding TOOL papers, the conference will include the possibility of a demo session for interaction with the authors. All submitted papers must be unpublished and not be submitted for publication elsewhere. Papers should be submitted electronically using EasyChair [2]. Springer encourages authors to include their ORCIDs in their papers. Authors should consult Springer's authors' guidelines [0] and use Springer's LaTeX templates [1] for the preparation of their papers. Publications All accepted papers will be presented and discussed at the conference by one of the authors. The QEST 2022 proceedings will be published in the Springer LNCS series and indexed by ISI Web of Science, Scopus, ACM Digital Library, dblp, Google Scholar. All submitted papers will be evaluated by at least three reviewers on the basis of their originality, technical quality, scientific or practical contribution to the state of the art, methodology, clarity, and adequacy of references. === Artifact Evaluation === Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, QEST 2022 includes a dedicated Artifact Evaluation (AE). Submission of an artifact is mandatory for tool papers (both regular and short), and optional but encouraged for theoretical/methodological and application papers where it can support the
[TYPES/announce] QEST 2022: Last Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] QEST 2022 International Conference on Quantitative Evaluation of SysTems https://www.qest.org/qest2022 September 12-16th, 2022 Co-located at CONFEST (Warsaw) with CONCUR, FORMATS, FMICS https://confest2022.mimuw.edu.pl ** Abstract Submission: April 18th, 2022 Paper Submission: April 25th, 2022 Artifact Submission: May 2nd, 2022 Notifications: June 20th, 2022 Camera-ready: July 18th, 2022 Conference:September 12-16th, 2022 ** Keynote Speakers - Jane Hillston, University of Edinburgh, UK - Marta Kwiatkowska, University of Oxford, UK 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 repeatability/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. === Submissions === QEST 2022 considers three types of papers (authors will be able to specify the type of the contribution at submission): 1. THEORETICAL/METHODOLOGICAL: To advance the understanding on a topic or issue, or to describe the development and proposal of new analysis processes and techniques. 2. APPLICATION: To describe a novel application and compare it with previous results. 3. TOOL: To develop new tools and the formalisms they support, with a focus on the software architecture and practical implementation and use. Tool papers must be accompanied by an artifact in the Artifact Evaluation. Paper submission can be REGULAR and SHORT: regular papers must not exceed 16 pages, excluding references, plus 4 pages for the appendix containing supporting material. Short papers should preferably be limited to 8 pages, also excluding references. Regarding TOOL papers, the conference will include the possibility of a demo session for interaction with the authors. All submitted papers must be unpublished and not be submitted for publication elsewhere. Papers should be submitted electronically using EasyChair [2]. Springer encourages authors to include their ORCIDs in their papers. Authors should consult Springer's authors' guidelines [0] and use Springer's LaTeX templates [1] for the preparation of their papers. Publications All accepted papers will be presented and discussed at the conference by one of the authors. The QEST 2022 proceedings will be published in the Springer LNCS series and indexed by ISI Web of Science, Scopus, ACM Digital Library, dblp, Google Scholar. All submitted papers will be evaluated by at least three reviewers on the basis of their originality, technical quality, scientific or practical contribution to the state of the art, methodology, clarity, and adequacy of references. === Artifact Evaluation === Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, QEST 2022 includes a dedicated Artifact Evaluation (AE). Submission of an artifact is mandatory for tool papers (both regular and short), and optional but encouraged for theoretical/methodological and application papers where it can support the results presented in the paper. Artifacts will be reviewed concurrently with the
[TYPES/announce] QEST 2022: Second Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] QEST 2022 International Conference on Quantitative Evaluation of SysTems https://www.qest.org/qest2022 September 12-16th, 2022 Co-located at CONFEST (Warsaw) with CONCUR, FORMATS, FMICS https://confest2022.mimuw.edu.pl ** Abstract Submission: April 18th, 2022 Paper Submission: April 25th, 2022 Artifact Submission: May 2nd, 2022 Notifications: June 20th, 2022 Camera-ready: July 18th, 2022 Conference:September 12-16th, 2022 ** Keynote Speakers - Jane Hillston, University of Edinburgh, UK - Marta Kwiatkowska, University of Oxford, UK 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 repeatability/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. === Submissions === QEST 2022 considers three types of papers (authors will be able to specify the type of the contribution at submission): 1. THEORETICAL/METHODOLOGICAL: To advance the understanding on a topic or issue, or to describe the development and proposal of new analysis processes and techniques. 2. APPLICATION: To describe a novel application and compare it with previous results. 3. TOOL: To develop new tools and the formalisms they support, with a focus on the software architecture and practical implementation and use. Tool papers must be accompanied by an artifact in the Artifact Evaluation. Paper submission can be REGULAR and SHORT: regular papers must not exceed 16 pages, excluding references, plus 4 pages for the appendix containing supporting material. Short papers should preferably be limited to 8 pages, also excluding references. Regarding TOOL papers, the conference will include the possibility of a demo session for interaction with the authors. All submitted papers must be unpublished and not be submitted for publication elsewhere. Papers should be submitted electronically using EasyChair [2]. Springer encourages authors to include their ORCIDs in their papers. Authors should consult Springer's authors' guidelines [0] and use Springer's LaTeX templates [1] for the preparation of their papers. Publications All accepted papers will be presented and discussed at the conference by one of the authors. The QEST 2022 proceedings will be published in the Springer LNCS series and indexed by ISI Web of Science, Scopus, ACM Digital Library, dblp, Google Scholar. All submitted papers will be evaluated by at least three reviewers on the basis of their originality, technical quality, scientific or practical contribution to the state of the art, methodology, clarity, and adequacy of references. === Artifact Evaluation === Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, QEST 2022 includes a dedicated Artifact Evaluation (AE). Submission of an artifact is mandatory for tool papers (both regular and short), and optional but encouraged for theoretical/methodological and application papers where it can support the results presented in the paper. Artifacts will be reviewed concurrently with the