m (Text replacement - "|User:Curator 65" to "|Tib") |
Curator 75 (talk | contribs) |
||
| (8 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=13 | |Ordinal=13 | ||
| + | |In Event Series=Event Series:TACAS | ||
| + | |Single Day Event=no | ||
| + | |Start Date=2007/03/24 | ||
| + | |End Date=2007/04/01 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
| + | |Venue=University of Minho | ||
| + | |City=Braga | ||
| + | |Region=Cavado | ||
| + | |Country=Country:PT | ||
| + | |Academic Field=Software Engineering | ||
| + | |Official Website=https://www.doc.ic.ac.uk/tacas07/ | ||
| + | |Hashtag=TACAS 2007 | ||
|Type=Conference | |Type=Conference | ||
|Superevent=ETAPS 2007 | |Superevent=ETAPS 2007 | ||
| − | |||
| − | |||
|TibKatId=537711260 | |TibKatId=537711260 | ||
|gndId=6063719-5 | |gndId=6063719-5 | ||
|DblpConferenceId=tacas/tacas2007 | |DblpConferenceId=tacas/tacas2007 | ||
|wikidataid=Q106245027 | |wikidataid=Q106245027 | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
|Has coordinator=Pedro Henriques | |Has coordinator=Pedro Henriques | ||
|has general chair=Joao Saraiva | |has general chair=Joao Saraiva | ||
|has program chair=Orna Grumberg, Michael Huth | |has program chair=Orna Grumberg, Michael Huth | ||
| − | |||
| − | |||
| − | |||
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-540-71209-1.pdf | |has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-540-71209-1.pdf | ||
|has Proceedings DOI=https://doi.org/10.1007/978-3-540-71209-1 | |has Proceedings DOI=https://doi.org/10.1007/978-3-540-71209-1 | ||
| Line 29: | Line 31: | ||
|pageEditor=User:Curator 75 | |pageEditor=User:Curator 75 | ||
|contributionType=1 | |contributionType=1 | ||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
| + | {{Event Deadline | ||
| + | |Notification Deadline=2006/12/08 | ||
| + | |Abstract Deadline=2006/10/06 | ||
| + | |Camera-Ready Deadline=2007/01/05 | ||
| + | |Submission Deadline=2006/10/13 | ||
| + | }} | ||
| + | {{Organizer | ||
| + | |Contributor Type=organization | ||
| + | |Organization=University of Minho | ||
| + | }} | ||
| + | {{Event Metric | ||
| + | |Number Of Submitted Papers=204 | ||
| + | |Number Of Accepted Papers=45 | ||
| + | }} | ||
| + | {{S Event}} | ||
The 13. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2007 | The 13. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2007 | ||
| Line 66: | Line 79: | ||
*be submitted electronically in Postscript or PDF form via the TACAS 2007 Conference Service, which is now operative, (abstract no later than 23:59 EST on 6 October, 2006, and full paper no later than 23:59 EST on 13 October, 2006) | *be submitted electronically in Postscript or PDF form via the TACAS 2007 Conference Service, which is now operative, (abstract no later than 23:59 EST on 6 October, 2006, and full paper no later than 23:59 EST on 13 October, 2006) | ||
| − | 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 Orna Grumberg or Michael Huth prior to submitting. |
Tool demonstration papers | Tool demonstration papers | ||
| − | Tool demonstration papers present tools based on aforementioned technologies (e.g., theorem-proving, model-checking, static analysis, or other formal methods) or fall into the above application areas (e.g., system construction and transformation, testing, analysis of real-time, hybrid or biological systems, etc.). Tool demonstration papers are evaluated by the TACAS Tool | + | Tool demonstration papers present tools based on aforementioned technologies (e.g., theorem-proving, model-checking, static analysis, or other formal methods) or fall into the above application areas (e.g., system construction and transformation, testing, analysis of real-time, hybrid or biological systems, etc.). Tool demonstration papers are evaluated by the TACAS Tool Chair with the help of the Programme Committee. Submitted tool demonstration |
papers must:<br> | papers must:<br> | ||
*be in English and have a maximum of 4 pages, | *be in English and have a maximum of 4 pages, | ||
| Line 79: | Line 92: | ||
*be submitted electronically in Postscript or PDF form via the TACAS 2007 Conference Service, which is now operative, (abstract no later than 23:59 EST on 6 October, 2006, and full paper no later than 23:59 on EST 13 October, 2006) | *be submitted electronically in Postscript or PDF form via the TACAS 2007 Conference Service, which is now operative, (abstract no later than 23:59 EST on 6 October, 2006, and full paper no later than 23:59 on EST 13 October, 2006) | ||
| − | Submissions deviating from these instructions may be rejected without review. Any questions regarding this policy should be directed to the Tool | + | Submissions deviating from these instructions may be rejected without review. Any questions regarding this policy should be directed to the Tool Chair Byron Cook. |
Latest revision as of 10:51, 16 November 2023
|
||
| Abstract |
|
||
| Submission |
|
||
| Notification |
|
||
| Camera-Ready |
University of Minho, Braga, Cavado, Portugal
The 13. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2007
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
Papers should be submitted using the TACAS 2007 Conference Service, which is now operative.
As with other ETAPS conferences, TACAS accepts two types of contributions: research papers and tool demonstration papers. Both types of contributions will appear in the proceedings and have oral presentations during the conference.
Research papers:
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 2007 Conference Service, which is now operative, (abstract no later than 23:59 EST on 6 October, 2006, and full paper no later than 23:59 EST on 13 October, 2006)
Submissions deviating from these instructions may be rejected without review. Any questions regarding this policy should be directed to the Program Committee Co-Chairs Orna Grumberg or Michael Huth prior to submitting.
Tool demonstration papers
Tool demonstration papers present tools based on aforementioned technologies (e.g., theorem-proving, model-checking, static analysis, or other formal methods) or fall into the above application areas (e.g., system construction and transformation, testing, analysis of real-time, hybrid or biological systems, etc.). Tool demonstration papers are evaluated by the TACAS Tool Chair with the help of the Programme Committee. Submitted tool demonstration
papers must:
- be in English and have a maximum of 4 pages,
- have an appendix (not included in the 4 page count) that provides a detailed description of:
- how the oral presentation will be conducted, e.g. illustrated by a number of snapshots,
- the availability of the tool, the number and types of users, other information which may illustrate the maturity and robustness of the tool,
- if applicable, a link to a web-page for the tool (The appendix will not be included in the proceedings, but during the evaluation of the tool demonstration papers it will be equally important as the pages submitted for publication in the proceedings.)
- use the Springer-Verlag LNCS style
- clearly describe the enhancements and novel features of the tool in case that one of its previous versions has already been presented at meetings or published in some form
- be submitted electronically in Postscript or PDF form via the TACAS 2007 Conference Service, which is now operative, (abstract no later than 23:59 EST on 6 October, 2006, and full paper no later than 23:59 on EST 13 October, 2006)
Submissions deviating from these instructions may be rejected without review. Any questions regarding this policy should be directed to the Tool Chair Byron Cook.
Important Dates
23:59 EST on 6 October, 2006 - Strict deadline for submission of abstracts (of research papers and tool demonstration papers)
23:59 EST on 13 October, 2006 - Strict deadline for submission of full versions (of research papers and tool demonstration papers)
8 December, 2006 - Acceptance notification of authors
23:59 EST on 5 January, 2007- Camera-ready paper versions due
26-30 March 2007 - TACAS 2007 Conference
