m (Text replacement - "Homepage=" to "Official Website=") |
Curator 75 (talk | contribs) |
||
(One intermediate revision by the same 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=8 | |Ordinal=8 | ||
+ | |In Event Series=Event Series:TACAS | ||
+ | |Single Day Event=no | ||
+ | |Start Date=2002/04/08 | ||
+ | |End Date=2002/04/12 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
+ | |Venue=Grenoble Alpes University, IM²AG department | ||
+ | |City=Grenoble | ||
+ | |Region=Auvergne-Rhône-Alpes | ||
+ | |Country=Country:FR | ||
+ | |Academic Field=Software Engineering | ||
+ | |Official Website=http://www.dcs.ed.ac.uk/tacas2002/ | ||
+ | |Hashtag=TACAS 2002 | ||
|Type=Conference | |Type=Conference | ||
|Superevent=ETAPS 2002 | |Superevent=ETAPS 2002 | ||
− | |||
|TibKatId=367283492 | |TibKatId=367283492 | ||
|gndId=16029607-9 | |gndId=16029607-9 | ||
|DblpConferenceId=tacas/tacas2002 | |DblpConferenceId=tacas/tacas2002 | ||
|wikidataid=Q106337713 | |wikidataid=Q106337713 | ||
− | |||
− | |||
|has program chair=Joost-Pieter Katoen, Perdita Stevens | |has program chair=Joost-Pieter Katoen, Perdita Stevens | ||
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0.pdf | |has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0.pdf | ||
Line 19: | Line 29: | ||
|pageEditor=User:Curator 75 | |pageEditor=User:Curator 75 | ||
|contributionType=1 | |contributionType=1 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Event Deadline | {{Event Deadline | ||
Line 30: | Line 34: | ||
|Camera-Ready Deadline=2002/01/18 | |Camera-Ready Deadline=2002/01/18 | ||
|Submission Deadline=2001/10/19 | |Submission Deadline=2001/10/19 | ||
+ | }} | ||
+ | {{Organizer | ||
+ | |Contributor Type=organization | ||
+ | |Organization=Verimag | ||
}} | }} | ||
{{Event Metric | {{Event Metric | ||
Line 46: | Line 54: | ||
*Analytical techniques for real-time, hybrid and safety-critical systems | *Analytical techniques for real-time, hybrid and safety-critical systems | ||
*Tool environments and tool architectures | *Tool environments and tool architectures | ||
− | *Applications and case studies | + | *Applications and case studies |
Latest revision as of 10:30, 16 November 2023
|
||
Submission |
|
||
Notification |
|
||
Camera-Ready |
Grenoble Alpes University, IM²AG department, Grenoble, Auvergne-Rhône-Alpes, France
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