Our Sponsors
QAPL 2012 - 10th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL)
Website http://www.etaps.org/2012 |
Edit Freely
Category QAPL 2012
Deadline: October 14, 2011 | Date: March 24, 2012-March 31, 2012
Venue/Country: Tallinn, Estonia
Updated: 2011-07-26 18:10:44 (GMT+9)
Call For Papers - CFP
10th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL)Quantitative aspects of computation refer to the use of physical quantities (time, bandwidth, etc.) as well as mathematical quantities (e.g., probabilities) for the characterisation of the behaviour and for determining the properties of systems. Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. The aim of the QAPL workshop series is to discuss the explicit use of time and probability and general quantities either directly in the model or as a tool for the analysis of systems.Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.