Past Events


The QEST conference has its origins in the following three conferences and workshops:

  • The International Conference on Modeling Techniques and Tools for Computer Performance Evaluation (TOOLS). The Tools conference series started in 1984 and took place (mostly) once per 18 months.
  • The International Workshop on Petri Nets and Performance Models (PNPM). The history of PNPM dates back to 1985, and the workshop took place according to a bi-annual scheme.
  • The International Workshop on Process Algebras and Performance Modeling (PAPM). PAPM has been annualy organised since 1993 (with exceptions). The regular PAPM and ProbMIV events were merged in 2001.
  • The International Workshop on Probabilistic Methods In Verification (ProbMIV). ProbMIV has been organised since 1998. The regular events were merged with PAPM in 2001. However, both in 2000 and 2003, a Dagstuhl Seminar took place as a replacement of the regular ProbMIV event of that year: "Probabilistic Methods in Verification" in 2000, and "Probabilistic Methods in Verification and Planning" in 2003.
Many of these conferences and workshops where co-located quite often. 1997, PNPM and TOOLS in St. Malo, 1999, PNPM and PAPM in Zaragoza, 2001, PNPM and PAPM-ProbMIV in Aachen, and 2003, TOOLS and PNPM in Urbana-Champaign.

In the following table, you will find all events and locations over the past 20 years.

YearTOOLSPNPMPAPMProbMIV
1984Paris, F   
1985Sophia-Antipolis, F Torino, I  
1986    
1987Paris, FMadison, USA  
1988Palma, ES   
1989 Kyoto, JP  
1990    
1991Torino, IMelbourne, AU  
1992Edinburgh, UK   
1993 Toulouse, FEdinburgh, UK 
1994Vienna, AT Regensberg, D 
1995Heidelberg, DDurham, USAEdinburgh, UK 
1996  Torino, I 
1997Saint Malo, F Twente, NL 
1998Palma, ES Nice, FIndianapolis, USA
1999 Zaragoza, ESEindhoven, NL
2000Chicago, USA Geneva, CHSchloss Dagstuhl, D
2001 Aachen, D
2002London, UK Copenhagen, DK
2003Urbana-Champaign, USA Schloss Dagstuhl, D
2004QEST 2004, Enschede, The Netherlands

Web Maintenance Person.