--- Forwarded Message from Tiziana Margaria <[log in to unmask]> --- >Date: Sat, 7 Aug 1999 18:09:11 +0200 (MET DST) >From: Tiziana Margaria <[log in to unmask]> >Subject: TACAS 2000 - Call for Contributions >Sender: [log in to unmask] CALL FOR PAPERS Sixth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS'2000) 27 March -- 1 April 2000 Berlin, Germany URL: http://www-verimag.imag.fr/TACAS2000/ A member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS'2000) CONFERENCE DESCRIPTION TACAS is a forum for researchers, developers and users interested in rigorously based tools for the construction and analysis of systems. The conference serves to bridge the gaps between different communities --- including but not limited to those devoted to formal methods, real-time, software engineering, communications protocols, hardware, theorem proving, and programming languages --- that have traditionally had little interaction but share common interests in, and techniques for, tool development. In particular, by providing a venue for the discussion of common problems, heuristics, algorithms, data structures and methodologies, TACAS aims to support researchers in their quest to improve the utility, reliability, flexibility and efficiency of TOOLs for building systems. Tool descriptions and case studies with a conceptual message and theoretical papers with a clear link to tool construction are particularily encouraged. The specific topics covered by the conference include, but are not limited to, the following. . verification and construction techniques; . compositional and refinement-based methodologies; . test 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. All accepted contributions will receive the same space in the conference schedule and in the proceedings, and technical support will be provided for allowing presenters to demonstrate their tools during their talks. Facilities will also be available for informal tool demonstrations during the conference. As TACAS addresses a heterogeneous audience, potential authors are strongly encouraged to write about their ideas in general and jargon-independent, rather than application- and domain-specific, terms. SUBMISSION GUIDELINES The deadline for submissions is 18th of october 1999 and this deadline is firm. Submitted papers must be in English and must not have appeared in, or have been submitted to, other symposia or journals. Papers should be no more than 15 pages in the Springer-Verlag LNCS style (see http://www.springer.de/comp/lncs/Authors.html for details); submissions departing significantly from this limit run the risk of immediate rejection. ELECTRONIC SUBMISSION OF PAPERS IS STRONGLY RECOMMENDED; details for doing this may be found on the TACAS'2000 Web page, http://www-verimag.imag.fr/TACAS2000/ Authors without access to the Web may instead submit their papers via electronic mail (Postscript only) or by sending six hard copies to one of the Program Committee Chairs: Susanne Graf Michael Schwartzbach VERIMAG BRICS Centre Equation Dep. of Computer Science 2, avenue de la Vignate Ny Munkegade F - 38610 Gieres D - 8000 Arhus C France Denmark e-mail: [log in to unmask] e-mail: [log in to unmask] tel: (+33) 4 76 63 48 52 tel: +45 8942 3374 fax: (+33) 4 76 63 48 50 Fax: +45 8942 3255 IMPORTANT DATES Monday 18th October 1999 Submission deadline Monday 13th December 1999 Notification of authors Thursday 13th January 2000 Final versions due March, 27 -- April, 1 2000 Conference dates INVITED SPEAKER The invited speaker at TACAS'2000 will be Pierre Wolper (University of Liege, Belgium) PROGRAM COMMITTEE STEERING COMMITTEE Tom Ball (USA) Ed Brinksma (NL) Ed Brinksma (NL) Rance Cleaveland (USA) Rance Cleaveland (USA) Kim Larsen (DK) Matthew Dwyer (USA) Bernhard Steffen (D) Fausto Giunchiglia (I) Susanne Graf (F, chair) Constance Heitmeyer (USA) Gerard Holzmann (USA) Claude Jard (F) Joost N. Kok (NL) Kim Larsen (DK) Tiziana Margaria (D) Michael Schwartzbach (DK,chair) Bernhard Steffen (D) Perdita Stevens (GB) Wang Yi (Sweden) ---------------------------- P.S.: In case of change of address or other communications please notify [log in to unmask]