You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
Add another
The 9. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2003 ==Topics== *Specification and verification techniques *Theorem-proving and model-checking *System construction and transformation techniques *Static and run-time analysis *Compositional and refinement-based methodologies *Testing and test-case generation *Analytical techniques for real-time, hybrid and safety-critical systems *Tool environments and tool architectures *Applications and case studies ==Submissions== As with other ETAPS conferences, TACAS accepts two types of contributions:<br> *Research papers (up to 15 pages) cover one or more of the topics above, including tool development and case studies from a perspective of scientific research. Research papers are evaluated by the TACAS Program Committee. See http://www.cis.ksu.edu/tacas03 for submission details. *Tool demonstration papers (up to 4 pages) present tools based on aforementioned technologies (e.g., theorem-proving, model-checking, static analysis, or other formal methods) or fall into the above application areas (e.g., system construction and transformation, testing, analysis of real-time and hybrid systems, etc.). Tool demonstration papers are evaluated by the TACAS Tool Chair with the help of the Program Committee. See http://vasy.inria.fr/tacas03/tool.html for submission details. Both types of contributions will appear in the proceedings and be allocated thirty-minute slots during the conference. In brief, submitted papers must:<br> *be in English *present original research which is unpublished and not submitted elsewhere *use the Springer-Verlag LNCS style (see http://www.springer.de/comp/lncs/authors.html) *be submitted electronically in Postscript/PDF format Submissions deviating from these instructions may be rejected without review. Any question regarding this policy should be directed to the Conference Co-chairs prior to submission. ==Important Dates== October 18, 2002 - Submission deadline (extended to October 25, 2002)<br> December 13, 2002 - Notification of authors<br> January 17, 2003 - Final version due<br> April 7-11, 2003 - TACAS 2003 Conference
Save page Show preview Cancel