|
||
| Abstract |
|
||
| Submission |
|
||
| Notification |
|
||
| Camera-Ready |
University of Edinburgh, King's Buildings, Edinburgh, Midlothian, United Kingdom of Great Britain and Northern Ireland
The 11. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2005
Topics
- Specification and verification techniques for finite and infinite state systems
- Software and hardware verification
- Theorem-proving and model-checking
- System construction and transformation techniques
- Static and run-time analysis
- Abstract interpretation
- Compositional and refinement-based methodologies
- Testing and test-case generation
- Analytical techniques for security protocols, real-time, hybrid and safety-critical systems
- Integration of formal methods and static analysis in high-level hardware design
- Tool environments and tool architectures
- Applications and case studies
Submissions
Papers should be submitted using the TACAS 2005 Conference Service
As with other ETAPS conferences, TACAS accepts two types of contributions: research papers and tool demonstration papers. Both types of contributions will appear in the proceedings and have oral presentations during the conference.
Research papers:
Research papers 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. Submitted research papers must:
- be in English and have a maximum of 15 pages (including figures and bibliography),
- present original research which is unpublished and not submitted elsewhere (conferences or journals) -- in particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden,
- use the Springer-Verlag LNCS style
- be submitted electronically in Postscript or PDF form via the TACAS 2005 Conference Service (abstract no later than October 8 and full paper no later than October 15)
Submissions deviating from these instructions may be rejected without review. Any questions regarding this policy should be directed to the Program Committee Chairs Lenore Zuck or Nicolas Halbwachs prior to submitting.
Tool demonstration papers:
Tool demonstration papers 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. Submitted tool demonstration papers must:
- be in English and have a maximum of 4 pages,
- have an appendix (not included in the 4 page count) that provides a detailed description of:
- how the oral presentation will be conducted, e.g. illustrated by a number of snapshots,
- the availability of the tool, the number and types of users, other information which may illustrate the maturity and robustness of the tool,
- link to a web-page for the tool (if this exists).
- The appendix will not be included in the proceedings, but during the evaluation of the tool demonstration papers it will be equally important as the pages for the proceedings
- use the Springer-Verlag LNCS style
- be submitted electronically in Postscript or PDF form via the TACAS 2005 Conference Service (abstract no later than October 8 and full paper no later than October 15)
Submissions deviating from these instructions may be rejected without review. Any questions regarding this policy should be directed to the Tool Chair Andreas Kuehlmann.
Important Dates
October 8, 2004 - Strict deadline for submission of abstracts (of research papers and tool demonstration papers)
October 15, 2004 - Strict deadline for submission of full versions - (of research papers and tool demonstration papers)
December 10, 2004 - Notification of authors
January 7, 2005 - Camera ready version due
April 4-8 2005 - TACAS 2005 Conference
