[Apologies for multiple copies]
---------------------------------------------------------------------------
Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2006
A Member Conference of ETAPS 2006
Vienna (Austria), March 27-March 31, 2006
http://depend.cs.uni-sb.de/tacas06/
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.
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:
o Specification and verification techniques for finite
and infinite state systems
o Software and hardware verification
o Theorem-proving and model-checking
o System construction and transformation techniques
o Static and run-time analysis
o Abstract interpretation
o Compositional and refinement-based methodologies
o Testing and test-case generation
o Analytical techniques for secure, real-time,
hybrid, safety-critical or dependable systems
o Integration of formal methods and static analysis in
high-level hardware design
o Tool environments and tool architectures
o Applications and case studies
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. Authors reporting on tools or case studies are strongly
encouraged to indicate how their experimental results can be
reproduced and confirmed independently.
IMPORTANT DATES
Friday 7 October 2005
Submission deadline for abstracts
Friday 14 October 2005
Submission deadline for full papers (strict)
Friday 9 December 2005
Notification of acceptance/rejection
Friday 6 January 2006
Camera-ready version due
Saturday 25 March to Sunday 2 April 2006
ETAPS 2006
SUBMISSION INFORMATION
TACAS accepts two types of contributions: research papers and tool
demonstration papers. Both types will appear in the proceedings and
have presentations during the conference. A condition of submission is
that, if the submission is accepted, one of the authors attends the
conference to give the presentation. All submitted papers must be
unpublished and not submitted for publication elsewhere. In
particular, simultaneous submission of the same contribution to
multiple ETAPS conferences is forbidden.
Guidelines for research papers and tool demonstration papers are
available on the website:
http://depend.cs.uni-sb.de/tacas06/
The URL for electronic submission is available on this page.
Papers should be submitted electronically in PDF (preferably) or PS
(using Type 1 fonts). The proceedings will be published in the
Springer-Verlag Lecture Notes in Computer Science series. Final papers
will be in the format specified by Springer-Verlag at the URL:
http://www.springer.de/comp/lncs/authors.html
It is recommended that submissions adhere to the specified format and
length. Submissions that are clearly too long may be rejected
immediately.
RESEARCH PAPERS: Final papers will be not more than 15 pages long, and
should present original research. Additional material intended for the
referee but not for publication in the final version - for example
details of proofs - may be placed in a clearly marked appendix that is
not included in the page limit.
TOOL DEMONSTRATION PAPERS: Submissions should consist of two parts.
o The first part, at most four pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information which illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)
o The second part, at most six pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.)
INVITED SPEAKER
* Somesh Jha, University of Wisconsin (USA)
PROGRAM COMMITTEE CHAIRS
* Holger Hermanns, Saarland University, Saarbrücken (Germany)
* Jens Palsberg, UCLA (USA)
TOOL CHAIR
* Thierry Jeron, IRISA, Rennes (France)
PROGRAM COMMITTEE
* Armin Biere (Johannes Kepler University, Linz - Austria)
* Ed Brinksma (University of Twente, Enschede - the Netherlands)
* Gianfranco Ciardo (University of California, Riverside - USA)
* Alessandro Cimatti (ITC-IRST, Trento - Italy)
* Rance Cleaveland (SUNY, Stony Brook - USA)
* Hubert Garavel (INRIA Rhones-Alpes, Grenoble, France)
* Andy Gordon (Microsoft Research, Cambridge - England)
* Orna Grumberg (Technion, Haifa - Israel)
* Klaus Havelund (NASA Ames, Moffet Field - USA)
* Holger Hermanns (Saarland University, Saarbrücken - Germany)
* Thierry Jeron (IRISA, Rennes - France)
* Kim Larsen (Aalborg University, Aalborg - Denmark)
* Ken McMillan (Cadence, Berkely - USA)
* Peter Niebert (University of Provence, Marseille, France)
* Jens Palsberg, UCLA (USA)
* Anna Phillipou (University of Cyprus, Nicosia - Cyprus)
* Jaco van de Pol (CWI, Amsterdam - the Netherlands)
* John Rushby (SRI, Menlo Park, USA)
* David Sands (Chalmers University of Technology, Goeteborg - Sweden)
* Helmut Seidl (Technical University of Munich, Munich - Germany)
* Bernhard Steffen (University of Dortmund, Dortmund - Germany)
* Martin Steffen (University of Kiel, Kiel - Germany)
* Zhendong Su (University of California, Davis - USA)
* Wang Yi (Uppsala University, Uppsala - Sweden)
* Lenore Zuck (University of Illinois, Chicago - USA)
------------------
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
