(mobo import Concept___Events-migrated) |
Curator 75 (talk | contribs) |
||
(3 intermediate revisions by 2 users not shown) | |||
Line 3: | Line 3: | ||
|Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems | ||
|Ordinal=12 | |Ordinal=12 | ||
+ | |In Event Series=Event Series:TACAS | ||
+ | |Single Day Event=no | ||
+ | |Start Date=2006/03/25 | ||
+ | |End Date=2006/04/02 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
+ | |Venue=University of Vienna, Elektrotechnisches Institut | ||
+ | |City=Vienna | ||
+ | |Region=Vienna | ||
+ | |Country=Country:AT | ||
+ | |Academic Field=Software Engineering | ||
+ | |Official Website=https://depend.cs.uni-saarland.de/index.php?id=329 | ||
+ | |Hashtag=TACAS 2006 | ||
|Type=Conference | |Type=Conference | ||
|Superevent=ETAPS 2006 | |Superevent=ETAPS 2006 | ||
− | |||
|TibKatId=512697906 | |TibKatId=512697906 | ||
|gndId=10132480-7 | |gndId=10132480-7 | ||
|DblpConferenceId=tacas/tacas2006 | |DblpConferenceId=tacas/tacas2006 | ||
|wikidataid=Q106426956 | |wikidataid=Q106426956 | ||
− | |||
− | |||
|has program chair=Holger Hermanns, Jens Palsberg | |has program chair=Holger Hermanns, Jens Palsberg | ||
− | |||
− | |||
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F11691372.pdf | |has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F11691372.pdf | ||
|has Proceedings DOI=https://doi.org/10.1007/11691372 | |has Proceedings DOI=https://doi.org/10.1007/11691372 | ||
Line 21: | Line 29: | ||
|pageEditor=User:Curator 75 | |pageEditor=User:Curator 75 | ||
|contributionType=1 | |contributionType=1 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Event Deadline | {{Event Deadline | ||
+ | |Notification Deadline=2005/12/09 | ||
|Abstract Deadline=2005/10/07 | |Abstract Deadline=2005/10/07 | ||
− | |||
|Camera-Ready Deadline=2006/01/06 | |Camera-Ready Deadline=2006/01/06 | ||
|Submission Deadline=2005/10/14 | |Submission Deadline=2005/10/14 | ||
+ | }} | ||
+ | {{Organizer | ||
+ | |Contributor Type=organization | ||
+ | |Organization=University of Vienna | ||
+ | }} | ||
+ | {{Event Metric | ||
+ | |Number Of Submitted Papers=118 | ||
+ | |Number Of Accepted Papers=30 | ||
}} | }} | ||
{{S Event}} | {{S Event}} |
Latest revision as of 10:43, 16 November 2023
|
||
Abstract |
|
||
Submission |
|
||
Notification |
|
||
Camera-Ready |
University of Vienna, Elektrotechnisches Institut, Vienna, Austria
The 12. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2006
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
- Abstract interpretation
- Compositional and refinement-based methodologies
- Testing and test-case generation
- Analytical techniques for secure, real-time, hybrid, safety-critical or dependable systems
- Integration of formal methods and static analysis in high-level hardware design
- Tool environments and tool architectures
- Applications and case studies
Submissions
As with other ETAPS conferences, 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 an author attends 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.
Papers should be submitted electronically in PDF. 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: 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.
- 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.)
- 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.)
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