--- 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]