TACAS 2003

Deadlines

2002-12-13

2003-01-17

2002-10-18

18 Oct 2002

Submission

13 Dec 2002

Notification

17 Jan 2003

Camera-Ready

organization

University of Warsaw

Metrics

Submitted Papers

140

Accepted Papers

35

Venue

Fryderyk Chopin University of Music, Warsaw, Mazovia, Poland

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":[{"text":"","title":"","link":"","lat":52.23573825,"lon":21.022471995961507,"icon":""}],"imageoverlays":null}

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:

• 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:

• 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)
December 13, 2002 - Notification of authors
January 17, 2003 - Final version due
April 7-11, 2003 - TACAS 2003 Conference