TACAS 2004

Deadlines

2003-12-12

2004-01-09

2003-10-17

17 Oct 2003

Submission

12 Dec 2003

Notification

9 Jan 2004

Camera-Ready

organization

Universitat Politècnica de Catalunya

Metrics

Submitted Papers

145

Accepted Papers

43

Venue

Universitat Politècnica de Catalunya, Barcelona, Catalonia, Spain

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 10. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2004

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: research papers and tool demonstration papers. Both types of contributions will appear in the proceedings and have oral presentations during the conference.

Please notice that there are two different conference services for submission of papers:

• The TACAS 2004 Conference Service is used for submission of research papers.
• The TACAS 2004 TOOL Conference Service is used for submission of tool demonstration papers.

Authors who anticipate possible last minute delays in the submission of a full research paper or a full tool demonstration paper are encouraged to submit a title and abstract well in advance of the deadline.

Important Dates

October 17, 2003 - Submission deadline
December 12, 2003 - Notification of authors
January 9, 2004 - Camera ready version due
March 29 - April 2, 2004 - TACAS 2004 Conference