Difference between revisions of "TACAS 2003"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=TACAS 2003 |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems |Ordinal=9 |Series=TACAS |Type=Conference |Sta...") |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| (5 intermediate revisions by one other user not shown) | |||
| Line 5: | Line 5: | ||
|Series=TACAS | |Series=TACAS | ||
|Type=Conference | |Type=Conference | ||
| + | |Superevent=ETAPS 2003 | ||
|Start date=2003/04/07 | |Start date=2003/04/07 | ||
|End date=2003/04/11 | |End date=2003/04/11 | ||
| + | |Submission deadline=2002/10/18 | ||
| + | |Homepage=http://vasy.inria.fr/tacas03/ | ||
| + | |TibKatId=363154159 | ||
| + | |gndId=10054179-3 | ||
| + | |DblpConferenceId=tacas/tacas2003 | ||
| + | |wikidataid=Q106337703 | ||
|City=Warsaw | |City=Warsaw | ||
|Country=Poland | |Country=Poland | ||
|presence=presence | |presence=presence | ||
| + | |Notification=2002/12/13 | ||
|has program chair=Hubert Garavel, John Hatcliff | |has program chair=Hubert Garavel, John Hatcliff | ||
|has Keynote speaker=Peter Lee | |has Keynote speaker=Peter Lee | ||
| + | |Submitted papers=140 | ||
| + | |Accepted papers=35 | ||
| + | |has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F3-540-36577-X.pdf | ||
| + | |has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F3-540-36577-X | ||
| + | |pageCreator=Tolga.karaarslan | ||
| + | |pageEditor=Tolga.karaarslan | ||
| + | |contributionType=1 | ||
}} | }} | ||
The 9. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2003 | The 9. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2003 | ||
| Line 17: | Line 32: | ||
==Topics== | ==Topics== | ||
| + | *Specification and verification techniques | ||
| + | *Theorem-proving and model-checking | ||
| + | *System construction and transformation techniques | ||
| + | *Static and run-time analysis | ||
| + | *Compositional and refinement-based methodologies | ||
| + | *Testing and test-case generation | ||
| + | *Analytical techniques for real-time, hybrid and safety-critical systems | ||
| + | *Tool environments and tool architectures | ||
| + | *Applications and case studies | ||
| + | |||
| + | |||
==Submissions== | ==Submissions== | ||
| + | As with other ETAPS conferences, TACAS accepts two types of contributions:<br> | ||
| + | *Research papers (up to 15 pages) 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. See http://www.cis.ksu.edu/tacas03 for submission details. | ||
| + | |||
| + | |||
| + | *Tool demonstration papers (up to 4 pages) 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 and hybrid systems, etc.). Tool demonstration papers are evaluated by the TACAS Tool Chair with the help of the Program Committee. See http://vasy.inria.fr/tacas03/tool.html for submission details. | ||
| + | |||
| + | Both types of contributions will appear in the proceedings and be allocated thirty-minute slots during the conference. | ||
| + | |||
| + | In brief, submitted papers must:<br> | ||
| + | *be in English | ||
| + | *present original research which is unpublished and not submitted elsewhere | ||
| + | *use the Springer-Verlag LNCS style (see http://www.springer.de/comp/lncs/authors.html) | ||
| + | *be submitted electronically in Postscript/PDF format | ||
| + | |||
| + | Submissions deviating from these instructions may be rejected without review. Any question regarding this policy should be directed to the Conference Co-chairs prior to submission. | ||
| + | |||
| + | |||
==Important Dates== | ==Important Dates== | ||
| + | October 18, 2002 - Submission deadline (extended to October 25, 2002)<br> | ||
| + | December 13, 2002 - Notification of authors<br> | ||
| + | January 17, 2003 - Final version due<br> | ||
| + | April 7-11, 2003 - TACAS 2003 Conference | ||
Latest revision as of 20:25, 1 April 2022
| TACAS 2003 | |
|---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| |
| Ordinal | 9 |
| Event in series | TACAS |
| Subevent of | ETAPS 2003 |
| Dates | 2003/04/07 (iCal) - 2003/04/11 |
| Presence | presence |
| Homepage: | http://vasy.inria.fr/tacas03/ |
| Location | |
| Location: | Warsaw, Poland |
| Important dates | |
| Submissions: | 2002/10/18 |
| Notification: | 2002/12/13 |
| Papers: | Submitted 140 / Accepted 35 (25 %) |
| Committees | |
| PC chairs: | Hubert Garavel, John Hatcliff |
| Keynote speaker: | Peter Lee |
| Table of Contents | |
The 9. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2003
Topics
- Specification and verification techniques
- Theorem-proving and model-checking
- System construction and transformation techniques
- Static and run-time analysis
- Compositional and refinement-based methodologies
- Testing and test-case generation
- Analytical techniques for real-time, hybrid and safety-critical systems
- Tool environments and tool architectures
- Applications and case studies
Submissions
As with other ETAPS conferences, TACAS accepts two types of contributions:
- Research papers (up to 15 pages) 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. See http://www.cis.ksu.edu/tacas03 for submission details.
- Tool demonstration papers (up to 4 pages) 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 and hybrid systems, etc.). Tool demonstration papers are evaluated by the TACAS Tool Chair with the help of the Program Committee. See http://vasy.inria.fr/tacas03/tool.html for submission details.
Both types of contributions will appear in the proceedings and be allocated thirty-minute slots during the conference.
In brief, submitted papers must:
- be in English
- present original research which is unpublished and not submitted elsewhere
- use the Springer-Verlag LNCS style (see http://www.springer.de/comp/lncs/authors.html)
- be submitted electronically in Postscript/PDF format
Submissions deviating from these instructions may be rejected without review. Any question regarding this policy should be directed to the Conference Co-chairs prior to submission.
Important Dates
October 18, 2002 - Submission deadline (extended to October 25, 2002)
December 13, 2002 - Notification of authors
January 17, 2003 - Final version due
April 7-11, 2003 - TACAS 2003 Conference