Event:TACAS 2006

Deadlines

2005-12-09

2005-10-07

2006-01-06

2005-10-14

7 Oct 2005

Abstract

14 Oct 2005

Submission

9 Dec 2005

Notification

6 Jan 2006

Camera-Ready

Venue

University of Vienna, Elektrotechnisches Institut, Vienna, Austria

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[],"imageoverlays":null}

The 12. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2006

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 secure, real-time, hybrid, safety-critical or dependable systems
• Integration of formal methods and static analysis in high-level hardware design
• Tool environments and tool architectures
• Applications and case studies

Submissions

As with other ETAPS conferences, TACAS accepts two types of contributions: research papers and tool demonstration papers. Both types will appear in the proceedings and have presentations during the conference. A condition of submission is that an author attends to give the presentation. All submitted papers must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden.

Papers should be submitted electronically in PDF. The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series. Final papers will be in the format specified by Springer-Verlag at the URL: www.springer.de/comp/lncs/authors.html. It is recommended that submissions adhere to the specified format and length. Submissions that are clearly too long may be rejected immediately.

RESEARCH PAPERS:
Final papers will be not more than 15 pages long, and should present original research. Additional material intended for the referee but not for publication in the final version - for example details of proofs - may be placed in a clearly marked appendix that is not included in the page limit.

TOOL DEMONSTRATION PAPERS:
Submissions should consist of two parts.

• The first part, at most four pages, should describe the tool presented. Please include the URL of the tool (if available) and provide information which illustrates the maturity and robustness of the tool. (This part will be included in the proceedings.)
• The second part, at most six pages, should explain how the demonstration will be carried out and what it will show, including screen dumps and examples. (This part will be not be included in the proceedings, but will be evaluated.)

Important Dates

Friday 7 October 2005: Submission deadline for abstracts
Friday 14 October 2005: Submission deadline for full papers (strict)
Friday 9 December 2005: Notification of acceptance/rejection
Friday 6 January 2006: Camera-ready version due
Saturday 25 March to Sunday 2 April 2006: ETAPS 2006