[TYPES/announce] QEST 2013 - Call for Participation

[Pedro R. D'Argenio]

[We apologise for multiple copies.]

-----------------------------------------------------------------------
                        Call for Participation

10th International Conference on Quantitative Evaluation of SysTems
                              QEST 2013

                    http://www.qest.org/qest2013/

           August 26th-30th, 2013 - Buenos Aires, Argentina


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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130625/250f5312/attachment-0001.html>