Difference between revisions of "TACAS 2002"
(Created page with "{{Event |Acronym=TACAS 2002 |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems |Ordinal=8 |Series=TACAS |Type=Conference |Sup...") |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| (4 intermediate revisions by one other user not shown) | |||
| Line 5: | Line 5: | ||
|Series=TACAS | |Series=TACAS | ||
|Type=Conference | |Type=Conference | ||
| − | |Superevent=ETAPS | + | |Superevent=ETAPS 2002 |
|Start date=2002/04/08 | |Start date=2002/04/08 | ||
|End date=2002/04/12 | |End date=2002/04/12 | ||
| + | |Submission deadline=2001/10/19 | ||
| + | |Homepage=http://www.dcs.ed.ac.uk/tacas2002/ | ||
| + | |TibKatId=367283492 | ||
|gndId=16029607-9 | |gndId=16029607-9 | ||
|DblpConferenceId=tacas/tacas2002 | |DblpConferenceId=tacas/tacas2002 | ||
| Line 14: | Line 17: | ||
|Country=France | |Country=France | ||
|presence=presence | |presence=presence | ||
| + | |Notification=2001/12/14 | ||
| + | |Camera ready=2002/01/18 | ||
|has program chair=Joost-Pieter Katoen, Perdita Stevens | |has program chair=Joost-Pieter Katoen, Perdita Stevens | ||
|has Keynote speaker=Michael Lowry | |has Keynote speaker=Michael Lowry | ||
| + | |Submitted papers=95 | ||
| + | |Accepted papers=29 | ||
| + | |has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0.pdf | ||
| + | |has Proceedings DOI=https://doi.org/10.1007/3-540-46002-0 | ||
| + | |has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F3-540-46002-0 | ||
| + | |pageCreator=Tolga.karaarslan | ||
| + | |pageEditor=Tolga.karaarslan | ||
| + | |contributionType=1 | ||
}} | }} | ||
The 8. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2002 | The 8. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2002 | ||
| Line 21: | Line 34: | ||
==Topics== | ==Topics== | ||
| + | *Verification and construction techniques | ||
| + | *Compositional and refinement-based methodologies | ||
| + | *Test generation | ||
| + | *Theorem-proving and model checking | ||
| + | *Analytical techniques for real-time, hybrid and safety-critical systems | ||
| + | *Tool environments and tool architectures | ||
| + | *Applications and case studies | ||
| + | |||
| + | |||
==Submissions== | ==Submissions== | ||
| + | Dates (TACAS is a Main Conference within ETAPS) | ||
| + | |||
| + | Authors' instructions: please follow the Springer LNCS instructions. Accepted papers will be required to follow these precisely, and submissions which deviate significantly, especially in length, may be rejected without review. In particular, your paper should include an abstract of between 70 and 150 words, and should be no more than 15 pages long. | ||
| + | |||
| + | Note that all submissions must be original and dual submission, including to other ETAPS conferences, is not allowed Dual submission may result in automatic rejection from both conferences. | ||
| + | |||
| + | The submission web site is http://tacas2k2.cs.utwente.nl/ | ||
| + | |||
| + | |||
==Important Dates== | ==Important Dates== | ||
| + | October 19, 2001 Submission deadline<br> | ||
| + | December 14, 2001 Notification of acceptance/rejection<br> | ||
| + | January 18, 2002 Camera-ready version due<br> | ||
| + | April 6 - 14, 2002 Conference dates | ||
Latest revision as of 20:25, 1 April 2022
| TACAS 2002 | |
|---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| |
| Ordinal | 8 |
| Event in series | TACAS |
| Subevent of | ETAPS 2002 |
| Dates | 2002/04/08 (iCal) - 2002/04/12 |
| Presence | presence |
| Homepage: | http://www.dcs.ed.ac.uk/tacas2002/ |
| Location | |
| Location: | Grenoble, France |
| Important dates | |
| Submissions: | 2001/10/19 |
| Notification: | 2001/12/14 |
| Camera ready due: | 2002/01/18 |
| Papers: | Submitted 95 / Accepted 29 (30.5 %) |
| Committees | |
| PC chairs: | Joost-Pieter Katoen, Perdita Stevens |
| Keynote speaker: | Michael Lowry |
| Table of Contents | |
The 8. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2002
Topics
- Verification and construction techniques
- Compositional and refinement-based methodologies
- Test generation
- Theorem-proving and model checking
- Analytical techniques for real-time, hybrid and safety-critical systems
- Tool environments and tool architectures
- Applications and case studies
Submissions
Dates (TACAS is a Main Conference within ETAPS)
Authors' instructions: please follow the Springer LNCS instructions. Accepted papers will be required to follow these precisely, and submissions which deviate significantly, especially in length, may be rejected without review. In particular, your paper should include an abstract of between 70 and 150 words, and should be no more than 15 pages long.
Note that all submissions must be original and dual submission, including to other ETAPS conferences, is not allowed Dual submission may result in automatic rejection from both conferences.
The submission web site is http://tacas2k2.cs.utwente.nl/
Important Dates
October 19, 2001 Submission deadline
December 14, 2001 Notification of acceptance/rejection
January 18, 2002 Camera-ready version due
April 6 - 14, 2002 Conference dates