QEST 2013
Date: Aug 25, 2013 11:30 pm – Aug 30, 2013 10:30 pm
Location: Buenos Ares, Argentina
URL: http://www.qest.org/
10th International Conference on Quantitative Evaluation of SysTems
QEST 2013
http://www.qest.org/qest2013/
August 26th-30th, 2013 - Buenos Aires, Argentina
The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on evaluation and verification of computer systems and networks, through stochastic models and measurements, possibly incorporating non-deterministic behavior. Its roots lie in three formerly independent events:
- the International Conference on Modeling Techniques and Tools for Computer Performance Evaluation (TOOLS),
- the International Workshop on Petri Nets and Performance Models (PNPM),
- the Joint International Workshop on Process Algebras and Performance Modeling and Probabilistic Methods In Verification (PAPM-ProbMIV)
Quantitative properties of interest include performance, reliability, availability, safety, security, survivability, correctness, timeliness, and efficiency. Topics of interest cover the areas of modelling formalisms and methodologies, measurements, analytical and numerical evaluation, simulation and verification, and theory of probabilistic systems, as well as case studies showing the role of quantitative evaluation in the design of systems including computer architectures, distributed and fault tolerant systems, communication systems, embedded systems, web-based systems, and safety-critical systems. Moreover, tools for supporting the practical application of research results in all the above areas are of special interest for QEST. In short, QEST aims to create a sound methodological basis for assessing and designing trustworthy computing systems and networks.
KEYNOTE SPEAKERS:
- Lorenzo Alvisi, University of Texas Austin, USA
- Gilles Barthe, IMDEA Software, Spain
- Edmundo de Souza e Silva, Federal University of Rio de Janeiro, Brazil
CONFERENCE PROGRAMME:
A preliminary conference programme, including details of accepted papers is available at http://www.qest.org/qest2013/accepted.php
TUTORIALS DAY (26 August 2013)
- Diego Garbervetsky, Universidad de Buenos Aires, AR, "Quantitative analysis
of heap memory requirements Java/.Net like programs"
- Marco Vieira, University of Coimbra, PT, "Benchmarking the Dependability of
Computer Systems"
CO-LOCATED EVENTS
- 24th International Conference on Concurrency Theory (CONCUR 2013)
- 11th Intl. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS 2013)
- 8th Intl. Symposium on Trustworthy Global Computing (TGC 2013)
and six affiliated workshops.
REGISTRATION
Registration is now available at
http://www.concur-conferences.org/concur2013/registration.php
Early registration deadline: July 20, 2013
Registration includes attendance at the all main conferences, coffee breaks, lunches, and electronic proceedings (in a USB Stick). CONCUR+QEST+FORMATS+TGC registration also includes the welcome reception on Tuesday, plus social event on Wednesday. Registration to QEST tutorials and co-located workshops is separate from the main conferences. However, a discount of 50% per workshop registration applies for participants of CONCUR+QEST+FORMATS+TGC.
GENERAL CHAIR:
Pedro R. D'Argenio (AR)
PC-CHAIRS:
Kaustubh Joshi (US)
Markus Siegle (DE)
Marielle Stoelinga (NL)
LOCAL ORGANIZATION CHAIR:
Hernán Melgratti (AR)
TOOLS CHAIR:
Kai Lampka (SE)
TUTORIAL CHAIR:
Lijun Zhang (DK)
PROCEEDINGS CHAIR:
Nicolás Wolovick (AR)
PUBLICITY CHAIR:
Damián Barsotti (AR)
PROGRAM COMMITTEE:
Christel Baier (DE)
Nathalie Bertrand (FR)
Andrea Bobbio (IT)
Peter Buchholz (DE)
Hector Cancela (UY)
Giuliano Casale (GB)
Gianfranco Ciardo (US)
Yuxin Deng (CN)
Derek Eager (CA)
Jane Hillston (GB)
Andras Horvath (IT)
David Jansen (NL)
Krishna Kant (US)
Peter Kemper (US)
Boris Koepf (ES)
Marta Kwiatkowska (GB)
Kai Lampka (SE)
Annabelle McIver (AU)
Arif Merchant (US)
Aad van Moorsel (GB)
Gethin Norman (GB)
Anne Remke (NL)
William Sanders (US)
Roberto Segala (IT)
Miklos Telek (HU)
Bhuvan Urgaonkar (US)
Marco Vieira (PT)
Verena Wolf (DE)
STEERING COMMITTEE:
Holger Hermanns (DE)
Nathalie Bertrand (FR)
Peter Buchholz (DE)
Gethin Norman (UK)
Andrew S. Miner (US)
Susanna Donatelli (IT)
William Knottenbelt (UK)
Joost-Pieter Katoen (Chair, DE)
Peter Kemper (US)
Miklos Telek (HU)
Gerardo Rubino (FR)
Boudewijn Haverkort (NL)
Submitted by Anonymous
on
10th International Conference on Quantitative Evaluation of SysTems
QEST 2013
http://www.qest.org/qest2013/
August 26th-30th, 2013 - Buenos Aires, Argentina
The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on evaluation and verification of computer systems and networks, through stochastic models and measurements, possibly incorporating non-deterministic behavior. Its roots lie in three formerly independent events:
- the International Conference on Modeling Techniques and Tools for Computer Performance Evaluation (TOOLS),
- the International Workshop on Petri Nets and Performance Models (PNPM),
- the Joint International Workshop on Process Algebras and Performance Modeling and Probabilistic Methods In Verification (PAPM-ProbMIV)
Quantitative properties of interest include performance, reliability, availability, safety, security, survivability, correctness, timeliness, and efficiency. Topics of interest cover the areas of modelling formalisms and methodologies, measurements, analytical and numerical evaluation, simulation and verification, and theory of probabilistic systems, as well as case studies showing the role of quantitative evaluation in the design of systems including computer architectures, distributed and fault tolerant systems, communication systems, embedded systems, web-based systems, and safety-critical systems. Moreover, tools for supporting the practical application of research results in all the above areas are of special interest for QEST. In short, QEST aims to create a sound methodological basis for assessing and designing trustworthy computing systems and networks.
KEYNOTE SPEAKERS:
- Lorenzo Alvisi, University of Texas Austin, USA
- Gilles Barthe, IMDEA Software, Spain
- Edmundo de Souza e Silva, Federal University of Rio de Janeiro, Brazil
CONFERENCE PROGRAMME:
A preliminary conference programme, including details of accepted papers is available at http://www.qest.org/qest2013/accepted.php
TUTORIALS DAY (26 August 2013)
- Diego Garbervetsky, Universidad de Buenos Aires, AR, "Quantitative analysis
of heap memory requirements Java/.Net like programs"
- Marco Vieira, University of Coimbra, PT, "Benchmarking the Dependability of
Computer Systems"
CO-LOCATED EVENTS
- 24th International Conference on Concurrency Theory (CONCUR 2013)
- 11th Intl. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS 2013)
- 8th Intl. Symposium on Trustworthy Global Computing (TGC 2013)
and six affiliated workshops.
REGISTRATION
Registration is now available at
http://www.concur-conferences.org/concur2013/registration.php
Early registration deadline: July 20, 2013
Registration includes attendance at the all main conferences, coffee breaks, lunches, and electronic proceedings (in a USB Stick). CONCUR+QEST+FORMATS+TGC registration also includes the welcome reception on Tuesday, plus social event on Wednesday. Registration to QEST tutorials and co-located workshops is separate from the main conferences. However, a discount of 50% per workshop registration applies for participants of CONCUR+QEST+FORMATS+TGC.
GENERAL CHAIR:
Pedro R. D'Argenio (AR)
PC-CHAIRS:
Kaustubh Joshi (US)
Markus Siegle (DE)
Marielle Stoelinga (NL)
LOCAL ORGANIZATION CHAIR:
Hernán Melgratti (AR)
TOOLS CHAIR:
Kai Lampka (SE)
TUTORIAL CHAIR:
Lijun Zhang (DK)
PROCEEDINGS CHAIR:
Nicolás Wolovick (AR)
PUBLICITY CHAIR:
Damián Barsotti (AR)
PROGRAM COMMITTEE:
Christel Baier (DE)
Nathalie Bertrand (FR)
Andrea Bobbio (IT)
Peter Buchholz (DE)
Hector Cancela (UY)
Giuliano Casale (GB)
Gianfranco Ciardo (US)
Yuxin Deng (CN)
Derek Eager (CA)
Jane Hillston (GB)
Andras Horvath (IT)
David Jansen (NL)
Krishna Kant (US)
Peter Kemper (US)
Boris Koepf (ES)
Marta Kwiatkowska (GB)
Kai Lampka (SE)
Annabelle McIver (AU)
Arif Merchant (US)
Aad van Moorsel (GB)
Gethin Norman (GB)
Anne Remke (NL)
William Sanders (US)
Roberto Segala (IT)
Miklos Telek (HU)
Bhuvan Urgaonkar (US)
Marco Vieira (PT)
Verena Wolf (DE)
STEERING COMMITTEE:
Holger Hermanns (DE)
Nathalie Bertrand (FR)
Peter Buchholz (DE)
Gethin Norman (UK)
Andrew S. Miner (US)
Susanna Donatelli (IT)
William Knottenbelt (UK)
Joost-Pieter Katoen (Chair, DE)
Peter Kemper (US)
Miklos Telek (HU)
Gerardo Rubino (FR)
Boudewijn Haverkort (NL)