[Prev][Next][Index][Thread]
TACAS '99 Call for papers
[Note to TYPES readers: TACAS has one of its major foci the
development of tools, and underlying theoretical foundations, for the
automatic and semi-automatic verification of systems. Its relevance
to TYPES rests on the historical, and evolving, connections between
types on the one hand and specifications on the other, and on the
traditional insistence on the decidability of typing and type
inference. --Rance Cleveland]
-------Call for Papers------Call for Papers-----Call for Papers------
Fifth International Conference on
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
(TACAS '99)
22--26 March 1999 Amsterdam, the Netherlands
URL: http://www.csc.ncsu.edu/tacas99/
A member conference of the 1999 European Joint Conferences on
Theory and Practice of Software
(ETAPS '99)
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 all
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;
. heterogeneous analysis;
. theorem-proving and model checking;
. analytical techniques for real-time, hybrid, probabilistic, and
safety-critical systems;
. tool environments and tool architectures; and
. 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 28 SEPTEMBER 1998. 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 '99 Web page,
http://www.csc.ncsu.edu/tacas99/. Authors without access to the Web
may instead submit their papers via electronic mail (Postscript only)
or by sending six hard copies to the Program Committee Chair:
Rance Cleaveland
Department of Computer Science, EGRC
North Carolina State University
Raleigh, NC 27695-7534
USA
e-mail: rance@csc.ncsu.edu
URL: http://www4.ncsu.edu/~rance/WWW
tel: +1 919 515-7862
fax: +1 919 515-7925
IMPORTANT DATES
28 September 1998 Submission deadline
30 November 1998 Notification of authors
4 January 1999 Final versions due
22-26 March 1999 Conference dates
INVITED SPEAKER
The invited speaker at TACAS '99 will be Jeff Kramer of Imperial
College, UK.
PROGRAM COMMITTEE
Rajeev Alur (U. Pennsylvania, USA)
Ed Brinksma (U. Twente, NL)
Rance Cleaveland (North Carolina State U., USA, chair)
Hubert Garavel (INRIA Rhone-Alpes, F)
Fausto Giunchiglia (U. Trento, I)
Mike Gordon (Cambridge U., UK)
Roberto Gorrieri (U. Bologna, I)
Jan Friso Groote (CWI, NL)
Nicolas Halbwachs (Verimag, F)
Gerard Holzmann (Bell Labs, USA)
Kurt Jensen (U. Aarhus, DK)
Kim Larsen (Aalborg U., DK)
Tiziana Margaria (U. Passau, D)
David Notkin (U. Washington, USA)
Gregor Snelting (U. Braunschweig, D)
--
Rance Cleaveland (rance@csc.ncsu.edu)
Tel: (919) 515-7862 (voice), (919) 515-7925 (fax)
WWW: http://www4.ncsu.edu/~rance/WWW/
Post: Dept. of Comp. Sci., EGRC, N.C. State Univ., Raleigh, NC 27695-7534