Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
QAPL 2006
[go: Go Back, main page]


                              qapl_logo


4th Workshop on Quantitative Aspects of Programming Languages

Vienna, Austria - April 1 - 2, 2006

Home  |  Scope  |  Call for Papers [pdf]  |  Committees  |  Submission  |  Important dates  |   Invited Speakers  |   Programme  |   ENTCS post-proceedings  | 
Call for Journal Papers   
QAPL is an international workshop attracting researchers on quantitative aspects of programming languages. Its first edition QAPL 2001 was held in Florence, Italy as a satellite event to the ACM Principles, Logics, and Implementations of high-level programming languages, PLI'01. Since its second edition QAPL 2004 which was held in Barcelona, Spain, it has become a yearly appointment. Based on the QAPL 2004 event, a special issue of the journal Theoretical Computer Science was published in Volume 346.
The third edition QAPL 2005 was held in Edinburgh, UK.
The 2006 edition will take place at the University of Technology Vienna, Austria, as a satellite event of ETAPS 2006.


The topics of the workshop include probabilistic, timing and general quantitative aspects in:

Language design Language extension Language expressiveness Quantum languages
Information systems Time-critical systems Embedded systems Multi-tasking systems
Semantics Program analysis Logic Model-checking
Performance analysis Testing Verification Automated reasoning
Asynchronous hardware analysis Risk and Hazard Analysis Scheduling theory Safety
Coordination models Distributed systems Protocol Analysis Security





For any questions, please contact the program chairs: qapl06 at di.unipi.it