TACAS 2009

From ConfIDent
Deadlines
2008-12-12
2008-10-02
2009-01-05
2
Oct
2008
Paper
12
Dec
2008
Notification
5
Jan
2009
Camera-Ready
organization
Metrics
Submitted Papers
131
Accepted Papers
35
Venue

York Castle Museum, York, United Kingdom of Great Britain and Northern Ireland

Loading map...

The 15. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2009


Topics

  • Specification and verification techniques for finite and infinite-state systems;
  • Software and hardware verification;
  • Theorem-proving and model-checking;
  • System construction and transformation techniques;
  • Static and run-time analysis;
  • Abstraction techniques for modeling and validation;
  • Compositional and refinement-based methodologies;
  • Testing and test-case generation;
  • Analytical techniques for secure, real-time, hybrid, critical, biological or dependable systems;
  • Integration of formal methods and static analysis in high-level hardware design or software environments;
  • Tool environments and tool architectures;
  • SAT solvers;
  • Applications and case studies.


Submissions

Research papers cover one or more of the topics above, including tool development and case studies from a perspective of scientific research. Research papers are evaluated by the TACAS Program Committee. Research papers may contain an appendix with ancillary material (e.g. proofs) or a reference to a webpage but referees will decide whether or not to look at such material or webpages. Submitted research papers must:

  • be in English and have a maximum of 15 pages (including figures and bibliography; but excluding an optional appendix or URL containing ancillary material such as proofs, both at the discretion of referees),
  • present original research which is unpublished and not submitted elsewhere (conferences or journals) -- in particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden,
  • use the Springer-Verlag LNCS style
  • be submitted electronically in Postscript or PDF form via the TACAS 2009 Conference Service before the deadlines stated above.

Submissions deviating from these instructions may be rejected without review. Any questions regarding this policy should be directed to the Program Committee Co-Chairs Stefan Kowalewski or Anna Philippou prior to submitting.


Important Dates

2 October, 2008 - Deadline for submission of abstracts (strict)
9 October, 2008 - Deadline for submission of full versions (strict)
12 December, 2008 - Notification of acceptance / rejection
5 January, 2009 - Camera-ready paper versions due (strict)
22 - 29 March 2009 - TACAS 2009 Conference

Cookies help us deliver our services. By using our services, you agree to our use of cookies.