m (Text replacement - "|User:Curator 65" to "|Tib") |
Curator 75 (talk | contribs) |
||
| (7 intermediate revisions by one other user 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=15 | |Ordinal=15 | ||
| + | |In Event Series=Event Series:TACAS | ||
| + | |Single Day Event=no | ||
| + | |Start Date=2009/03/22 | ||
| + | |End Date=2009/03/29 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
| + | |Venue=York Castle Museum | ||
| + | |City=York | ||
| + | |Country=Country:GB | ||
| + | |Official Website=http://web.embedded.rwth-aachen.de/tacas09/ | ||
| + | |Submission Link=https://senldogo0039.springer-sbm.com/tacas09/servlet/Conference | ||
|Type=Conference | |Type=Conference | ||
|Superevent=ETAPS 2009 | |Superevent=ETAPS 2009 | ||
| − | |||
|TibKatId=592550435 | |TibKatId=592550435 | ||
|gndId=16003600-8 | |gndId=16003600-8 | ||
|DblpConferenceId=tacas/tacas2009 | |DblpConferenceId=tacas/tacas2009 | ||
|wikidataid=Q106337702 | |wikidataid=Q106337702 | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
|has program chair=Stefan Kowalewski, Anna Philippou | |has program chair=Stefan Kowalewski, Anna Philippou | ||
| − | |||
| − | |||
| − | |||
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-642-00768-2.pdf | |has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-642-00768-2.pdf | ||
|has Proceedings DOI=https://doi.org/10.1007/978-3-642-00768-2 | |has Proceedings DOI=https://doi.org/10.1007/978-3-642-00768-2 | ||
| Line 27: | Line 27: | ||
|pageEditor=User:Curator 75 | |pageEditor=User:Curator 75 | ||
|contributionType=1 | |contributionType=1 | ||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
| + | {{Event Deadline | ||
| + | |Notification Deadline=2008/12/12 | ||
| + | |Paper Deadline=2008/10/02 | ||
| + | |Camera-Ready Deadline=2009/01/05 | ||
| + | }} | ||
| + | {{Organizer | ||
| + | |Contributor Type=organization | ||
| + | |Organization=University of York | ||
| + | }} | ||
| + | {{Event Metric | ||
| + | |Number Of Submitted Papers=131 | ||
| + | |Number Of Accepted Papers=35 | ||
| + | }} | ||
| + | {{S Event}} | ||
The 15. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2009 | The 15. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2009 | ||
==Topics== | ==Topics== | ||
| − | * Specification and verification techniques for finite and infinite-state systems; | + | *Specification and verification techniques for finite and infinite-state systems; |
| − | * Software and hardware verification; | + | *Software and hardware verification; |
| − | * Theorem-proving and model-checking; | + | *Theorem-proving and model-checking; |
| − | * System construction and transformation techniques; | + | *System construction and transformation techniques; |
| − | * Static and run-time analysis; | + | *Static and run-time analysis; |
| − | * Abstraction techniques for modeling and validation; | + | *Abstraction techniques for modeling and validation; |
| − | * Compositional and refinement-based methodologies; | + | *Compositional and refinement-based methodologies; |
| − | * Testing and test-case generation; | + | *Testing and test-case generation; |
| − | * Analytical techniques for secure, real-time, hybrid, critical, biological or dependable systems; | + | *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; | + | *Integration of formal methods and static analysis in high-level hardware design or software environments; |
| − | * Tool environments and tool architectures; | + | *Tool environments and tool architectures; |
| − | * SAT solvers; | + | *SAT solvers; |
| − | * Applications and case studies. | + | *Applications and case studies. |
| Line 62: | Line 72: | ||
*be submitted electronically in Postscript or PDF form via the TACAS 2009 Conference Service before the deadlines stated above. | *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- | + | 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. |
Latest revision as of 07:39, 10 November 2022
Deadlines
|
||
| Paper |
|
||
| Notification |
|
||
| Camera-Ready |
Metrics
Submitted Papers
131
Accepted Papers
35
Venue
York Castle Museum, York, United Kingdom of Great Britain and Northern Ireland
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
