[TYPES] TACAS 2005: CALL FOR PAPERS

[etaps02 VERIMAG]

Please apologize if you receive multiple copies of this message.


                 --- C A L L  F O R  P A P E R S ---

    *************************************************************
    ***                      TACAS  2005                      ***
    ***   11th Int. Conference on Tools and Algorithms for    ***
    ***       the Construction and Analysis of Systems        ***
    ***                        part of                        ***
    ***                      ETAPS 2005                       ***
    ***       April 4-8, 2005,  Edinburgh (Scottland)         ***
    *************************************************************

              **********************************************
              * http://www-verimag.imag.fr/TACAS2005.html  *
              **********************************************

-----------------------------------------------------------------------
IMPORTANT DATES
-----------------------------------------------------------------------
  October  8, 2004:   Firm deadline for submission of abstracts
  October 15, 2004:   Firm deadline for submission of papers
  December 10, 2004:  Notification of authors
  January  7, 2005:   Camera-ready version due
  April 4-8, 2005:    TACAS 2005 Conference in Edinburgh
-----------------------------------------------------------------------

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, 
software and hardware verification, static analysis, programming 
languages, software engineering, real-time systems, and communications 
protocols --- that 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.

TACAS is a member conference of the European Joint Conferences on 
Theory and Practice of Software (ETAPS), which is the primary European 
forum for academic and industrial researchers working on topics relating 
to Software Science. ETAPS 2005 is the eigth joint conference in this 
series. The conference is organized by the University of Edinburgh. 
The prior conferences have been ETAPS 98 in Lisbon, ETAPS 99 in 
Amsterdam, ETAPS 2000 in Berlin, ETAPS 2001 in Genova, ETAPS 2002 in 
Grenoble,  ETAPS 2003 in Warsaw, and ETAPS 2004 in Barcelona. 

 ----------- 
you received this e-mail via the individual or collective address
               types at cis.upenn.edu