Event:TACAS 2000

Deadlines

1999-12-13

2000-01-13

1999-10-18

18 Oct 1999

Submission

13 Dec 1999

Notification

13 Jan 2000

Camera-Ready

organization

Technical University of Berlin, Institut für Kommunikations-und Softwaretechnik

Metrics

Submitted Papers

107

Accepted Papers

33

Venue

Technical University of Berlin, DE/BE/Berlin, DE/BE, Germany

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

Topics

• verification and construction techniques;
• compositional and refinement-based methodologies;
• test case generation;
• theorem-proving and model checking;
• analytical techniques for real-time, hybrid and safety-critical systems;
• tool environments and tool architectures;
• applications and case studies.