(mobo import Concept___Events_With_Metrics-migrated) |
Curator 75 (talk | contribs) |
||
(3 intermediate revisions by 3 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=9 | |Ordinal=9 | ||
+ | |In Event Series=Event Series:TACAS | ||
+ | |Single Day Event=no | ||
+ | |Start Date=2003/04/07 | ||
+ | |End Date=2003/04/11 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
+ | |Venue=Fryderyk Chopin University of Music | ||
+ | |City=Warsaw | ||
+ | |Region=Mazovia | ||
+ | |Country=Country:PL | ||
+ | |Academic Field=Software Engineering | ||
+ | |Official Website=http://vasy.inria.fr/tacas03/ | ||
+ | |DOI=10.25798/0965-c820 | ||
+ | |Hashtag=TACAS 2003 | ||
|Type=Conference | |Type=Conference | ||
|Superevent=ETAPS 2003 | |Superevent=ETAPS 2003 | ||
− | |||
|TibKatId=363154159 | |TibKatId=363154159 | ||
|gndId=10054179-3 | |gndId=10054179-3 | ||
|DblpConferenceId=tacas/tacas2003 | |DblpConferenceId=tacas/tacas2003 | ||
|wikidataid=Q106337703 | |wikidataid=Q106337703 | ||
− | |||
− | |||
|has program chair=Hubert Garavel, John Hatcliff | |has program chair=Hubert Garavel, John Hatcliff | ||
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F3-540-36577-X.pdf | |has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F3-540-36577-X.pdf | ||
Line 18: | Line 29: | ||
|pageEditor=User:Curator 75 | |pageEditor=User:Curator 75 | ||
|contributionType=1 | |contributionType=1 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Event Deadline | {{Event Deadline | ||
|Notification Deadline=2002/12/13 | |Notification Deadline=2002/12/13 | ||
+ | |Camera-Ready Deadline=2003/01/17 | ||
|Submission Deadline=2002/10/18 | |Submission Deadline=2002/10/18 | ||
+ | }} | ||
+ | {{Organizer | ||
+ | |Contributor Type=organization | ||
+ | |Organization=University of Warsaw | ||
}} | }} | ||
{{Event Metric | {{Event Metric |
Latest revision as of 10:33, 16 November 2023
|
||
Submission |
|
||
Notification |
|
||
Camera-Ready |
Fryderyk Chopin University of Music, Warsaw, Mazovia, Poland
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