FASE 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

60

Accepted Papers

21

Venue

Technical University of Berlin, Berlin, 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 3. International Conference on Fundamental Approaches to Software Engineering (FASE)2000

Topics

• Methods for the design of high quality software, relying on formal approaches to specification, refinement, testing and validation
• The use of program derivation and transformation methods to support software production
• Integration of formal notations and methods with engineering notations and methods
• Combining programming in the small and programming in the large; design of software architectures
• Principled approaches to reverse engineering, legacy software, reuse and evolution
• Case studies of the application of principled Software Engineering methods
• Reports evaluating industrial experience of the use of Software Engineering methods
• Rigorous experimental studies of the effectiveness and applicability of principled methods

Submissions

The deadline for submissions is Monday, 18 October. Submitted papers must be in English and must be unpublished and not submitted for publication elsewhere. Among other things, this means that simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. As accepted papers will be restricted in length to 15 pages in the Springer-Verlag LNCS style, authors are strongly encouraged to adhere to this length and format. In particular, submissions that exceed this length significantly run the risk of immediate rejection. The first page of each paper should contain only the title, authors and affiliations and an abstract.

Important Dates

Monday, 18 October 1999 Deadline for submissions (firm)
Monday, 13 December 1999 Notification to authors
Thursday, 13 January 2000 Final versions due
27 March - 1 April 2000 FASE'2000/ETAPS'2000 conference dates