Difference between revisions of "TACAS 2004"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=TACAS 2004 |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems |Ordinal=10 |Series=TACAS |Type=Conference |Su...") |
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 | + | |Superevent=ETAPS 2004 |
|Start date=2004/03/29 | |Start date=2004/03/29 | ||
|End date=2004/04/02 | |End date=2004/04/02 | ||
| + | |Submission deadline=2003/10/17 | ||
| + | |Homepage=https://users-cs.au.dk/%7Ecpn/tacas04/] | ||
| + | |TibKatId=386983704 | ||
| + | |gndId=10076241-4 | ||
| + | |DblpConferenceId=tacas/tacas2004 | ||
| + | |wikidataid=Q106426958 | ||
|City=Barcelona | |City=Barcelona | ||
|Country=Spain | |Country=Spain | ||
|presence=presence | |presence=presence | ||
| + | |Notification=2003/12/12 | ||
| + | |Camera ready=2004/01/09 | ||
| + | |has program chair=Kurt Jensen, Andreas Podelski | ||
| + | |has Keynote speaker=Antti Valmari | ||
| + | |Submitted papers=145 | ||
| + | |Accepted papers=43 | ||
| + | |has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2Fb96393.pdf | ||
| + | |has Proceedings DOI=https://doi.org/10.1007/978-3-540-24730-2_1 | ||
| + | |has Proceedings Bibliography=https://link.springer.com/chapter/10.1007%2F978-3-540-24730-2_1 | ||
| + | |pageCreator=Tolga.karaarslan | ||
| + | |pageEditor=Tolga.karaarslan | ||
| + | |contributionType=1 | ||
}} | }} | ||
The 10. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2004 | The 10. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2004 | ||
| Line 16: | Line 34: | ||
==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: | ||
| + | research papers and tool demonstration papers. Both types of contributions will appear in the proceedings and have oral | ||
| + | presentations during the conference. | ||
| + | |||
| + | Please notice that there are two different conference services for | ||
| + | submission of papers:<br> | ||
| + | *The TACAS 2004 Conference Service is used for submission of research papers. | ||
| + | *The TACAS 2004 TOOL Conference Service is used for submission of tool demonstration papers. | ||
| + | |||
| + | Authors who anticipate possible last minute delays in the submission of | ||
| + | a full research paper or a full tool demonstration paper are encouraged | ||
| + | to submit a title and abstract well in advance of the deadline. | ||
| + | |||
| + | |||
==Important Dates== | ==Important Dates== | ||
| + | October 17, 2003 - Submission deadline<br> | ||
| + | December 12, 2003 - Notification of authors<br> | ||
| + | January 9, 2004 - Camera ready version due<br> | ||
| + | March 29 - April 2, 2004 - TACAS 2004 Conference | ||
Latest revision as of 20:25, 1 April 2022
| TACAS 2004 | |
|---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| |
| Ordinal | 10 |
| Event in series | TACAS |
| Subevent of | ETAPS 2004 |
| Dates | 2004/03/29 (iCal) - 2004/04/02 |
| Presence | presence |
| Homepage: | https://users-cs.au.dk/%7Ecpn/tacas04/] |
| Location | |
| Location: | Barcelona, Spain |
| Important dates | |
| Submissions: | 2003/10/17 |
| Notification: | 2003/12/12 |
| Camera ready due: | 2004/01/09 |
| Papers: | Submitted 145 / Accepted 43 (29.7 %) |
| Committees | |
| PC chairs: | Kurt Jensen, Andreas Podelski |
| Keynote speaker: | Antti Valmari |
| Table of Contents | |
The 10. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2004
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 and tool demonstration papers. Both types of contributions will appear in the proceedings and have oral presentations during the conference.
Please notice that there are two different conference services for
submission of papers:
- The TACAS 2004 Conference Service is used for submission of research papers.
- The TACAS 2004 TOOL Conference Service is used for submission of tool demonstration papers.
Authors who anticipate possible last minute delays in the submission of a full research paper or a full tool demonstration paper are encouraged to submit a title and abstract well in advance of the deadline.
Important Dates
October 17, 2003 - Submission deadline
December 12, 2003 - Notification of authors
January 9, 2004 - Camera ready version due
March 29 - April 2, 2004 - TACAS 2004 Conference